*SUPPORT*
IN: blicket zup dax OUT: GREEN GREEN YELLOW YELLOW
IN: dax zup blicket OUT: YELLOW YELLOW GREEN GREEN
IN: fep kiki fep OUT: RED RED RED RED
IN: fep wif OUT: RED PINK
IN: wif wif OUT: PINK PINK
IN: fep zup blicket OUT: RED RED GREEN GREEN
IN: wif OUT: PINK
IN: wif kiki blicket dax OUT: GREEN YELLOW GREEN YELLOW GREEN YELLOW PINK
IN: fep lug wif blicket zup fep OUT: PINK GREEN GREEN RED RED RED
IN: dax zup wif OUT: YELLOW YELLOW PINK PINK
IN: blicket OUT: GREEN
IN: blicket kiki blicket lug fep OUT: RED GREEN RED GREEN RED GREEN GREEN
IN: wif kiki wif fep OUT: PINK RED PINK RED PINK RED PINK
IN: fep OUT: RED

*QUERY*
IN: dax kiki wif OUT: PINK PINK PINK YELLOW
IN: wif zup fep OUT: PINK PINK RED RED
IN: wif zup dax OUT: PINK PINK YELLOW YELLOW
IN: blicket blicket OUT: GREEN GREEN
IN: fep zup dax OUT: RED RED YELLOW YELLOW
IN: dax zup dax lug blicket blicket OUT: GREEN GREEN YELLOW YELLOW YELLOW YELLOW
IN: fep fep zup blicket OUT: RED RED RED GREEN GREEN
IN: fep wif zup fep OUT: RED PINK PINK RED RED
IN: dax OUT: YELLOW
IN: wif kiki fep OUT: RED RED RED PINK

*GRAMMAR*
blicket -> GREEN 
 fep -> RED 
 wif -> PINK 
 dax -> YELLOW 
 u1 kiki x1 -> [x1] [x1] [x1] [u1] 
 u1 zup u2 -> [u1] [u1] [u2] [u2] 
 x1 lug x2 -> [x2] [x1] 
 u1 x1 -> [u1] [x1] 
 