The operations of substitution and adjunction are then applied to prediction tree instances in exactly the same way as to canonical trees.
adjoining into a node that carries markers pushes the two markers apart.