marks optional parts which may occur zero or one times, * marks elements that may occur any number of times. Use a separate token for both ends of every type of block or body. More generally, for any ...