*SUPPORT*
IN: zup OUT: PINK
IN: zup tufa blicket tufa blicket dax fep OUT: PINK PURPLE PURPLE YELLOW PINK PURPLE PURPLE YELLOW
IN: wif wif zup fep OUT: RED RED PINK RED RED PINK
IN: wif dax OUT: RED YELLOW
IN: zup fep OUT: PINK PINK
IN: wif OUT: RED
IN: tufa OUT: PURPLE
IN: dax blicket zup tufa lug OUT: YELLOW PINK PURPLE PINK PURPLE PINK PURPLE
IN: wif blicket wif wif lug OUT: RED RED RED RED RED RED RED
IN: wif blicket dax tufa fep OUT: RED YELLOW PURPLE YELLOW PURPLE
IN: wif blicket dax OUT: RED YELLOW
IN: dax fep OUT: YELLOW YELLOW
IN: dax dax fep OUT: YELLOW YELLOW YELLOW YELLOW
IN: dax OUT: YELLOW

*QUERY*
IN: wif dax lug OUT: RED YELLOW RED YELLOW RED YELLOW
IN: wif dax blicket wif tufa OUT: RED YELLOW RED PURPLE
IN: wif blicket wif OUT: RED RED
IN: wif fep OUT: RED RED
IN: zup fep fep OUT: PINK PINK PINK PINK
IN: zup blicket zup fep OUT: PINK PINK PINK
IN: wif lug OUT: RED RED RED
IN: wif blicket wif blicket dax OUT: RED RED YELLOW
IN: dax lug OUT: YELLOW YELLOW YELLOW
IN: tufa blicket dax fep OUT: PURPLE YELLOW YELLOW

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