updated syntax K ::= into syntax KItem ::=