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