A group of three people pose for a picture with smile while another sits aside without smiling.
Four people about to run in the marathon are captured by the photograper.
Not all posing people are about to run in the marathon
exists e1 p1 x1 x2 x3 x4.(exists e2 s1 x5.(-exists e3.(manner(e2,e3) & Actor(e3,x5) & v_smile(e3)) & a_aside(s1) & Manner(e2,s1) & Actor(e2,x5) & v_sit(e2) & n_thing(x5)) & while(e1,p1) & for(e1,x3) & with(x3,x4) & n_smile(x4) & n_picture(x3) & Actor(e1,x1) & v_pose(e1) & of(x1,x2) & n_people(x2) & card_eq_3(x2) & n_group(x1))
exists e1 e2 p1 x1 x2 x3 x4.(n_photograper(x3) & n_marathon(x4) & Actor(e2,x3) & Theme(e2,x1) & v_capture(e2) & Topic(e1,p1) & Actor(e1,x2) & v_about(e1) & exists e3.(in(e3,x4) & Actor(e3,x2) & v_run(e3)) & (x1 = x2) & n_people(x1) & card_eq_4(x1))