1 2 3 4
concrete QueryEng of Query = QueryI with (LexQuery = LexQueryEng), (Syntax = SyntaxEng), (Lang = LangEng) ;