*SUPPORT*
IN: dax wif lug OUT: PINK YELLOW
IN: kiki fep OUT: BLUE BLUE
IN: dax OUT: PINK
IN: lug wif blicket blicket fep OUT: YELLOW RED RED RED
IN: blicket dax wif blicket kiki zup kiki fep OUT: RED PINK RED BLUE BLUE BLUE
IN: lug OUT: YELLOW
IN: kiki zup dax zup kiki fep OUT: BLUE PINK BLUE BLUE
IN: kiki zup kiki fep OUT: BLUE BLUE BLUE
IN: blicket zup lug kiki OUT: RED YELLOW BLUE
IN: lug fep OUT: YELLOW YELLOW
IN: dax dax OUT: PINK PINK
IN: kiki wif dax OUT: BLUE PINK
IN: dax kiki fep OUT: PINK BLUE BLUE
IN: kiki OUT: BLUE

*QUERY*
IN: dax wif dax OUT: PINK PINK
IN: kiki wif dax fep OUT: BLUE PINK PINK
IN: blicket lug OUT: RED YELLOW
IN: lug blicket wif kiki wif lug OUT: YELLOW RED BLUE YELLOW
IN: lug blicket OUT: YELLOW RED
IN: lug wif dax fep OUT: YELLOW PINK PINK
IN: blicket OUT: RED
IN: blicket zup kiki fep OUT: RED BLUE BLUE
IN: kiki lug zup blicket dax lug fep OUT: BLUE YELLOW RED PINK YELLOW YELLOW
IN: blicket fep OUT: RED RED

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