Assertion list for term "retract the bolt".

Results from Ascent++: 1
lever CapableOfretract the bolt 0.41