Assertion list for term "form the base of truncated cone".

Results from Ascent++: 1
base CapableOfform the base of truncated cone 0.25