A ::= B C;