Normally, substitution is used in LTAG to associate a complement to its head, and adjunction is used to associate a modifier.
in the following, we consider a tree description to be satisfiable if it is satisfied by a finite tree model.