=== Base Template !InvolvementStatus ===

[[br]]This template is for stating that a thing is involved in an activity, that the involvement is 
classified to be of a certain kind, and that the involvement is approved by an approver to have a certain status. 
[[br]]
[[br]]!InvolvementStatus(a, b, c, d, e) means that a is an thing and b is an activity and c is a type of 
involvement, d is an approval status and e is the approver. a is involved in activity b and c is the 
type of involvement, the activity is approved, d is type of status of the approval and e is the approver. 
[[br]]
[[br]]Roles: 
[[br]]1 hasInvolved Thing 
[[br]]2 hasInvolverActivity Activity 
[[br]]3 hasInvolvementType !ClassOfInvolvementByReference 
[[br]]4 hasStatus !ClassOfApprovalByStatus 
[[br]]5 hasApprover !PossibleIndividual 

Axiom: 
{{{
InvolvementStatus(x1, x2, x3, x4, x5) <-> 
Thing(x1) & 
Activity(x2) & 
ClassOfInvolvementByReference(x3) & 
ClassOfApprovalByStatus(x4) & 
PossibleIndividual(x5) & 
exists u(InvolvementByReferenceTriple(u, x1, x2) & 
ClassificationTemplate(u, x3) & 
StatusApproval(u, x4, x5)) . 
}}}