A brown dog is in a blue tub, while one person holds his leash and another is soaping him.
The dogs enjoys the wash.
Not all dogs in the tub enjoys the wash.
exists p1 p2 s1 x1 x4.(exists e1 e2 x1 x3 x5.(Theme(e2,x1) & Actor(e2,x5) & v_soap(e2) & n_male(x1) & n_thing(x5) & Theme(e1,x4) & Actor(e1,x3) & v_hold(e1) & n_person(x3) & card_eq_1(x3)) & n_leash(x4) & of(x4,x1) & n_male(x1) & while(p1,p2) & exists s2 x2.(in(x1,x2) & n_tub(x2) & a_blue(s2) & Theme(s2,x2)) & n_dog(x1) & a_brown(s1) & Theme(s1,x1))
exists e1 x1 x2.(n_wash(x2) & n_dog(x1) & Theme(e1,x2) & Actor(e1,x1) & v_enjoy(e1))