Two men surrounded by several bicycles repairing them.
The men are not doing anything.
Two man are either repairing bikes or not doing anything.
exists e1 e2 s1 x1 x2 x3 x4.(a_topic(x1) & Actor(e1,x3) & Theme(e2,x1) & Actor(e2,x4) & v_repair(e2) & n_thing(x1) & (x3 = x4) & n_bicycle(x3) & a_several(s1) & Theme(s1,x3) & Theme(e1,x2) & v_surround(e1) & (x1 = x2) & n_man(x1) & card_eq_2(x1))
exists x1.(n_man(x1) & -all x2.(n_thing(x2) -> exists e1.(Theme(e1,x2) & Actor(e1,x1) & v_do(e1))))