Assertion list for term "double walls".
Results from Ascent++: 1
fortress → HasA → double walls 0.28