Assertion list for term "a base of length".

Results from Ascent++: 1
parallelogram HasAa base of length 0.35