*SUPPORT*
IN: tufa blicket zup tufa OUT: RED RED BLUE
IN: blicket fep OUT: BLUE PINK
IN: tufa gazzer blicket OUT: RED BLUE
IN: blicket dax tufa gazzer fep gazzer lug OUT: BLUE RED PINK GREEN
IN: blicket zup fep OUT: PINK BLUE
IN: fep OUT: PINK
IN: lug lug OUT: GREEN GREEN
IN: lug gazzer blicket gazzer lug OUT: GREEN BLUE GREEN
IN: fep gazzer fep gazzer lug OUT: PINK PINK GREEN
IN: blicket lug lug gazzer tufa OUT: BLUE GREEN GREEN RED
IN: lug dax tufa zup tufa OUT: GREEN RED RED
IN: fep zup fep zup tufa OUT: RED PINK PINK
IN: tufa OUT: RED
IN: lug zup blicket OUT: BLUE GREEN

*QUERY*
IN: blicket dax fep zup fep blicket OUT: BLUE PINK BLUE PINK
IN: blicket fep zup lug OUT: BLUE GREEN PINK
IN: fep zup lug OUT: GREEN PINK
IN: blicket fep gazzer tufa OUT: BLUE PINK RED
IN: blicket zup lug gazzer fep OUT: GREEN BLUE PINK
IN: tufa dax blicket OUT: RED BLUE
IN: fep blicket tufa blicket OUT: PINK BLUE RED BLUE
IN: fep tufa gazzer tufa gazzer tufa OUT: PINK RED RED RED
IN: blicket dax tufa dax tufa dax blicket OUT: BLUE RED RED BLUE
IN: lug zup fep zup fep blicket OUT: PINK BLUE PINK GREEN

*GRAMMAR*
blicket -> BLUE 
 tufa -> RED 
 lug -> GREEN 
 fep -> PINK 
 x1 gazzer u1 -> [x1] [u1] 
 x1 dax x2 -> [x1] [x2] 
 u1 zup x1 -> [x1] [u1] 
 u1 x1 -> [u1] [x1] 
 