(= (Inverse First-Plan-Of) First-Plan) (<=> (First-Plan ?A ?B) (And (Generic-Plan ?A) (Generic-Plan ?B)))