-L0 = <http://www.simantics.org/Layer0-1.1>\r
-\r
-L0.list : L0.Template \r
- L0.HasDescription "A builtin template that is only used in graph compilation."\r
-\r
-L0.List <T L0.Value\r
- L0.HasDescription """Represents a list of resources that may contain repetitions."""\r
- @L0.assert L0.HasValueType "[Resource]"\r
- @L0.assert L0.ConvertsToValueWith L0.Functions.listResources\r
-L0.List.Entry <T L0.List\r
-L0.List.Next <R L0.IsRelatedTo : L0.TotalFunction\r
- L0.HasDomain L0.List\r
- L0.HasRange L0.List\r
-L0.List.Previous <R L0.IsRelatedTo : L0.TotalFunction\r
- L0.InverseOf L0.List.Next\r
-L0.List.Element <R L0.IsRelatedTo : L0.TotalFunction\r
- L0.HasDomain L0.List.Entry
\ No newline at end of file
+L0 = <http://www.simantics.org/Layer0-1.1>
+
+L0.list : L0.Template
+ L0.HasDescription "A builtin template that is only used in graph compilation."
+
+L0.List <T L0.Value
+ L0.HasDescription """Represents a list of resources that may contain repetitions."""
+ @L0.assert L0.HasValueType "[Resource]"
+ @L0.assert L0.ConvertsToValueWith L0.Functions.listResources
+ >-- L0.List.ElementPredicate --> L0.Relation <R L0.DependsOn : L0.FunctionalRelation
+ @L0.assert L0.List.ElementPredicate L0.List.Element
+L0.ListWithInverses <T L0.List
+ @L0.assert L0.List.ElementPredicate L0.List.ElementWithInverse
+L0.List.Entry <T L0.List
+L0.List.Next <R L0.IsRelatedTo : L0.TotalFunction
+ L0.HasDomain L0.List
+ L0.HasRange L0.List
+L0.List.Previous <R L0.IsRelatedTo : L0.TotalFunction
+ L0.InverseOf L0.List.Next
+L0.List.Element <R L0.IsRelatedTo : L0.TotalFunction
+ L0.HasDomain L0.List.Entry
+L0.List.ElementWithInverse <R L0.List.Element
+ L0.InverseOf L0.List.ElementWithInverse.Inverse <R L0.IsRelatedTo
\ No newline at end of file