unapply

ClassAtom DifferentIndividualsAtom IndividualArg ObjectPropertyAtom SameIndividualAtom Variable