To be understood as 'plan part x has predecessor y'. This is transitive.
(= (Inverse Plan-Successor) Plan-Predecessor) (<=> (Plan-Predecessor ?A ?B) (And (Generic-Plan ?A) (Generic-Plan ?B)))