Assertion list for term "vertical walls".
Results from Ascent++: 2
base → HasA → vertical walls 0.25
tent → HasA → vertical walls 0.25