Three surgeons operate on a patient while wearing magnifying lenses on their safety glasses.
Three lumberjacks are performing surgery.
The people performing the surgery cannot be surgeons if they are lumberjacks.
exists e1 e2 e3 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 x2.(Theme(e1,x2) & Actor(e1,x1) & v_perform(e1) & n_surgery(x2) & n_lumberjack(x1) & card_eq_3(x1))