clarified production rules in splitgrammar