;; A warning shot that the prohibition of rule 23 B does not reach is
;; permissible under rule 23 E. Absence of a prohibition is asserted rather
;; than inferred from failure to derive one.
(note ROE03_permissible_where_no_prohibition_reaches)
(category general)
(time 60)
(file ROE_Master.kif)
(file ROE_Supplementary.kif)
(file ROE_Series.kif)

(instance OpAlpha MilitaryOperation)

(instance Shot202 WarningShot)
(roeNoProhibitionReaches Shot202 OpAlpha)

(instance Act1 ROEActivation)
(roeActivationMeasure Act1 ROE23E)
(roeActivationOperation Act1 OpAlpha)

(query (roeActionPermissible Shot202 OpAlpha))
(answer yes)