*SUPPORT*
IN: gazzer blicket tufa zup gazzer OUT: RED RED BLUE
IN: tufa blicket wif wif zup tufa OUT: BLUE BLUE GREEN GREEN
IN: dax dax blicket dax OUT: PINK PINK PINK
IN: tufa zup tufa OUT: BLUE BLUE
IN: wif OUT: GREEN
IN: tufa dax fep OUT: BLUE PINK BLUE PINK
IN: gazzer blicket wif dax fep OUT: RED GREEN PINK RED GREEN PINK
IN: gazzer OUT: RED
IN: gazzer zup tufa zup wif OUT: GREEN BLUE RED
IN: dax blicket dax blicket gazzer blicket gazzer fep OUT: PINK PINK RED RED PINK PINK RED RED
IN: tufa OUT: BLUE
IN: wif gazzer zup gazzer OUT: RED GREEN RED
IN: tufa blicket tufa OUT: BLUE BLUE
IN: dax OUT: PINK

*QUERY*
IN: gazzer zup wif fep OUT: GREEN RED GREEN RED
IN: gazzer blicket wif OUT: RED GREEN
IN: tufa dax zup gazzer OUT: RED BLUE PINK
IN: wif blicket tufa blicket gazzer fep zup dax OUT: PINK GREEN BLUE RED GREEN BLUE RED
IN: tufa blicket dax blicket tufa OUT: BLUE PINK BLUE
IN: tufa gazzer blicket tufa fep zup gazzer OUT: RED BLUE RED BLUE BLUE RED BLUE
IN: dax blicket gazzer zup gazzer zup wif OUT: GREEN RED PINK RED
IN: wif tufa blicket dax fep zup wif OUT: GREEN GREEN BLUE PINK GREEN BLUE PINK
IN: tufa fep zup dax zup dax fep OUT: PINK PINK BLUE BLUE PINK PINK BLUE BLUE
IN: dax dax zup wif OUT: GREEN PINK PINK

*GRAMMAR*
tufa -> BLUE 
 wif -> GREEN 
 gazzer -> RED 
 dax -> PINK 
 x1 fep -> [x1] [x1] 
 x1 zup u1 -> [u1] [x1] 
 u1 blicket x1 -> [u1] [x1] 
 u1 x1 -> [u1] [x1] 
 