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

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

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