Assertion list
depth charge (primary) → HasProperty
Results from Ascent++: 1
depth charge → HasProperty → effective 0.25