Proposed Template ParticipatorInActivity

This is a template for describing a typed participation of a possible individual in an activity.
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.

Roles:
1 hasPart PossibleIndividual
2 hasWhole !Activity
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)