A ::= B | C;