The dogs are begging at the kitchen counter.
The dogs are hungry.
The dogs are begging at the kitchen counter does not imply that they are hungry.
exists e1 x1 x2 x3.(n_counter(x2) & of(x2,x3) & n_kitchen(x3) & n_dog(x1) & at(e1,x2) & Actor(e1,x1) & v_beg(e1))
exists s1 x1.(n_dog(x1) & Theme(s1,x1) & a_hungry(s1))