two-level grammars