start
    : A B C
    | A B D;

start
    : A B (C | D);