D. Conj and D. Conj, subst, ghost > D1 :< P ? conj L , ? 1 , ? conj , subst, ? > Ghost-D1:< P ? conj D , ? 1 , ? conj , subst g , ghost > Substitution d'un arbre initial ? sur un arbre fantôme ? ghost

. Substitué-sur-un-noeud-n-i-d, un arbre fantôme ? ghost (c'est-à-dire la dérivation Ghost-Der2' sur la figure 4), où i est l'indice traditionnel d'une position argumentale (N 0 , N 1 Supposons qu'il existe une dérivation fantôme témoignant d'une substitution d'un arbre ? ghost sur un arbre ? conj (c'est-à-dire la dérivation Ghost-Der1, et que cette dérivation fantôme pointe sur un arbre ? X ayant une substitution d'un arbre ? 2 sur son noeud N i (Dérivation Der2, fig. fig 4)

. Ghost-der2, N i? 1 , ? 1 , ? ghost , subst g , ? > Ghost-Der1:< P ? conj D , ? X , ? conj , subst g , ? ghost Der2:< N i? X , ? 2 , ? X , subst, ? > Ghost-Der2:< N i?

. La-contrainte-sur-les-arguments-Évite-la-reconnaissance-de-*-jean-dort and . Pierre, Virginie et permet aussi de vérifier les restrictions de sélection afin d'éviter *Jean mange une pomme et Pierre l'avion. C'est le mécanisme mis en oeuvre pour l

. Supposons-qu-'un-arbre-fantôme, est substitué sur le noeud N i d'un arbre ? (dérivation Ghost-Der1'), et que cet arbre ? s'est substitué sur le noeud P conj D d'un arbre ? conj (dérivation Der1) Supposons que le noeud symétrique P conj G de l'arbre ? conj a reçu la substitution d'un arbre ? s , (dérivation Der2), et que cet arbre a reçu sur son noeud N i la substitution d'un arbre ? f inal, Alors on infère un item qui témoigne d'une dérivation de substitution de l'arbre ? f inal sur le noeud N i de l'arbre ? (dérivation Ghost-Der1) 5

. Ghost-der1, N i? ghost , ? ghost , ?, subst g , ? > Der1:< P ? conj D , ?, ? conj , subst, ? > Der2:< P ? conj L , ? s , ? conj , subst, ? > Der3:< N i? s , ? f inal , ? s , subst, ? > Ghost-Der1:< N i?

D. M. Shieber-s and . C. Pereira-f, Ellipsis and higher-order unification, Linguistics and Philosophy, vol.14, issue.4, pp.399-452, 1991.

S. A. Joshi-a, Coordination in tree adjoining grammars : Formalization and implementation, COLING'96, pp.610-615, 1996.

S. D. Gaiffe-b, Des arbres de dérivation aux forêts de dépendance : un chemin via les forêts partagées, Traitement automatique des langues Naturelles -TALN'05, 2005.

S. S. and S. Y. Pereira-f, Principles and implementation of deductive parsing, Journal of Logic Programming, vol.24, pp.3-36, 1995.

S. M. Baldridge-j, Combinatory categorial grammar, 2003.

V. Weir-d, The use of shared forests in tree adjoining grammar parsing, EACL '93, pp.384-393, 1993.