Assertion list
epicenter (primary) → HasProperty
Results from Ascent++: 2
epicenter → HasProperty → underwater 0.31
epicenter → HasProperty → closer 0.22