;; The same shot is authorized by rule 23 E, but the narrower prohibition of
;; rule 23 B governs, so it is not permissible.
(note ROE02_narrow_prohibition_defeats_broad_permission)
(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)
(activationMeasure Act1 ROE23E)
(activationOperation Act1 OpAlpha)

(instance Act2 ROEActivation)
(activationMeasure Act2 ROE23B)
(activationOperation Act2 OpAlpha)
(activationParameter Act2 MvAurora)

(query (actionPermissible Shot101 OpAlpha))
(answer no)