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

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

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