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

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

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