lab = (| parent* = dog |)