B = 'The BLUE BIRD'
                     COLOR = ('GOLD' | 'BLUE') . SHADE
                     CRITTER = ('FISH' | 'BIRD') . ANIMAL
                     BOTH = COLOR CRITTER
                     B BOTH
*              Success
                     OUTPUT = SHADE
*              BLUE
                     OUTPUT = ANIMAL
*              BIRD
END