SMS: Unification grammars