--- /dev/null
+L0 = <http://www.simantics.org/Layer0-1.1>\r
+\r
+L0.Constraint <T L0.Entity\r
+ >-- L0.Constraint.Validator <R L0.HasProperty : L0.FunctionalRelation\r
+ L0.RequiresValueType "ReadGraph => Resource -> [Issue]"\r
+L0.HasConstraint <R L0.IsRelatedTo\r
+ L0.InverseOf L0.HasConstraint.Inverse <R L0.IsRelatedTo \r
+ <-- L0.Type\r
+ --> L0.Constraint\r
+\r
+// ----------------------------\r
+\r
+L0.ConcernsRelation <R L0.IsRelatedTo\r
+ L0.HasRange L0.Relation\r
+ L0.InverseOf L0.ConcernsRelation.Inverse <R L0.IsRelatedTo \r
+L0.HasCardinalityRange <R L0.HasProperty : L0.FunctionalRelation\r
+ L0.HasRange L0.CardinalityRange
\ No newline at end of file