Two dogs are shown with only their tails and backsides as they dig in the dirt.
The dogs are doing backsides
Dogs with only their tails and backsides showing are not necessarily doing backsides.
exists e1 p1 x1 x2 x3 x4 x5 x7.(n_dirt(x7) & exists e2.(in(e2,x7) & Actor(e2,x1) & v_dig(e2)) & n_thing(x1) & n_thing(x1) & as(e1,p1) & all x6.(with(e1,x6) -> (x2 = x6)) & (x2 = x3) & with(e1,x3) & n_backside(x5) & n_tail(x4) & subset_of(x5,x3) & subset_of(x4,x3) & of(x3,x1) & Theme(e1,x1) & v_show(e1) & n_dog(x1) & card_eq_2(x1))
exists e1 x1 x2.(n_dog(x1) & Theme(e1,x2) & Actor(e1,x1) & v_do(e1) & n_backside(x2))