=== Base Template !BeginningEndLocationOfActivity ===

[[br]]This is a template for expressing where and when an activity takes place. 
[[br]]!BeginningEndLocationOfActivity(a, b, c, d) means that a is an activity, b and c are points in time, and d is a location, and that a takes place at d, starting at b and ending at c. 
[[br]]
[[br]]Roles: 
[[br]]1 hasActivity Activity 
[[br]]2 hasStartTime !RepresentationOfGregorianDateAndUtcTime 
[[br]]3 hasEndTime !RepresentationOfGregorianDateAndUtcTime 
[[br]]4 hasLocation SpatialLocation 

Axiom: 
{{{
BeginningEndLocationOfActivity(x1, x2, x3, x4) <-> 
Activity(x1) & 
RepresentationOfGregorianDateAndUtcTime(x2) & 
RepresentationOfGregorianDateAndUtcTime(x3) & 
SpatialLocation(x4) & 
BeginningEndOfIndividual(x1, x2, x3) & 
LocationOfActivity(x1, x4) . 
}}}