Assertion list
high elf (subgroup of elf ) → HasProperty
Results from Ascent++: 1
high elf → HasProperty → weak 0.59