Abstract This Commentaire bears out a prediction of Anand et al.'s (to appear) syntactic identity condition on sluicing. Identity is calculated over argument domains as small clauses. With extraction clause subject, sluicing possible where only predicate has an antecedent.

the persian morpheme ra has attracted the attention of many linguists including karimi (1989), dabir-moghaddam (1990) and ghomeshi (1996) among others. karimi takes ra as the accusative case marker, the presence of which on subjects and objects of prepositions render the sentence ungrammatical. according to ghomeshi (1996), it marks dps functioning as vp-level topics. dabir-moghaddam (1990) ana...

In this paper we focus on two powerful techniques to obtain compact clause normal forms: Renaming of formulae and reened Skolem-ization methods. We illustrate their eeect on various examples. By an exhaustive experiment of all rst-order TPTP problems, it shows that our clause normal form transformation yields fewer clauses and fewer literals than the methods known and used so far. This often al...