Three dogs play with a Frisbee in a snowy field.
the frisbee is being thrown for them
It cannot be inferred that the frisbee is being thrown. It is possible that the dogs are playing with it amongst themselves.
exists e1 s1 x1 x2 x3.(with(e1,x2) & in(x2,x3) & n_field(x3) & a_snowy(s1) & Theme(s1,x3) & n_frisbee(x2) & Actor(e1,x1) & v_play(e1) & n_dog(x1) & card_eq_3(x1))
exists e1 x1.(n_thing(x1) & n_frisbee(x1) & for(e1,x1) & Theme(e1,x1) & v_throw(e1))