Assertion list for term "press against the annulus".

Results from Ascent++: 1
nucleus CapableOfpress against the annulus 0.35