Assertion list for term "return under section".

Results from Ascent++: 1
information (aspect of certificate) CapableOfreturn under section 0.29