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

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

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