class A
token A B C X
rule

targ : A list B
     | A B C

list: list X

end