Relation for talking of something which allows an assessment of exclusion of an event or situation. This is a form of negative dependence: if x then not y.
(=> (Excludes ?A ?B) (=> (Has-Existence ?A True) (Not (Has-Existence ?B True))))