Assertion list
slayer (primary) → HasProperty
Results from Ascent++: 3
slayer → HasProperty → easy 0.16
slayer → HasProperty → good 0.16
slayer → HasProperty → the leanest 0.16