Assertion list for term "make under subsection".

Results from Ascent++: 1
order CapableOfmake under subsection 0.54