Assertion list
conch (primary) → HasProperty
Results from Ascent++: 1
conch → HasProperty → fresh 0.16