all x all y (Surgeon(x) ^ ~Parent(x,y)) <-> Operate(x,y)
all x all y Parent(x,y) <-> (Father(x,y) v Mother(x,y))
~Operate(A,S)
Surgeon(A)
~Father(A,S)
~Mother(A,S)