Assertion list for term "two rectangles".

Results from Ascent++: 1
sign HasAtwo rectangles 0.46