=== Base Template !LocationOfActivity ===

[[br]]This is a template for stating where activities take place. 
[[br]]!LocationOfActivity(a, b) means that a is an activity, b is a location, and that a takes place at b. 
[[br]]
[[br]]Roles: 
[[br]]1 hasActivity Activity 
[[br]]2 hasLocation !SpatialLocation 

Axiom: 
{{{
LocationOfActivity(x1, x2) <-> 
Activity(x1) & 
SpatialLocation(x2) & 
InstanceOfRelation(ActivityLocation, x1, x2) . 
}}}

EXAMPLE The statement !LocationOfActivity(Site Survey !#23, Site No. 11) 

NOTE !LocationOfActivity is an RDL template because the reference individual !ActivityLocation (a !ClassOfRelationshipWithSignature) appears in its template axiom.