(= (Inverse Plan-Direct-Successor) Plan-Direct-Predecessor) (<=> (Plan-Direct-Predecessor ?A ?B) (And (Generic-Plan ?A) (Generic-Plan ?B)))