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

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

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