%% background knowledge

parent(a,b).
parent(a,c).
parent(c,e).
parent(c,f).
parent(d,c).
parent(g,h).