New: kr-grammar