=== Base Template !SuccessionOfInvolvementByReference   ===

[[br]]This template is for expressing that one involvement is succeeded by another. 
[[br]]
[[br]]!SuccessionOfInvolvementByReference(a, b) means that a is a involvement and b is an involvement, and that a is succeeded by b. 
[[br]]
[[br]]NOTE !SuccessionOfInvolvementByReference is an RDL template because the reference individual !InvolvementSuccession appears in its template axiom. 
[[br]]
[[br]]Roles: 
[[br]]1 hasPredecessor !InvolvementByReference 
[[br]]2 hasSuccessor !InvolvementByReference 

Axiom: 
{{{
SuccessionOfInvolvementByReference(x1, x2) <-> 
InvolvementByReference(x1) & 
InvolvementByReference(x2) & 
InstanceOfRelation(InvolvementSuccession, x1, x2) . 
}}}