Assertion list
clean room (primary) → HasProperty
Results from Ascent++: 2
clean room → HasProperty → free 0.30
clean room → HasProperty → helpful 0.16