=== Base Template !SuccessionOfInvolvementInActivity ===

[[br]]This template is for expressing that in an activity, one thing that’s involved in the activity is succeeded by another. 
[[br]]
[[br]]NOTE 1 Here the involved things are arguments to the template, not the involvement relationships themselves. 
[[br]]
[[br]]!SuccessionOfInvolvementInActivity(a, b, c) means that a is a involvement and b is an involvement, and c an activity. b succeeds a, and both are involved in activity c. 
[[br]]
[[br]]Roles: 
[[br]]1 hasInvolvedPredecessor Thing 
[[br]]2 hasInvolvedSuccessor Thing 
[[br]]3 hasInvolver Activity 

Axiom: 
{{{
SuccessionOfInvolvementInActivity(x1, x2, x3) <-> 
Thing(x1) & 
Thing(x2) & 
Activity(x3) & 
exists u1exists u2( 
InvolvementByReferenceTriple(u1, x1, x3)& 
InvolvementByReferenceTriple(u2, x2, x3)& 
SuccessionOfInvolvementByReference(u1, u2)) .
}}}