Read the file "English/reasoning/family/family definition".
John is a father.
Anna is a mother.
#Dev## Two extra checks
#Dev#John has 3 children.
#Dev#Anna has 3 children.
John is the father and Anna is the mother of Paul, Joe and Laura.
#Dev#Display the justification report about Paul.
Paul is a son.
#Dev#Display the justification report about Paul.
Paul is a son of John and Anna.
#Dev#Display the justification report about Paul.
# To continue, click button «Clear your mind.» or «Restart.».