Define as Nested Condition

Selection: Multiple nodes contained in the same LHS or NestedCondition graph.

Effect: This creates a new NestedCondition inside the source graph and copies the selected subgraph to the NestedCondition's conclusion graph. In case there already is a formula present in the source graph, the menu provides two alternatives regarding the handling of the existing formula: