Assertion list for term "expand section".

Results from Ascent++: 1
arrow CapableOfexpand section 0.25