Assertion list
early skyscraper (subgroup of skyscraper ) → HasA
Results from Ascent++: 1
early skyscraper → HasA → a steel frame 0.68