Polarization and abstraction of grammatical formalisms as methods for lexical disambiguation