Assertion list
nan (primary) → HasProperty
Results from Ascent++: 2
nan → HasProperty → quiet 0.68
nan → HasProperty → strong 0.16