Class JOIN-NODE

This resynchronizes two or more disjunct nodes.
Subclass-Of: Fc-node
The-Archetype: Reified-property
Axioms:
(<=> (Join-Node ?Self)
     (And (Fc-Node ?Self)
          (Minimum-Slot-Cardinality ?Self
                                    Diagram-Direct-Predecessor
                                    2)
          (Exists (?A)
                  (And (Diagram-Predecessor ?Self ?A) (Fork-Node ?A)))))