Five men repairing mountain bikes.
Five men are using wrenches on mountain bikes
The men might be using screwdrivers or hammers and don't necessarily have to be employing wrenches right now.
exists e1 x1 x2 x3 x4.(a_topic(x1) & Theme(e1,x3) & Actor(e1,x2) & v_repair(e1) & n_bike(x3) & of(x3,x4) & n_mountain(x4) & (x1 = x2) & n_man(x1) & card_eq_5(x1))
exists e1 x1 x2 x3 x4.(on(e1,x3) & n_bike(x3) & of(x3,x4) & n_mountain(x4) & Theme(e1,x2) & Actor(e1,x1) & v_use(e1) & n_wrench(x2) & n_man(x1) & card_eq_5(x1))