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

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

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