*SUPPORT*
IN: blicket OUT: YELLOW
IN: blicket wif fep gazzer tufa zup gazzer OUT: YELLOW PINK RED RED GREEN
IN: blicket blicket fep blicket OUT: YELLOW YELLOW YELLOW
IN: zup blicket gazzer OUT: PINK YELLOW RED
IN: zup tufa blicket blicket gazzer tufa blicket OUT: YELLOW YELLOW YELLOW RED PINK
IN: gazzer tufa blicket OUT: YELLOW RED
IN: zup OUT: PINK
IN: wif OUT: GREEN
IN: blicket blicket fep wif OUT: YELLOW GREEN YELLOW
IN: blicket fep zup fep wif OUT: GREEN PINK YELLOW
IN: blicket fep blicket fep zup OUT: PINK YELLOW YELLOW
IN: wif fep gazzer OUT: RED GREEN
IN: wif gazzer zup OUT: GREEN RED PINK
IN: wif tufa gazzer zup lug zup gazzer OUT: PINK RED PINK RED RED PINK GREEN

*QUERY*
IN: blicket fep wif fep zup tufa zup OUT: PINK PINK GREEN YELLOW
IN: gazzer zup OUT: RED PINK
IN: blicket tufa zup lug blicket fep wif gazzer OUT: GREEN RED YELLOW GREEN RED YELLOW PINK YELLOW
IN: wif fep gazzer tufa blicket OUT: YELLOW RED GREEN
IN: blicket gazzer tufa gazzer OUT: YELLOW RED RED
IN: gazzer wif OUT: RED GREEN
IN: blicket fep zup OUT: PINK YELLOW
IN: zup tufa gazzer fep gazzer OUT: RED RED PINK
IN: blicket lug gazzer OUT: RED RED YELLOW
IN: zup fep wif lug zup OUT: PINK PINK GREEN PINK

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