Assertion list for term "formed to be thinner".

Results from Ascent++: 1
thickness ReceivesActionformed to be thinner 0.25