;; Series 24 attaches to DisablingFire and NonDisablingFire, which are defined
;; independently of the compendium and asserted disjoint there. No measure in
;; one half of the series covers any measure in the other.
(note ROE08_disjoint_halves_of_series_24)
(category general)
(time 60)
(file ROE_Master.kif)
(file ROE_Supplementary.kif)
(file ROE_Series.kif)

(query (measureSubsumes ROE24F ROE24C))
(answer no)