=== Base Template !LowerUpperOfPropertyRange ===

[[br]]!LowerUpperOfPropertyRange is a template for stating what the upper and lower bounds of a property range are. 
[[br]]
[[br]]!LowerUpperOfPropertyRange(a, b, c) means that a is a property range and b and c are 
properties, and that b is the lower, c the upper bound of a. 
[[br]]
[[br]]Roles: 
[[br]]1 hasPropertyRange !PropertyRange 
[[br]]2 hasLowerBound Property 
[[br]]3 hasUpperBound Property 

Axiom: 
{{{
LowerUpperOfPropertyRange(x1, x2, x3) <-> 
PropertyRange(x1) & 
Property(x2) & 
Property(x3) & 
LowerBoundOfPropertyRangeTemplate(x2, x1) & 
UpperBoundOfPropertyRangeTemplate(x3, x1) . 
}}}