Assertion list for term "comprise annular upper surface".

Results from Ascent++: 1
base CapableOfcomprise annular upper surface 0.32