=== Template !ClassOfPropertyRestrictionOfClass === [[br]]This template is for stating that a member of a specific Class of Individuals may only be assigned a Property that is contained by a specific set of properties. [[br]] [[br]]!ClassOfPropertyRestrictionOfClass(a, b, c, d) means that a is an !EnumeratedPropertySet, b is a !ClassOfArrangedIndividual to which the relation applies, c is a !PropertySpace to which members of a belong, and d is a Scale as unit of measure. [[br]] [[br]]Roles: [[br]]1 hasPropertySet !EnumeratedPropertySet [[br]]2 hasPossessorClass !ClassOfArrangedIndividual [[br]]3 hasPropertySpace !PropertySpace [[br]]4 hasScale Scale Axiom: {{{ ClassOfPropertyRestrictionOfClass(x1, x2, x3, x4) <-> EnumeratedPropertySet(x1) & ClassOfArrangedIndividual(x2) & PropertySpace (x3) & Scale(x4) & ClassOfClassificationTemplate(x2, x1) & ClassOfClassificationTemplate(x3, x1) & exists p, u (Scale(p) and NumberSpace(u) and ScaleTriple(p, u, x3) & SpecializationTemplate(p, x4)) . }}} EXAMPLE The statement !ClassOfPropertyRestrictionOfClass (ABC SET OF DIAMETERS, ELBOW TYPE XYZ, NOMINAL DIAMETER, MILLIMETRE) === Discussion === [Mikhail Fedorov] My latest understanding is that this template IS NOT NEEDED. Since all of its context should be described at the level of RDL... === Analysis diagram === [[Image(ClassOfPropertyRestrictionOfClass.png)]]