Assertion list for term "narrow towards the base".

Results from Ascent++: 1
handle CapableOfnarrow towards the base 0.29