A ::=  | B;