A dog is being washed by two little girls.
The girls are near the dog.
The dog is being washed so the girls must be near the dog.
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 p1 x1 x2.(n_dog(x2) & n_girl(x1) & near(x1,x2))