Two people are riding bikes beside train tracks.
Two people ride their bikes next to the train tracks while checking to make sure it is safe to cross
Riding bikes beside tracks does not imply they are checking to make sure it is safe to cross.
exists e1 x1 x2 x3 x4.(beside(e1,x3) & n_track(x3) & of(x3,x4) & n_train(x4) & Theme(e1,x2) & Actor(e1,x1) & v_ride(e1) & n_bike(x2) & n_people(x1) & card_eq_2(x1))
exists e1 e2 p1 x1 x2 x3 x4.(n_track(x3) & of(x3,x4) & n_train(x4) & while(e1,e2) & Topic(e2,p1) & Actor(e2,x1) & v_check(e2) & exists e3 p2.(exists e4 p3.(exists p4 s1.(Topic(s1,p4) & exists e5 x5.(Actor(e5,x5) & v_cross(e5)) & Theme(s1,x1) & a_safe(s1)) & Topic(e4,p3) & Actor(e4,x1) & v_sure(e4)) & Topic(e3,p2) & Actor(e3,x1) & v_make(e3)) & n_thing(x1) & n_thing(x1) & to(e1,x3) & r_next(e1) & Theme(e1,x2) & Actor(e1,x1) & v_ride(e1) & n_bike(x2) & of(x2,x1) & n_people(x1) & card_eq_2(x1))