L0 = <http://www.simantics.org/Layer0-1.1>
L0X = <http://www.simantics.org/Layer0X-1.1>
PROJ = <http://www.simantics.org/Project-1.2>
STR = <http://www.simantics.org/Structural-1.2>
MOD = <http://www.simantics.org/Modeling-1.2>
DIA = <http://www.simantics.org/Diagram-2.2>

OP = L0X.Operation
PRED = L0X.Predicate

// Predicates
PREDS = MOD.Predicates : L0.Library
PREDS.HasCounterpart : PRED.Predicate

// Operations
OPS = MOD.Operations : L0.Library

OPS.NavigateToTarget : OP.Operation

MOD.HasModelingOperations <R L0.IsWeaklyRelatedTo
MOD.HasDiagramOperations <R L0.IsWeaklyRelatedTo

MOD.ModelingOperations : OP.TypeBasedList
    L0X.HasRelation MOD.HasModelingOperations

MOD.DiagramOperations : OP.TypeBasedList
    L0X.HasRelation MOD.HasDiagramOperations

STR.Component
    MOD.HasModelingOperations LL : OP.ContextualList <R L0.IsRelatedTo
        LL LL
        
PROJ.Project
    MOD.HasModelingOperations MO : OP.ContextualList <R L0.IsRelatedTo
        MO MO
        //@L0.orderedSet        
            //OPS.NewComponentType : L0.Operation
            //OPS.NewModel : OP.Operation

DIA.Flag
    MOD.HasDiagramOperations _ : OP.ContextualList <R L0.IsRelatedTo
        @L0.orderedSet
            _ : OP.ConditionalList
                OP.HasCondition PREDS.HasCounterpart
                OP.HasThenElement OPS.NavigateToTarget
            //_ : OP.ConditionalList
            //    OP.HasCondition PREDS.HasCounterpart
            //    OP.HasThenElement OPS.DisconnectFlag : OP.Operation

DIA.Monitor
    MOD.HasDiagramOperations _ : OP.ContextualList <R L0.IsRelatedTo
        @L0.orderedSet
            _ : OP.ConditionalList
                OP.HasCondition PREDS.HasCounterpart
                OP.HasThenElement OPS.NavigateToTarget