Assertion list
spectacles (primary) → HasProperty
Results from Ascent++: 1
spectacles → HasProperty → fun 0.22