Relation FIRST-NODE-OF

Arity: 2

Domain: Flow-chart-component

Range: Flow-chart

Subrelation-Of: Representation-relation

Axioms:

(<=> (First-Node-Of ?A ?B)
     (And (Not (Exists (?W)
                       (And (Flow-Chart-Component ?W)
                            (Diagram-Predecessor ?A ?W))))
          (Representation-Relation ?A ?B)
          (Flow-Chart-Component ?A)
          (Flow-Chart ?B)))

• Defined in theory: Diagrams
• Source code: Diagrams.lisp