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

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

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