A white puppy is running on a tiled floor.
A puppy runs to the door to be let out.
the puppy running on the tiled floor does not imply he is to be let out.
exists e1 s1 s2 x1 x2.(on(e1,x2) & n_floor(x2) & a_tiled(s2) & Theme(s2,x2) & Actor(e1,x1) & v_run(e1) & n_puppy(x1) & a_white(s1) & Theme(s1,x1))
exists e1 p1 s1 s2 x1 x2.(n_door(x2) & a_out(s2) & Manner(e1,s2) & Actor(e1,x1) & v_let(e1) & to(x1,x2) & Topic(x2,p1) & exists p2 x3.((x2 = x3) & n_thing(x3)) & n_run(x1) & a_puppy(s1) & Theme(s1,x1))