Assertion list for term "a +".
Results from Ascent++: 1
poll → HasA → a + 0.27