Assertion list
attic (primary) → HasA
Results from Ascent++: 2
attic → HasA → wall 0.32
attic → HasA → window 0.32