parent(mary, marc).
parent(john, mary).
parent(tom, john).