Analysis-oriented two-level grammars