Relation LAST-NODE-OF

Arity: 2
Domain: Flow-chart-component
Range: Flow-chart
Subrelation-Of: Representation-relation
Axioms:
(=> (Last-Node-Of ?A ?B)
    (Not (Exists (?W)
                 (And (Flow-Chart-Component ?W)
                      (Diagram-Successor ?A ?W)))))