@L0.property L0.HasNext
>-- L0.Entity.published --> L0.Boolean <R L0.HasProperty : L0.FunctionalRelation
L0.readOnly true
+ >-- L0.Entity.methods
+ @L0.assert L0.Entity.methods
+ _ : L0.Value
+
+L0.Entity.methods --> L0.Value <R L0.HasProperty : L0.FunctionalRelation
+ L0.domainProperties L0.Functions.methodsPropertyDomainProperties
+
+L0.Entity.method <R L0.HasProperty : L0.FunctionalRelation
+
L0.Type <T L0.Entity
L0.HasDescription "All types are instances of this type."
>-- L0.Asserts --> L0.Assertion <R L0.IsComposedOf
@L0.property L0.HasPropertyDefinition
@L0.property L0.Asserts
@L0.property L0.Inherits
+ >-- L0.Type.instantiateUnder ==> "Resource -> Resource -> <WriteGraph> Resource" <R L0.HasMethod : L0.FunctionalRelation
+ @L0.assert L0.Type.instantiateUnder L0.Functions.defaultInstantiateUnder
L0.Assertion <T L0.Entity
L0.HasDescription "The statement modelled by an assertion is implied for all instances of the asserting type."
>-- L0.HasPredicate --> L0.Relation <R L0.IsRelatedTo : L0.TotalFunction
L0.InverseOf L0.PropertyOf
L0.HasRange L0.Value
+L0.HasMethod <R L0.DependsOn
+ L0.InverseOf L0.MethodOf
+ L0.HasRange L0.Value
// Libraries
L0.IndexRootType <T L0.Type