dog = (| parent* = animal |)