Assertion list for term "inner portion".

Results from Ascent++: 1
base HasAinner portion 0.28