;; A scenario in error: rule 23 B is in force and reaches Shot101, yet the
;; scenario also asserts that no prohibition reaches it. The conflict is
;; derived rather than left to produce a wrong answer silently.
(note ROE10_closure_conflict_is_detected)
(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 Act2 ROEActivation)
(activationMeasure Act2 ROE23B)
(activationOperation Act2 OpAlpha)
(activationParameter Act2 MvAurora)

(noProhibitionReaches Shot101 OpAlpha)

(query (closureConflict Shot101 OpAlpha))
(answer yes)