K-grammar in use