Assertion list for term "double the thickness of the gauge".

Results from Ascent++: 1
sheet CapableOfdouble the thickness of the gauge 0.25