Two dogs are shaking themselves dry on the path next to the water.
Two dogs are quietly chewing on their bones.
One cannot be simultaneously shaking dry and chewing on bones.
exists e1 p1 x1 x2 x3 x4.(n_water(x4) & n_path(x3) & n_group(x2) & to(e1,x4) & r_next(e1) & on(e1,x3) & exists s1.(Theme(s1,x2) & a_dry(s1)) & Recipient(e1,p1) & Actor(e1,x1) & Topic(e1,x2) & v_shake(e1) & n_dog(x1) & card_eq_2(x1))
exists e1 s1 x1 x2.(a_quietly(s1) & Manner(e1,s1) & on(e1,x2) & n_bone(x2) & of(x2,x1) & n_thing(x1) & Actor(e1,x1) & v_chew(e1) & n_dog(x1) & card_eq_2(x1))