=== Template !IndirectPropertyRestrictionOfIndividual ===

[[br]]This template is for assigning an !IndirectProperty to an Individual and also restricting the assigned 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 a (temporal part of) !PossibleIndividual to which the relation applies, c is a Property assigned to b, d the Scale as unit of measurement, and e is an !EnumeratedPropertySet. b has a a type of !ClassOfIndirectProperty and has d unit of measurement. c is a member of e where c is supposed to be an existing class in RDL.
[[br]]
[[br]]Roles: 
[[br]]1 hasPropertyType !ClassOfIndirectProperty 
[[br]]2 hasPropertyPossessor !PossibleIndividual 
[[br]]3 hasProperty Property 
[[br]]4 hasPropertyScale Scale 
[[br]]5 hasPropertySet !EnumeratedPropertySet 
[[br]]

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

EXAMPLE The statement !IndirectPropertyRestrictionOfIndividual (PRESSURE DROP, CV123, 10bar, ABC SET OF PRESSURES, bar)

=== Analysis diagram ===
[[Image(DirectPropertyRestrictionOfIndividual.png)]]

NOTE: !EnumeratedPropertySet used in a template instance should already exist in the RDL and contain as members all the required Properties. Relationships like property_quantification, scale etc are also defined in the RDL. It is not in scope of the template.