Five Boys Walking Along The Shore, All Dressed In Shorts.
The boys are getting ready to go swimming.
Dressed in shorts does not mean getting ready to go swimming.
exists e1 x1 x2 x3.(n_shore(x3) & a_topic(x1) & along(e1,x3) & all x4.(n_thing(x4) -> exists e2 x5 x6.(rel(x3,x4) & in(e2,x6) & n_shorts(x6) & Theme(e2,x5) & v_dress(e2) & (x4 = x5))) & Actor(e1,x2) & v_walk(e1) & (x1 = x2) & n_boy(x1) & card_eq_5(x1))
exists e1 p1 x1.(n_boy(x1) & exists p2 s1.(Topic(s1,p2) & Actor(s1,x1) & a_ready(s1) & exists e2 x2.(Theme(e2,x2) & Actor(e2,x1) & v_go(e2) & n_swimming(x2))) & Topic(e1,p1) & Actor(e1,x1) & v_get(e1))