Text this: Paths, tree homomorphisms and disequalities for -clauses.