Assertion list for term "13 floors".

Results from Ascent++: 1
tower HasA13 floors 0.25