*SUPPORT*
IN: blicket tufa wif OUT: GREEN RED
IN: blicket kiki lug zup kiki OUT: YELLOW GREEN YELLOW BLUE
IN: blicket lug fep lug lug tufa kiki OUT: GREEN BLUE BLUE YELLOW BLUE BLUE
IN: lug fep blicket OUT: GREEN BLUE BLUE
IN: wif zup wif zup wif OUT: RED RED RED
IN: kiki tufa kiki OUT: YELLOW YELLOW
IN: lug tufa kiki OUT: BLUE YELLOW
IN: blicket tufa kiki wif kiki OUT: GREEN YELLOW RED YELLOW
IN: lug fep blicket fep kiki zup wif OUT: RED YELLOW GREEN GREEN BLUE BLUE
IN: lug tufa wif tufa blicket zup lug OUT: BLUE RED BLUE GREEN
IN: wif fep blicket blicket zup wif OUT: RED GREEN GREEN RED RED
IN: blicket fep wif fep lug lug wif OUT: BLUE BLUE RED RED RED GREEN GREEN
IN: kiki tufa wif OUT: YELLOW RED
IN: kiki blicket tufa kiki zup kiki zup blicket OUT: GREEN YELLOW YELLOW GREEN YELLOW

*QUERY*
IN: blicket fep kiki fep kiki tufa lug OUT: YELLOW BLUE YELLOW YELLOW GREEN GREEN
IN: lug fep wif OUT: RED BLUE BLUE
IN: lug OUT: BLUE
IN: kiki wif zup lug OUT: BLUE YELLOW RED
IN: wif zup wif OUT: RED RED
IN: lug fep kiki lug tufa lug OUT: YELLOW BLUE BLUE BLUE BLUE
IN: lug fep wif tufa lug blicket zup lug OUT: BLUE RED BLUE GREEN BLUE BLUE
IN: wif kiki tufa lug OUT: RED YELLOW BLUE
IN: kiki fep kiki zup kiki OUT: YELLOW YELLOW YELLOW YELLOW
IN: blicket fep blicket tufa kiki OUT: GREEN YELLOW GREEN GREEN

*GRAMMAR*
wif -> RED 
 blicket -> GREEN 
 lug -> BLUE 
 kiki -> YELLOW 
 u1 tufa x1 -> [u1] [x1] 
 x1 zup u1 -> [u1] [x1] 
 u1 fep x1 -> [x1] [u1] [u1] 
 u1 x1 -> [u1] [x1] 
 