The target tree fragments of ζ will replace the respective linked leaves in the target tree fragments of the sentential form ξ.
substitution has to respect the symbols in the linked target tree fragments and all linked leaves are replaced at the same time.