Assertion list for term "fractional side lengths".

Results from Ascent++: 1
rectangular prism (subgroup of prism) HasAfractional side lengths 0.68