=== Proposed Template !ParticipatorInActivity ===

[[br]]This is a template for describing a typed participation of a possible individual in an activity. 
[[br]]!ClassifiedParticipation(a, b, c) means that a is a !PossibleIndividual, b is an !Activity, and c is a type of participation of a in b. 
[[br]]
[[br]]Roles: 
[[br]]1 hasPart !PossibleIndividual 
[[br]]2 hasWhole !Activity 
[[br]]3 hasContext !ClassOfParticipation 

Axiom: 
{{{
ClassifiedParticipation(x1, x2, x3) <-> 
PossibleIndividual(x1) & 
Activity(x2) & 
ClassOfParticipation(x3) & 
exists y1 (ParticipationTriple(y1, x1, x2) & ClassificationTemplate(y1, x3)) . 
}}}

EXAMPLE The statement !ClassifiedParticipation(Person123, Activity456, PERSON IS A MANAGER)