Assertion list
crush (primary) → HasA
Results from Ascent++: 1
crush → HasA → outside wall 0.52