Class THE-LAST-NODE

Subclass-Of: Flow-chart-component

Slots Of Instances:

Last-Node-Of:
Slot-Cardinality: 1
Slot-Value-Type: Flow-chart
Axioms:
(<=> (The-Last-Node ?Self)
     (And (Flow-Chart-Component ?Self)
          (Value-Cardinality ?Self Last-Node-Of 1)
          (Value-Type ?Self Last-Node-Of Flow-Chart)))