#lang brag

start : ( (X | X Y) A* )*