... unification, and present some results about its formal proper- ties and its relation to other formalisms. Section 3 demonstrates the application to scope underspeci- fication, to ellipsis, and to the ... source and the target clause (i.e., the first and the second clause of a parallel construction; the termi- nology is taken over from the ellipsis literature), and Xcs and Xct to refer to the ... 1993. Reference to abstract objects in discourse. Kluwer, Dordrecht. Bander, F. and J. Siekmann. 1993. Unification the- ory. In D. Gabbay, C.J. Hogger, and J.A. Robinson, editors, Handbook of...