Assertion list
doped semiconductor (subgroup of semiconductor ) → HasA

Results from Ascent++: 1
doped semiconductorHasA excess holes 0.68