% gender(X,Y): person Y is of gender X
gender(male,george).
gender(male,henry).
gender(male,edward).
gender(male,luke).
gender(male,gregory).
gender(male,philip).
gender(male,antony).
gender(male,edward).
gender(male,charles).
gender(male,mark).
gender(male,andrew).
gender(male,william).
gender(female,mary).
gender(female,alice).
gender(female,wallis).
gender(female,elizabeth).
gender(female,allison).
gender(female,judy).
gender(female,margaret).
gender(female,sophie).
gender(female,martha).
gender(female,anne).
gender(female,sarah).
gender(female,heather).

% parent(X,Y): parent X begat child Y
parent(george,henry).
parent(george,edward).
parent(george,luke).
parent(george,allison).
parent(luke,judy).
parent(luke,margaret).
parent(philip,charles).
parent(philip,anne).
parent(philip,andrew).
parent(charles,william).
parent(charles,heather).
parent(mary,henry).
parent(mary,edward).
parent(mary,luke).
parent(mary,allison).
parent(elizabeth,judy).
parent(elizabeth,margaret).
parent(judy,charles).
parent(judy,anne).
parent(judy,andrew).
parent(martha,william).
parent(martha,heather).