Two boys are riding their bikes on the street.
Two boys are going to school.
two boys riding bikes on the street does not infer they are going to school
exists e1 x1 x2 x3.(n_street(x3) & on(e1,x3) & Theme(e1,x2) & Actor(e1,x1) & v_ride(e1) & n_bike(x2) & of(x2,x1) & n_thing(x1) & n_boy(x1) & card_eq_2(x1))
exists e1 x1 x2.(to(e1,x2) & n_school(x2) & Actor(e1,x1) & v_go(e1) & n_boy(x1) & card_eq_2(x1))