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:
Replace current Formula removes the existing formula and inserts the newly created NestedCondition in its place.
Wrap with current Formula creates an And which holds the existing formula and the newly created NestedCondition as child elements.