Assertion list for term "provide first surface of the sheet".

Results from Ascent++: 1
ply CapableOfprovide first surface of the sheet 0.25