((X father-of Y) (X _ parents-of Y)) ((X mother-of Y) (_ X parents-of Y)) ((X parent-of Y) (X father-of Y)) ((X parent-of Y) (X mother-of Y))