Assertion list
alveolus (primary) → HasA
Results from Ascent++: 1
alveolus → HasA → wall 0.38