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

*QUERY*
IN: gazzer OUT: RED
IN: kiki blicket OUT: BLUE PINK
IN: lug dax blicket dax lug OUT: YELLOW YELLOW PINK YELLOW YELLOW PINK YELLOW
IN: lug wif blicket OUT: PINK YELLOW PINK
IN: kiki gazzer dax lug dax blicket OUT: BLUE PINK PINK YELLOW PINK PINK YELLOW RED
IN: gazzer dax gazzer OUT: RED RED RED
IN: lug OUT: YELLOW
IN: lug lug OUT: YELLOW YELLOW
IN: lug gazzer wif gazzer dax gazzer OUT: RED RED RED YELLOW RED RED RED RED
IN: blicket OUT: PINK

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