Assertion list
stripe (primary) → HasA
Results from Ascent++: 2
stripe → HasA → lattice point 0.41
stripe → HasA → n blocks of data 0.25