Assertion list for term "retract into the body".

Results from Ascent++: 1
lens CapableOfretract into the body 0.53