A dog is being washed by two little girls.
The dog is splashing in the tub.
Just because the dog is being washed doesn't mean the dog is splashing in the tub.
exists e1 s1 x1 x2.(Actor(e1,x2) & n_girl(x2) & a_little(s1) & Theme(s1,x2) & card_eq_2(x2) & Theme(e1,x1) & v_wash(e1) & n_dog(x1))
exists e1 x1 x2.(n_tub(x2) & n_dog(x1) & in(e1,x2) & Actor(e1,x1) & v_splash(e1))