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

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

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