Assertion list
skyscraper (primary) → DefinedAs

Results from Ascent++: 1
skyscraperDefinedAs building 0.40