Assertion list for term "go into the lock".

Results from Ascent++: 1
key CapableOfgo into the lock 0.43