Assertion list for term "lock in the figure".

Results from Ascent++: 1
charlotte CapableOflock in the figure 0.29