syntactic unification