Assertion list
gloom (primary) → HasProperty
Results from Ascent++: 2
gloom → HasProperty → weak 0.25
gloom → HasProperty → overdone 0.16