grammar specification:  use local rules to clarify