(father (person ?x ?y) ?z)