Assertion list for term "higher walls".
Results from Ascent++: 1
basement → HasA → higher walls 0.25