(= (Inverse Exit-Condition) Exit-Condition-Of) (<=> (Exit-Condition-Of ?A ?B) (And (Situation ?A) (Abstraction ?B)))