A child, carrying a closed blue umbrella, is walking with another child who is under a yellow umbrella, on a muddy path.
The children were outdoors an hour after it rained.
You cannot infer that the children in Sentence 1 were outdoors an hour after it rained because they are still under umbrellas. You can only infer that it is still raining because they are both walking under the yellow umbrella.
exists e1 e2 p1 s1 s2 s3 x1 x2 x3 x4 x5.(for(e1,e2) & Theme(e2,x5) & Actor(e2,x1) & v_carry(e2) & n_umbrella(x5) & a_blue(s3) & Theme(s3,x5) & a_closed(s2) & Theme(s2,x5) & with(e1,x2) & on(p1,x4) & n_path(x4) & a_muddy(s1) & Theme(s1,x4) & exists s4 x6.(under(x3,x6) & n_umbrella(x6) & a_yellow(s4) & Theme(s4,x6)) & (x2 = x3) & n_child(x2) & -(x2 = x1) & n_child(x1) & n_child(x1) & Actor(e1,x1) & v_walk(e1))
exists p1 p2 x1.(n_thing(x1) & n_child(x1) & exists e1.(Actor(e1,x1) & v_rain(e1)) & after(p1,p2) & all x2.(n_hour(x2) -> exists x3.((x1 = x3) & for(x3,x2) & n_outdoors(x3))))