*SUPPORT*
IN: wif wif kiki OUT: BLUE BLUE GREEN
IN: wif blicket wif fep gazzer gazzer tufa dax OUT: BLUE BLUE PURPLE YELLOW PURPLE PURPLE YELLOW PURPLE
IN: dax OUT: YELLOW
IN: gazzer dax OUT: PURPLE YELLOW
IN: kiki tufa dax OUT: YELLOW GREEN
IN: kiki blicket gazzer fep dax blicket wif OUT: GREEN PURPLE YELLOW BLUE YELLOW BLUE
IN: gazzer dax tufa dax OUT: PURPLE YELLOW YELLOW
IN: kiki kiki wif OUT: GREEN GREEN BLUE
IN: kiki OUT: GREEN
IN: kiki dax tufa wif OUT: GREEN BLUE YELLOW
IN: wif blicket wif kiki blicket gazzer OUT: BLUE BLUE GREEN PURPLE
IN: dax tufa gazzer OUT: PURPLE YELLOW
IN: wif kiki blicket wif tufa wif OUT: BLUE GREEN BLUE BLUE
IN: wif blicket wif tufa wif OUT: BLUE BLUE BLUE

*QUERY*
IN: wif OUT: BLUE
IN: kiki tufa kiki OUT: GREEN GREEN
IN: kiki fep dax tufa gazzer OUT: GREEN PURPLE YELLOW PURPLE YELLOW
IN: gazzer wif tufa wif OUT: PURPLE BLUE BLUE
IN: kiki gazzer blicket wif blicket gazzer fep dax OUT: GREEN PURPLE BLUE PURPLE YELLOW YELLOW
IN: kiki dax tufa gazzer OUT: GREEN PURPLE YELLOW
IN: kiki blicket kiki OUT: GREEN GREEN
IN: gazzer OUT: PURPLE
IN: wif dax tufa kiki OUT: BLUE GREEN YELLOW
IN: wif blicket wif blicket wif OUT: BLUE BLUE BLUE

*GRAMMAR*
dax -> YELLOW 
 wif -> BLUE 
 kiki -> GREEN 
 gazzer -> PURPLE 
 u1 blicket x1 -> [u1] [x1] 
 x1 fep x2 -> [x1] [x2] [x2] 
 u1 tufa u2 -> [u2] [u1] 
 u1 x1 -> [u1] [x1] 
 