Assertion list for term "four solid corners".

Results from Ascent++: 1
box HasAfour solid corners 0.24