Assertion list for term "bolt through the door".

Results from Ascent++: 1
lever CapableOfbolt through the door 0.40