Here is a man who is protesting against bottled water.
The man enjoys bottled water.
The man can't be protesting against bottled water if he enjoys it.
exists e1 s1 s2 x1 x2 x3.(Theme(s2,x1) & a_here(s2) & against(e1,x3) & n_water(x3) & a_bottled(s1) & Theme(s1,x3) & Actor(e1,x2) & v_protest(e1) & (x1 = x2) & n_man(x1))
exists e1 s1 x1 x2.(n_man(x1) & Theme(e1,x2) & Actor(e1,x1) & v_enjoy(e1) & n_water(x2) & a_bottled(s1) & Theme(s1,x2))