Assertion list for term "double the average height".
Results from Ascent++: 1
floor (aspect of building) → HasProperty → double the average height 0.25