Assertion list for term "exceed at least twice the thickness".

Results from Ascent++: 1
width CapableOfexceed at least twice the thickness 0.25