A brown dog is in a blue tub, while one person holds his leash and another is soaping him.
The brown dog had gotten dirty earlier in the day.
Not all dogs being washed had gotten dirty earlier in the day.
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 s1 x1 x2 x3.(n_day(x3) & n_dog(x1) & a_brown(s1) & Theme(s1,x1) & in(e1,x3) & r_earlier(e1) & Theme(e1,x2) & Actor(e1,x1) & v_get(e1) & n_dirty(x2))