--- /dev/null
+L0 = <http://www.simantics.org/Layer0-1.1>\r
+L0X = <http://www.simantics.org/Layer0X-1.1>\r
+PROJ = <http://www.simantics.org/Project-1.2>\r
+STR = <http://www.simantics.org/Structural-1.2>\r
+MOD = <http://www.simantics.org/Modeling-1.2>\r
+DIA = <http://www.simantics.org/Diagram-2.2>\r
+\r
+OP = L0X.Operation\r
+PRED = L0X.Predicate\r
+\r
+// Predicates\r
+PREDS = MOD.Predicates : L0.Library\r
+PREDS.HasCounterpart : PRED.Predicate\r
+\r
+// Operations\r
+OPS = MOD.Operations : L0.Library\r
+\r
+MOD.HasModelingOperations <R L0.IsWeaklyRelatedTo\r
+MOD.HasDiagramOperations <R L0.IsWeaklyRelatedTo\r
+\r
+MOD.ModelingOperations : OP.TypeBasedList
+ L0X.HasRelation MOD.HasModelingOperations
+
+MOD.DiagramOperations : OP.TypeBasedList
+ L0X.HasRelation MOD.HasDiagramOperations\r
+
+STR.Component
+ MOD.HasModelingOperations LL : OP.ContextualList <R L0.IsRelatedTo\r
+ LL LL\r
+ \r
+PROJ.Project
+ MOD.HasModelingOperations MO : OP.ContextualList <R L0.IsRelatedTo\r
+ MO MO
+ //@L0.orderedSet
+ //OPS.NewComponentType : L0.Operation
+ //OPS.NewModel : OP.Operation\r
+\r
+DIA.Flag
+ MOD.HasDiagramOperations _ : OP.ContextualList <R L0.IsRelatedTo
+ @L0.orderedSet
+ _ : OP.ConditionalList
+ OP.HasCondition PREDS.HasCounterpart
+ OP.HasThenElement OPS.NavigateToTarget : OP.Operation
+ //_ : OP.ConditionalList
+ // OP.HasCondition PREDS.HasCounterpart
+ // OP.HasThenElement OPS.DisconnectFlag : OP.Operation\r
+\r
+DIA.Monitor\r
+ MOD.HasDiagramOperations _ : OP.ContextualList <R L0.IsRelatedTo\r
+ @L0.orderedSet\r
+ _ : OP.ConditionalList\r
+ OP.HasCondition PREDS.HasCounterpart\r
+ OP.HasThenElement OPS.NavigateToTarget : OP.Operation\r