Assertion list
over (primary) → HasProperty
Results from Ascent++: 1
over → HasProperty → effective 0.16