Three female marathon runners, jumping at the finish line on a closed highway.
The female marathon runners are not wearing any shoes.
It is common practice for marathon runners to wear shoes, not wearing any shoes would not be assumed to be the case.
exists e1 s1 s2 x1 x2 x3 x4 x5.(n_line(x3) & of(x3,x4) & n_finish(x4) & on(e1,x5) & n_highway(x5) & a_closed(s2) & Theme(s2,x5) & at(e1,x3) & Actor(e1,x1) & v_jump(e1) & n_runner(x1) & of(x1,x2) & n_marathon(x2) & a_female(s1) & Theme(s1,x1) & card_eq_3(x1))
exists s1 x1 x2.(n_runner(x1) & of(x1,x2) & n_marathon(x2) & a_female(s1) & Theme(s1,x1) & -all x3.(n_shoe(x3) -> exists e1.(Theme(e1,x3) & Actor(e1,x1) & v_wear(e1))))