Assertion list
avenue (primary) → HasA
Results from Ascent++: 2
avenue → HasA → theater 0.25
avenue → HasA → up to seven lanes 0.25