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

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

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