Assertion list for term "cover lower surface of the board".

Results from Ascent++: 1
shell CapableOfcover lower surface of the board 0.25