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