*SUPPORT*
IN: lug gazzer OUT: GREEN RED
IN: gazzer dax wif zup zup dax wif OUT: RED YELLOW BLUE BLUE YELLOW
IN: lug dax wif tufa OUT: GREEN YELLOW GREEN YELLOW
IN: gazzer wif kiki lug dax lug dax gazzer OUT: RED YELLOW GREEN GREEN RED
IN: zup tufa OUT: BLUE BLUE
IN: zup gazzer kiki zup tufa OUT: BLUE RED BLUE BLUE
IN: wif OUT: YELLOW
IN: zup dax zup OUT: BLUE BLUE
IN: zup OUT: BLUE
IN: gazzer dax zup OUT: RED BLUE
IN: gazzer dax zup tufa OUT: RED BLUE RED BLUE
IN: zup dax gazzer tufa kiki lug tufa OUT: BLUE RED BLUE RED GREEN GREEN
IN: wif lug dax zup kiki gazzer tufa tufa OUT: YELLOW GREEN BLUE RED RED RED RED
IN: gazzer lug wif OUT: RED GREEN YELLOW

*QUERY*
IN: wif kiki zup gazzer gazzer wif OUT: YELLOW BLUE RED RED YELLOW
IN: zup dax lug dax zup kiki wif OUT: BLUE GREEN BLUE YELLOW
IN: wif dax lug kiki gazzer tufa OUT: YELLOW GREEN RED RED
IN: lug OUT: GREEN
IN: zup lug OUT: BLUE GREEN
IN: zup wif dax zup zup OUT: BLUE YELLOW BLUE BLUE
IN: zup dax gazzer tufa kiki zup OUT: BLUE RED BLUE RED BLUE
IN: gazzer tufa tufa OUT: RED RED RED RED
IN: gazzer OUT: RED
IN: lug gazzer tufa OUT: GREEN RED GREEN RED

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