1 L0 = <http://www.simantics.org/Layer0-1.1>
\r
3 L0.assert : L0.Template
\r
4 @template %type %predicate %object
\r
6 L0.Asserts _ : L0.Assertion
\r
7 L0.HasPredicate %predicate
\r
9 L0.property : L0.Template
\r
10 @template %type %relation
\r
12 L0.HasPropertyDefinition _ : L0.PropertyDefinition
\r
13 L0.ConcernsRelation %relation
\r
14 L0.singleProperty : L0.Template
\r
15 @template %type %relation
\r
17 L0.HasPropertyDefinition _ : L0.PropertyDefinition
\r
18 L0.ConcernsRelation %relation
\r
19 L0.HasCardinalityRange L0.Cardinality1
\r
20 L0.singlePropertyDefault : L0.Template
\r
21 @template %type %relation %default
\r
23 L0.HasPropertyDefinition _ : L0.PropertyDefinition
\r
24 L0.ConcernsRelation %relation
\r
25 L0.HasCardinalityRange L0.Cardinality1
\r
26 L0.Asserts _ : L0.Assertion
\r
27 L0.HasPredicate %relation
\r
28 L0.HasObject %default
\r
29 L0.optionalProperty : L0.Template
\r
30 @template %type %relation
\r
32 L0.HasPropertyDefinition _ : L0.PropertyDefinition
\r
33 L0.ConcernsRelation %relation
\r
34 L0.HasCardinalityRange L0.CardinalityAtMost1
\r
35 L0.symmetric : L0.Template
\r
36 @template %relation
\r
37 %relation L0.InverseOf %relation
\r
38 L0.tag : L0.Template
\r
39 @template %resource %tag
\r
40 %resource %tag %resource
\r
41 L0.defTag : L0.Template
\r
43 %resource <R L0.IsWeaklyRelatedTo : L0.Tag