-L0 = <http://www.simantics.org/Layer0-1.0>\r
-\r
-L0.HasAttributeName <R L0.HasProperty : L0.FunctionalRelation\r
- L0.HasRange L0.String\r
- //\r
-L0.PropertyType <T L0.Type\r
-/*L0.Property <T L0.Entity : L0.PropertyType\r
- @L0.tag L0.Abstract\r
-*/\r
- \r
-L0.Operation <T L0.Entity\r
-L0.AbstractContextualList <T L0.Entity\r
-L0.ContextualList <T L0.AbstractContextualList <T L0.OrderedSet\r
-L0.TypeBasedList <T L0.AbstractContextualList\r
- @L0.singleProperty L0.HasRelation\r
-L0.ConditionalList <T L0.AbstractContextualList\r
- @L0.singleProperty L0.HasCondition\r
- @L0.singleProperty L0.HasThenElement\r
-// [HasElseElement card "0..1"]\r
-L0.HasCondition <R L0.IsRelatedTo\r
- L0.HasRange L0.Predicate\r
-L0.HasThenElement <R L0.IsRelatedTo\r
- L0.HasRange L0.AbstractContextualList\r
-L0.HasElseElement <R L0.IsRelatedTo\r
- L0.HasRange L0.AbstractContextualList\r
- \r
-L0.Value <T L0.Literal : L0.ValueType\r
- @L0.property L0.PropertyOf\r
- @L0.tag L0.Abstract\r
- \r
-L0.Version <T L0.String\r
-L0.HasVersion <R L0.HasProperty : L0.FunctionalRelation\r
- L0.HasRange L0.Version\r
- \r
-L0.Trigger <T L0.Entity\r
- @L0.tag L0.Deprecated\r
- @L0.property L0.IsTriggerOf\r
-L0.HasTrigger <R L0.IsRelatedTo\r
- @L0.tag L0.Deprecated\r
- L0.HasRange L0.Trigger\r
- L0.InverseOf L0.IsTriggerOf <R L0.IsWeaklyRelatedTo\r
- \r
-L0.Activation <T L0.Entity\r
- @L0.tag L0.Deprecated\r
-L0.HasActivation <R L0.IsRelatedTo\r
- @L0.tag L0.Deprecated\r
- L0.HasRange L0.Activation\r
- \r
-L0.Extent <T L0.Entity\r
-L0.SubExtentOf <T L0.Entity\r
-L0.HasExtent <T L0.Entity\r
-L0.Propagates <T L0.Entity\r
-L0.PropagatesTo <T L0.Entity\r
-L0.Includes <T L0.Entity\r
-L0.IsIncludedWith <T L0.Entity\r
- \r
-L0.HasPackageName <R L0.HasProperty\r
- L0.HasRange L0.String\r
- \r
-L0.HasChangeCode <R L0.IsRelatedTo\r
- L0.HasRange L0.Long \r
- \r
-// Old requirements \r
- \r
-L0.Requires <R L0.IsRelatedTo \r
-L0.Requirement <T L0.Entity\r
- @L0.property L0.Ignore\r
- @L0.tag L0.Abstract\r
-L0.HasRequirement <R L0.DependsOn\r
- L0.HasRange L0.Requirement\r
-L0.RequirementDisjunction <T L0.Requirement\r
- @L0.property L0.HasRequirement\r
-L0.RequirementConjunction <T L0.Requirement\r
- @L0.property L0.HasRequirement\r
-L0.RequirementNegation <T L0.Requirement\r
- @L0.singleProperty L0.HasRequirement\r
-L0.EqualityRequirement <T L0.Requirement\r
- @L0.singleProperty L0.HasEntity\r
-L0.TypeRequirement <T L0.Requirement\r
- @L0.singleProperty L0.HasType\r
-L0.RelationRequirement <T L0.Requirement\r
- @L0.singleProperty L0.ConcernsRelation\r
-// [HasCardinality card "0..1"]\r
- @L0.property L0.AllValuesSatisfy\r
- @L0.property L0.SomeValuesSatisfy\r
-L0.ValueRequirement <T L0.Requirement\r
-// [HasType card "1" all ValueType]\r
- @L0.singleProperty L0.HasMultiplicity\r
-// [HasValidNumericalRange card "0..1"]\r
-L0.HasValueRequirement <R L0.HasProperty\r
- L0.HasRange L0.ValueRequirement\r
-L0.HasEntity <R L0.IsRelatedTo \r
-L0.AllValuesSatisfy <R L0.DependsOn\r
- L0.HasRange L0.Requirement\r
-L0.SomeValuesSatisfy <R L0.DependsOn\r
- L0.HasRange L0.Requirement\r
-L0.IntegerRangeUnion <T L0.String\r
-L0.HasMultiplicity <R L0.HasProperty\r
- L0.HasRange L0.IntegerRangeUnion\r
-L0.ValueType <T L0.Type\r
- @L0.property L0.HasMultiplicity \r
-\r
-// Predicates\r
-\r
-L0.Predicate <T L0.Entity \r
-L0.BinaryPredicate <T L0.Entity\r
-L0P = L0.Predicates : L0.Library\r
-L0P.Conjunction <T L0.Predicate\r
-// [HasPredicate all Predicate]\r
-L0P.Disjunction <T L0.Predicate\r
-// [HasPredicate all Predicate]\r
-L0P.Negation <T L0.Predicate\r
-// [HasPredicate all Predicate card "1"]\r
-L0BP = L0.BinaryPredicates : L0.Library\r
-L0BP.OrderedSetElements : L0.BinaryPredicate\r
-L0BP.CompositePredicate <T L0.BinaryPredicate\r
- @L0.singleProperty L0BP.AppliesFirst\r
- @L0.singleProperty L0BP.AppliesThen\r
-L0BP.InversePredicate <T L0.BinaryPredicate\r
- @L0.singleProperty L0BP.HasBinaryPredicate\r
-L0BP.TransitiveClosure <T L0.BinaryPredicate\r
- @L0.singleProperty L0BP.HasBinaryPredicate\r
-L0BP.UnionPredicate <T L0.BinaryPredicate\r
- @L0.property L0BP.HasBinaryPredicate\r
-L0BP.IntersectionPredicate <T L0.BinaryPredicate\r
- @L0.property L0BP.HasBinaryPredicate\r
-L0BP.HasBinaryPredicate <R L0.IsRelatedTo\r
- L0.HasRange L0.BinaryPredicate\r
-L0BP.AppliesFirst <R L0.IsRelatedTo\r
- L0.HasRange L0.BinaryPredicate\r
-L0BP.AppliesThen <R L0.IsRelatedTo\r
- L0.HasRange L0.BinaryPredicate\r
- \r
-L0.EntityType <T L0.Type\r
-L0.Constraint <T L0.Entity\r
-L0.EvaluatesTo <R L0.IsRelatedTo \r
+L0 = <http://www.simantics.org/Layer0-1.0>
+
+L0.HasAttributeName <R L0.HasProperty : L0.FunctionalRelation
+ L0.HasRange L0.String
+ //
+L0.PropertyType <T L0.Type
+/*L0.Property <T L0.Entity : L0.PropertyType
+ @L0.tag L0.Abstract
+*/
+
+L0.Operation <T L0.Entity
+L0.AbstractContextualList <T L0.Entity
+L0.ContextualList <T L0.AbstractContextualList <T L0.OrderedSet
+L0.TypeBasedList <T L0.AbstractContextualList
+ @L0.singleProperty L0.HasRelation
+L0.ConditionalList <T L0.AbstractContextualList
+ @L0.singleProperty L0.HasCondition
+ @L0.singleProperty L0.HasThenElement
+// [HasElseElement card "0..1"]
+L0.HasCondition <R L0.IsRelatedTo
+ L0.HasRange L0.Predicate
+L0.HasThenElement <R L0.IsRelatedTo
+ L0.HasRange L0.AbstractContextualList
+L0.HasElseElement <R L0.IsRelatedTo
+ L0.HasRange L0.AbstractContextualList
+
+L0.Value <T L0.Literal : L0.ValueType
+ @L0.property L0.PropertyOf
+ @L0.tag L0.Abstract
+
+L0.Version <T L0.String
+L0.HasVersion <R L0.HasProperty : L0.FunctionalRelation
+ L0.HasRange L0.Version
+
+L0.Trigger <T L0.Entity
+ @L0.tag L0.Deprecated
+ @L0.property L0.IsTriggerOf
+L0.HasTrigger <R L0.IsRelatedTo
+ @L0.tag L0.Deprecated
+ L0.HasRange L0.Trigger
+ L0.InverseOf L0.IsTriggerOf <R L0.IsWeaklyRelatedTo
+
+L0.Activation <T L0.Entity
+ @L0.tag L0.Deprecated
+L0.HasActivation <R L0.IsRelatedTo
+ @L0.tag L0.Deprecated
+ L0.HasRange L0.Activation
+
+L0.Extent <T L0.Entity
+L0.SubExtentOf <T L0.Entity
+L0.HasExtent <T L0.Entity
+L0.Propagates <T L0.Entity
+L0.PropagatesTo <T L0.Entity
+L0.Includes <T L0.Entity
+L0.IsIncludedWith <T L0.Entity
+
+L0.HasPackageName <R L0.HasProperty
+ L0.HasRange L0.String
+
+L0.HasChangeCode <R L0.IsRelatedTo
+ L0.HasRange L0.Long
+
+// Old requirements
+
+L0.Requires <R L0.IsRelatedTo
+L0.Requirement <T L0.Entity
+ @L0.property L0.Ignore
+ @L0.tag L0.Abstract
+L0.HasRequirement <R L0.DependsOn
+ L0.HasRange L0.Requirement
+L0.RequirementDisjunction <T L0.Requirement
+ @L0.property L0.HasRequirement
+L0.RequirementConjunction <T L0.Requirement
+ @L0.property L0.HasRequirement
+L0.RequirementNegation <T L0.Requirement
+ @L0.singleProperty L0.HasRequirement
+L0.EqualityRequirement <T L0.Requirement
+ @L0.singleProperty L0.HasEntity
+L0.TypeRequirement <T L0.Requirement
+ @L0.singleProperty L0.HasType
+L0.RelationRequirement <T L0.Requirement
+ @L0.singleProperty L0.ConcernsRelation
+// [HasCardinality card "0..1"]
+ @L0.property L0.AllValuesSatisfy
+ @L0.property L0.SomeValuesSatisfy
+L0.ValueRequirement <T L0.Requirement
+// [HasType card "1" all ValueType]
+ @L0.singleProperty L0.HasMultiplicity
+// [HasValidNumericalRange card "0..1"]
+L0.HasValueRequirement <R L0.HasProperty
+ L0.HasRange L0.ValueRequirement
+L0.HasEntity <R L0.IsRelatedTo
+L0.AllValuesSatisfy <R L0.DependsOn
+ L0.HasRange L0.Requirement
+L0.SomeValuesSatisfy <R L0.DependsOn
+ L0.HasRange L0.Requirement
+L0.IntegerRangeUnion <T L0.String
+L0.HasMultiplicity <R L0.HasProperty
+ L0.HasRange L0.IntegerRangeUnion
+L0.ValueType <T L0.Type
+ @L0.property L0.HasMultiplicity
+
+// Predicates
+
+L0.Predicate <T L0.Entity
+L0.BinaryPredicate <T L0.Entity
+L0P = L0.Predicates : L0.Library
+L0P.Conjunction <T L0.Predicate
+// [HasPredicate all Predicate]
+L0P.Disjunction <T L0.Predicate
+// [HasPredicate all Predicate]
+L0P.Negation <T L0.Predicate
+// [HasPredicate all Predicate card "1"]
+L0BP = L0.BinaryPredicates : L0.Library
+L0BP.OrderedSetElements : L0.BinaryPredicate
+L0BP.CompositePredicate <T L0.BinaryPredicate
+ @L0.singleProperty L0BP.AppliesFirst
+ @L0.singleProperty L0BP.AppliesThen
+L0BP.InversePredicate <T L0.BinaryPredicate
+ @L0.singleProperty L0BP.HasBinaryPredicate
+L0BP.TransitiveClosure <T L0.BinaryPredicate
+ @L0.singleProperty L0BP.HasBinaryPredicate
+L0BP.UnionPredicate <T L0.BinaryPredicate
+ @L0.property L0BP.HasBinaryPredicate
+L0BP.IntersectionPredicate <T L0.BinaryPredicate
+ @L0.property L0BP.HasBinaryPredicate
+L0BP.HasBinaryPredicate <R L0.IsRelatedTo
+ L0.HasRange L0.BinaryPredicate
+L0BP.AppliesFirst <R L0.IsRelatedTo
+ L0.HasRange L0.BinaryPredicate
+L0BP.AppliesThen <R L0.IsRelatedTo
+ L0.HasRange L0.BinaryPredicate
+
+L0.EntityType <T L0.Type
+L0.Constraint <T L0.Entity
+L0.EvaluatesTo <R L0.IsRelatedTo