Assertion list
walk basement (subgroup of basement ) → HasProperty
Results from Ascent++: 1
walk basement → HasProperty → unfinished 0.38