Base Template StatusApproval

This template is for stating that an approver assigns a status to a relationship.

StatusApproval(a, b, c) means that a is an relationship and b is a class of approval by status and c is a approver and that c assigns a with status b.

Roles:
1 hasRelationship Relationship
2 hasStatus ClassOfApprovalByStatus
3 hasApprover PossibleIndividual

Axiom:

StatusApproval(x1, x2, x3) <-> 
Relationship(x1) & 
ClassOfApprovalByStatus(x2) & 
PossibleIndividual(x3) & 
exists u(ApprovalTriple(u, x1, x3) & 
ClassificationTemplate(u, x2)) .