proper versions of HSK1 grammars