(= (Inverse First-Node-Of) First-Node) (<=> (First-Node ?A ?B) (And (Flow-Chart ?A) (Flow-Chart-Component ?B)))