Relation FIRST-NODE

Arity: 2
Domain: Flow-chart
Range: Flow-chart-component
Axioms:
(= (Inverse First-Node-Of) First-Node)

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