A surgery being performed by two surgeons who are operating being a pale blue sheet.
Two doctors are having lunch at the cafe.
People cannot be both performing surgery and having lunch at the same time.
exists e1 e2 p1 x1 x2 x3 x4.(a_topic(x1) & Actor(e1,x3) & for(e2,p1) & exists s1 s2 x5.((x4 = x5) & n_sheet(x5) & a_blue(s2) & Theme(s2,x5) & a_pale(s1) & Theme(s1,x5)) & Actor(e2,x4) & v_operate(e2) & (x3 = x4) & n_surgeon(x3) & card_eq_2(x3) & Theme(e1,x2) & v_perform(e1) & (x1 = x2) & n_surgery(x1))
exists e1 x1 x2 x3.(n_cafe(x3) & at(e1,x3) & Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & n_lunch(x2) & n_doctor(x1) & card_eq_2(x1))