=== Template !DirectPropertyRestrictionOfIndividual ===

[[br]]This template is for assigning a property to an Individual for a Property that is not an !IndirectProperty and also restricting the assigned property to a member of a specific set of properties.
[[br]]
[[br]]!DirectPropertyRestrictionOfIndividual(a, b, c) means that a is an !EnumeratedPropertySet, b is a (temporal part of) !PossibleIndividual to which the relation applies and c is a Property assigned and a member of a where c is supposed to be an existing class in RDL. 
[[br]]
[[br]]Roles: 
[[br]]1 hasPropertySet !EnumeratedPropertySet 
[[br]]2 hasPropertyPossessor !PossibleIndividual 
[[br]]3 hasProperty Property 
[[br]]

Axiom: 
{{{
DirectPropertyRestrictionOfIndividual(x1, x2, x3) <-> 
EnumeratedPropertySet(x1) & 
PossibleIndividual(x2) & 
Property(x3) & 
ClassificationTemplate(x2, x3) &
ClassificationTemplate(x3, x1).
}}}

EXAMPLE The statement !DirectPropertyRestrictionOfIndividual (ABC SET OF NOMINAL DIAMETERS, ELBOW12345, 200MM)

=== 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.