Two dogs are bearing their teeth at each other.
Two dogs are fighting over food.
Dogs that are bearing their teeth at each other are not necessarily fighting over food.
exists e1 x1 x2.(all x3.(n_other(x3) -> at(e1,x3)) & Theme(e1,x2) & Actor(e1,x1) & v_bear(e1) & n_tooth(x2) & of(x2,x1) & n_thing(x1) & n_dog(x1) & card_eq_2(x1))
exists e1 x1 x2.(over(e1,x2) & n_food(x2) & Actor(e1,x1) & v_fight(e1) & n_dog(x1) & card_eq_2(x1))