-L0 = <http://www.simantics.org/Layer0-1.1>\r
-\r
-L0.assert : L0.Template \r
- @template %type %predicate %object\r
- %type\r
- L0.Asserts _ : L0.Assertion\r
- L0.HasPredicate %predicate\r
- L0.HasObject %object\r
-L0.property : L0.Template\r
- @template %type %relation\r
- %type\r
- L0.HasPropertyDefinition _ : L0.PropertyDefinition\r
- L0.ConcernsRelation %relation\r
-L0.singleProperty : L0.Template\r
- @template %type %relation\r
- %type \r
- L0.HasPropertyDefinition _ : L0.PropertyDefinition\r
- L0.ConcernsRelation %relation\r
- L0.HasCardinalityRange L0.Cardinality1\r
-L0.singlePropertyDefault : L0.Template\r
- @template %type %relation %default\r
- %type \r
- L0.HasPropertyDefinition _ : L0.PropertyDefinition\r
- L0.ConcernsRelation %relation\r
- L0.HasCardinalityRange L0.Cardinality1\r
- L0.Asserts _ : L0.Assertion\r
- L0.HasPredicate %relation\r
- L0.HasObject %default\r
-L0.optionalProperty : L0.Template\r
- @template %type %relation\r
- %type \r
- L0.HasPropertyDefinition _ : L0.PropertyDefinition\r
- L0.ConcernsRelation %relation\r
- L0.HasCardinalityRange L0.CardinalityAtMost1\r
-L0.symmetric : L0.Template\r
- @template %relation \r
- %relation L0.InverseOf %relation\r
-L0.tag : L0.Template\r
- @template %resource %tag\r
- %resource %tag %resource\r
-L0.defTag : L0.Template\r
- @template %resource\r
- %resource <R L0.IsWeaklyRelatedTo : L0.Tag
\ No newline at end of file
+L0 = <http://www.simantics.org/Layer0-1.1>
+
+L0.assert : L0.Template
+ @template %type %predicate %object
+ %type
+ L0.Asserts _ : L0.Assertion
+ L0.HasPredicate %predicate
+ L0.HasObject %object
+L0.property : L0.Template
+ @template %type %relation
+ %type
+ L0.HasPropertyDefinition _ : L0.PropertyDefinition
+ L0.ConcernsRelation %relation
+L0.singleProperty : L0.Template
+ @template %type %relation
+ %type
+ L0.HasPropertyDefinition _ : L0.PropertyDefinition
+ L0.ConcernsRelation %relation
+ L0.HasCardinalityRange L0.Cardinality1
+L0.singlePropertyDefault : L0.Template
+ @template %type %relation %default
+ %type
+ L0.HasPropertyDefinition _ : L0.PropertyDefinition
+ L0.ConcernsRelation %relation
+ L0.HasCardinalityRange L0.Cardinality1
+ L0.Asserts _ : L0.Assertion
+ L0.HasPredicate %relation
+ L0.HasObject %default
+L0.optionalProperty : L0.Template
+ @template %type %relation
+ %type
+ L0.HasPropertyDefinition _ : L0.PropertyDefinition
+ L0.ConcernsRelation %relation
+ L0.HasCardinalityRange L0.CardinalityAtMost1
+L0.symmetric : L0.Template
+ @template %relation
+ %relation L0.InverseOf %relation
+L0.tag : L0.Template
+ @template %resource %tag
+ %resource %tag %resource
+L0.defTag : L0.Template
+ @template %resource
+ %resource <R L0.IsWeaklyRelatedTo : L0.Tag
+
+L0.SCLAction.valueType = "Resource -> <Proc> ()" : L0.String
+
+L0.sclAction : L0.Template
+ @template %action %expression
+ %action : L0.SCLAction
+ L0.SCLAction.action _ : L0.SCLValue
+ L0.SCLValue.expression %expression
+ L0.HasValueType L0.SCLAction.valueType
+
+L0.sclConstraint : L0.Template
+ @template %constraint %expression
+ %constraint : L0.Constraint
+ L0.Constraint.Validator _ : L0.SCLValidator
+ L0.SCLValue.expression %expression
+