premise: A surgeon is performing an open surgery.
hypothesis: A doctor is doing some kind of medical operation.
explanation_1: A surgeon is a doctor and if he is performing an open surgery then he is surely doing some kind of medical operation.
explanation_2: Surgery is a synonym for operation, and surgeon is a type of doctor.
explanation_3: A doctor is doing a surgery
premise_logic: exists e1 s1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_perform(e1) & n_surgery(x2) & a_open(s1) & Theme(s1,x2) & n_surgeon(x1))
hypothesis_logic: exists e1 s1 x1 x2 x3.(Theme(e1,x2) & Actor(e1,x1) & v_do(e1) & of(x2,x3) & n_operation(x3) & a_medical(s1) & Theme(s1,x3) & n_kind(x2) & n_doctor(x1))