Assertion list for term "test the lock".

Results from Ascent++: 1
member (aspect of union) CapableOftest the lock 0.25