;; Rules 21 C and 21 E authorize the same degree of force for different
;; protected groups. Neither covers the other, because the two protection
;; classes are siblings.
(note ROE06_no_subsumption_across_protected_groups)
(category general)
(time 300)
(file ROE_Master.kif)
(file ROE_Supplementary.kif)
(file ROE_Series.kif)

(query (roeMeasureSubsumes ROE21C ROE21E))
(answer no)