=== Base Template !PropertyRangeRestrictionOfClass ===

[[br]]!PropertyRangeRestrictionOfClass is a template for stating about a class of individuals that the magnitude of a property is restricted to a range of values. !PropertyRangeRestrictionOfClass(a, b, c) means that a is a class, b is a property relation, and c is a range of properties, and that every b property assignment to an a belongs to a subrelation of b for which the range is restricted to c. 
[[br]]
[[br]]Roles: 
[[br]]1 hasClass !ClassOfIndividual 
[[br]]2 hasProperty !ClassOfIndirectProperty 
[[br]]3 hasRange !PropertyRange 

Axiom: 
{{{
PropertyRangeRestrictionOfClass(x1, x2, x3) <-> 
ClassOfIndividual(x1) & 
ClassOfIndirectProperty(x2) & 
PropertyRange(x3) & 
exists u(ClassOfIndirectPropertyTriple(u, x1, x3) & 
SpecializationAsEnd2UniversalRestriction(u, x2)) . 
}}}