Assertion list
wrasse (primary) → HasProperty
Results from Ascent++: 1
wrasse → HasProperty → active 0.38