Assertion list
rectangular prism (subgroup of prism ) → HasA
Results from Ascent++: 1
rectangular prism → HasA → fractional side lengths 0.68