Assertion list
walrus (primary) → HasProperty
Results from Ascent++: 3
walrus → HasProperty → important 0.36
walrus → HasProperty → large 0.31
walrus → HasProperty → long-lived 0.31