;; Rule 23 E permits warning shots generally; rule 23 B forbids them in the
;; vicinity of a specified element. A shot near that element is prohibited.
(note ROE01_prohibition_reaches_shot)
(category general)
(time 60)
(file ROE_Master.kif)
(file ROE_Supplementary.kif)
(file ROE_Series.kif)

(instance OpAlpha MilitaryOperation)
(instance MvAurora Ship)
(instance MvAurora Object)

(instance Shot101 ProximateWarningShot)
(involvedInEvent Shot101 MvAurora)

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

(instance Act2 ROEActivation)
(roeActivationMeasure Act2 ROE23B)
(roeActivationOperation Act2 OpAlpha)
(roeActivationParameter Act2 MvAurora)

(query (roeActionProhibited Shot101 OpAlpha))
(answer yes)