Assertion list for term "define first thickness".

Results from Ascent++: 1
keel CapableOfdefine first thickness 0.31