AnswerEX2-b1
Jump to navigation
Jump to search
father-of-someone(paul,lisa) = true,
because
I(Paul) = <Paul>,
I(lisa) = <Lisa>
and
<Paul,Lisa> is in the set of I(father-of-someone).
father-of-someone(paul,lisa) = true,
because
I(Paul) = <Paul>,
I(lisa) = <Lisa>
and
<Paul,Lisa> is in the set of I(father-of-someone).