Assertion list for term "finite beginning".

Results from Ascent++: 1
universe HasAfinite beginning 0.36