Assertion list
basement (primary) → DefinedAs
Results from Ascent++: 1
basement → DefinedAs → being full, full 0.27