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

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

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