can identify several grammars and get corresponding types