Assertion list
thirty (primary) → HasProperty
Results from Ascent++: 1
thirty → HasProperty → worthy 0.25