Two dogs fighting for the same chew toy.
Two dogs looking at the same toy.
If the dogs are fighting for the toy, then they must be looking at it.
exists e2 e1 x1 x2 x3 x4.(n_same(x3) & Theme(e2,x4) & Actor(e2,x1) & v_chew(e2) & n_toy(x4) & for(e1,x3) & Actor(e1,x2) & v_fight(e1) & (x1 = x2) & n_dog(x1) & card_eq_2(x1))
exists e1 s1 x1 x2.(n_toy(x2) & a_same(s1) & Theme(s1,x2) & at(e1,x2) & Actor(e1,x1) & v_look(e1) & n_dog(x1) & card_eq_2(x1))