cat = (| parent* = animal |)