Three surgeons operate on a patient while wearing magnifying lenses on their safety glasses.
Three surgeons are working.
The surgeons that are operating on the patient are working.
exists e1 e3 e2 x1 x2 x3 x4 x5.(while(e1,e3) & Theme(e3,x3) & Actor(e3,x1) & v_wear(e3) & on(x3,x4) & n_glass(x4) & of(x4,x5) & n_safety(x5) & of(x4,x1) & n_thing(x1) & n_lens(x3) & Actor(e2,x3) & v_magnify(e2) & on(e1,x2) & n_patient(x2) & Actor(e1,x1) & v_operate(e1) & n_surgeon(x1) & card_eq_3(x1))
exists e1 x1.(Actor(e1,x1) & v_work(e1) & n_surgeon(x1) & card_eq_3(x1))