Anti-unification, Generalization of syntactic parse trees, least general generalization, Natural Language Processing.