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

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

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