*SUPPORT*
IN: dax dax OUT: RED RED
IN: gazzer tufa wif dax zup gazzer OUT: PINK RED BLUE BLUE
IN: dax tufa fep fep OUT: YELLOW YELLOW RED
IN: dax OUT: RED
IN: wif tufa fep tufa fep zup dax OUT: YELLOW RED YELLOW PINK
IN: dax zup gazzer kiki wif tufa dax dax OUT: RED BLUE RED RED PINK RED RED PINK
IN: dax tufa dax OUT: RED RED
IN: gazzer OUT: BLUE
IN: gazzer tufa fep OUT: YELLOW BLUE
IN: fep zup gazzer OUT: YELLOW BLUE
IN: wif zup dax zup gazzer OUT: PINK RED BLUE
IN: fep zup wif tufa dax zup dax OUT: YELLOW RED RED PINK
IN: dax zup fep gazzer gazzer OUT: RED YELLOW BLUE BLUE
IN: wif tufa dax tufa dax tufa wif OUT: PINK RED RED PINK

*QUERY*
IN: dax wif OUT: RED PINK
IN: fep OUT: YELLOW
IN: wif dax tufa gazzer kiki fep OUT: PINK BLUE RED YELLOW YELLOW
IN: dax zup fep OUT: RED YELLOW
IN: wif zup wif OUT: PINK PINK
IN: fep tufa wif tufa fep OUT: YELLOW PINK YELLOW
IN: dax zup dax kiki gazzer zup fep OUT: RED RED BLUE YELLOW BLUE YELLOW
IN: wif OUT: PINK
IN: fep tufa wif dax kiki gazzer OUT: PINK RED BLUE BLUE YELLOW
IN: gazzer wif zup dax tufa gazzer OUT: BLUE PINK BLUE RED

*GRAMMAR*
dax -> RED 
 fep -> YELLOW 
 gazzer -> BLUE 
 wif -> PINK 
 u1 tufa x1 -> [x1] [u1] 
 x1 kiki x2 -> [x1] [x2] [x2] 
 u1 zup x1 -> [u1] [x1] 
 u1 x1 -> [u1] [x1] 
 