+ >-- 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
+