remove all -> to make [[n,add0],[[v,a],[v,b]],":-", [[[n,add2],[[v,a],[v,c]]], [[n,=],[[v,c],[v,b]]]]], appear in V