Assertion list for term "the largest volume among cuboids".

Results from Ascent++: 1
cube HasAthe largest volume among cuboids 0.24