Assertion list for term "hold 23,000 lbs".

Results from Ascent++: 1
cable CapableOfhold 23,000 lbs 0.25