(rule-)head results (rule-)bodystart symbol should have non-terminal or empty string- notational convention