Assertion list for term "one start".

Results from Ascent++: 1
reed HasAone start 0.25