=== Template !IndirectPropertyRestrictionOfIndividual ===

[[br]]This template is for assigning an !IndirectProperty to an Individual and also restricting the according property to a member of a specific set of properties.
[[br]]
[[br]]!IndirectPropertyRestrictionOfIndividual(a, b, c, d, e) means that a is a !ClassOfIndirectProperty, b is a (temporal part of) !PossibleIndividual to which the relation applies, c is a floating point number with the property value assigned to b, d the Scale as unit of measurement, and e is an !EnumeratedPropertySet. b has a a type of !ClassOfIndirectProperty, which has c value and d unit of measurement. c corresponds to a Property that is a member of e and that is supposed to be an existing class in RDL.
[[br]]
[[br]]Roles: 
[[br]]1 hasPropertyType !ClassOfIndirectProperty 
[[br]]2 hasPropertyPossessor !PossibleIndividual 
[[br]]3 valPropertyValue !ExpressReal 
[[br]]4 hasPropertyScale Scale 
[[br]]5 hasPropertySet !EnumeratedPropertySet 
[[br]]

Axiom: 
{{{
IndirectPropertyRestrictionOfIndividual(x1, x2, x3, x4, x5) <-> 
ClassOfIndirectProperty(x1) &
PossibleIndividual(x2) & 
ExpressReal(x3) & 
Scale(x4) &
EnumeratedPropertySet(x5) & 
exists u (
          InstanceOfIndirectProperty(x1, x2, u) &
          RealMagnitudeOfProperty(u, x3, x4) &
          ClassificationTemplate(u, x5)).
}}}

EXAMPLE The statement !IndirectPropertyRestrictionOfIndividual (NOMINAL DIAMETER, CV123, 100, ABC SET OF DIAMETERS, MILLIMETRE)
=== Analysis diagram ===
[[Image(IndirectPropertyRestrictionOfIndividual-NomDiam.png)]]

EXAMPLE The statement !IndirectPropertyRestrictionOfIndividual (DESIGN PRESSURE, CV123, 10, ABC SET OF PRESSURES, bar)
 === Analysis diagram ===
[[Image(IndirectPropertyRestrictionOfIndividual.png)]]

NOTE: !EnumeratedPropertySet used in a template instance should already exist in the RDL and contain as members all the required Properties.