Assertion list for term "form a lock loop".

Results from Ascent++: 1
wire CapableOfform a lock loop 0.30