Assertion list for term "16 floors".

Results from Ascent++: 1
tower HasA16 floors 0.33