Assertion list
eight (primary) → HasProperty
Results from Ascent++: 1
eight → HasProperty → forty 0.25