Assertion list
basement (primary) → AtLocation
Results from Ascent++: 2
basement → AtLocation → a single-family home 0.36
basement → AtLocation → ground level 0.34