L0 = <http://www.simantics.org/Layer0-1.1>

L0.Constraint <T L0.Entity
    >-- L0.Constraint.Validator <R L0.HasProperty : L0.FunctionalRelation
        L0.RequiresValueType "Resource -> <ReadGraph> [Issue]"

L0.SCLValidator <T L0.SCLValue
    L0.HasValueType "Resource -> <ReadGraph> [Issue]"
    
L0.HasConstraint <R L0.IsRelatedTo
    L0.InverseOf L0.HasConstraint.Inverse <R L0.IsRelatedTo     
    <-- L0.Type
    --> L0.Constraint

// ----------------------------

L0.ConcernsRelation <R L0.IsRelatedTo
    L0.HasRange L0.Relation
    L0.InverseOf L0.ConcernsRelation.Inverse <R L0.IsRelatedTo     
L0.HasCardinalityRange <R L0.HasProperty : L0.FunctionalRelation
    L0.HasRange L0.CardinalityRange