sentence1: phrase structure trees in ctb have been semi-automatically converted to deep derivations in the ccg , lfg , and hpsg formalisms .
sentence2: phrase structure trees in ctb have been semiautomatically converted to deep derivations in the ccg , lfg , tag and hpsg formalisms .