Assertion list for term "inner part".

Results from Ascent++: 1
lead HasAinner part 0.27