Base Template SuccessionOfInvolvementByReference

This template is for expressing that one involvement is succeeded by another.

SuccessionOfInvolvementByReference(a, b) means that a is a involvement and b is an involvement, and that a is succeeded by b.

NOTE SuccessionOfInvolvementByReference is an RDL template because the reference individual InvolvementSuccession appears in its template axiom.

Roles:
1 hasPredecessor InvolvementByReference
2 hasSuccessor InvolvementByReference

Axiom:

SuccessionOfInvolvementByReference(x1, x2) <-> 
InvolvementByReference(x1) & 
InvolvementByReference(x2) & 
InstanceOfRelation(InvolvementSuccession, x1, x2) .