Assertion list for term "u-shaped portion".
Results from Ascent++: 1
receiver → HasA → u-shaped portion 0.25