Assertion list
high priest (subgroup of priest ) → HasProperty
Results from Ascent++: 2
high priest → HasProperty → weak 0.49
high priest → HasProperty → the only one 0.45