Assertion list for term "a number t".

Results from Ascent++: 1
line HasAa number t 0.35