Two men wearing a hat are holding on to their bikes.
Two men are with bikes.
If two men are holding on to their bikes, this means that the two men have bikes.
exists e1 e2 x1 x2 x3 x4.(r_on(e2) & to(e2,x4) & n_bike(x4) & of(x4,x1) & n_thing(x1) & Actor(e2,x1) & v_hold(e2) & Theme(e1,x3) & Actor(e1,x2) & v_wear(e1) & n_hat(x3) & (x1 = x2) & n_man(x1) & card_eq_2(x1))
exists p1 x1.(exists x2.(with(x1,x2) & n_bike(x2)) & n_man(x1) & card_eq_2(x1))