Two men working in a bicycle shop.
Two men are fixing bikes for the kids.
The men could be working on anything, not necessarily fixing bikes. And can infer anything about the kids
exists e1 x1 x2 x3 x4.(a_topic(x1) & in(e1,x3) & n_shop(x3) & of(x3,x4) & n_bicycle(x4) & Actor(e1,x2) & v_work(e1) & (x1 = x2) & n_man(x1) & card_eq_2(x1))
exists e1 x1 x2 x3.(n_kid(x3) & Theme(e1,x2) & Actor(e1,x1) & v_fix(e1) & for(x2,x3) & n_bike(x2) & n_man(x1) & card_eq_2(x1))