Assertion list for term "cover 10 j".

Results from Ascent++: 1
thickness CapableOfcover 10 j 0.25