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