Assertion list
holy prophet (subgroup of prophet ) → HasA
Results from Ascent++: 1
holy prophet → HasA → physical son 0.25