Assertion list
giant sequoia (primary) → HasA
Results from Ascent++: 1
giant sequoia → HasA → tunnel 0.31