A dog is being washed by two little girls.
A dog is being washed by two little girls after it ran through mud.
We cannot infer the dog is being washed because it ran through mud.
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 p1 s1 x1 x2.(exists e2 x3.(through(e2,x3) & n_mud(x3) & Actor(e2,x1) & v_run(e2)) & n_thing(x1) & after(e1,p1) & 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))