Assertion list
holy prophet (subgroup of prophet ) → HasProperty
Results from Ascent++: 2
holy prophet → HasProperty → ill 0.38
holy prophet → HasProperty → happy 0.16