Assertion list
cesspool (primary) → HasProperty
Results from Ascent++: 1
cesspool → HasProperty → full 0.30