Assertion list for term "the height of each floor".

Results from Ascent++: 1
waterfall HasAthe height of each floor 0.27