grandfather receives whole of the pairs from each child
grandpa_whose_kids has not had_kids grandfather_and_grandmother is grandparents. grandfather_and_grandmother is not grandparents. child is descendant. grandpa_whose_kids has had_kids male_grandparent is grandfather. grandchild is child's_child. grandson is grandchild.