For task 2 we adopt the substitutional approach advocated by Crouch (1995): The semantic representation of the target § is a copy of the source § where target parallel elements have been substituted for source parallel elements ( ) .
to Higher-Order Unification (HOU) (Dalrymple et al., 1991) substitution is deterministic: Ambiguities somehow cropping up in the interpretation process (i.e.