A duck is standing on the street and the little boy is running toward it.
The boy runs towards the duck laughing
We can't infer the duck is laughing
exists e1 e2 s1 x1 x2 x3.(n_thing(x2) & n_boy(x3) & a_little(s1) & Theme(s1,x3) & n_street(x2) & toward(e2,x2) & Actor(e2,x3) & v_run(e2) & on(e1,x2) & Actor(e1,x1) & v_stand(e1) & n_duck(x1))
exists e1 e2 x1 x2.(n_duck(x2) & n_boy(x1) & for(e1,e2) & Actor(e2,x1) & v_laugh(e2) & towards(e1,x2) & Actor(e1,x1) & v_run(e1))