Assertion list for term "reach required strength".

Results from Ascent++: 1
concrete CapableOfreach required strength 0.32