Relation LAST-NODE

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

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