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

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

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