Assertion list for term "enormous size".

Results from Ascent++: 1
universe HasAenormous size 0.30