Given that C1 is typed, his children, GC1 and GC2, are not crucial for imputing P. However, as a proof of principle, suppose C1 is not typed. At this locus, because GC1 and GC2 carry HA and HC respectively, they could be used to impute C1. The two haplotypes inferred this way agree completely with the actual genotypes of C1.
