Assertion list
skyscraper (primary) → MadeOf
Results from Ascent++: 3
skyscraper → MadeOf → steel 0.54
skyscraper → MadeOf → concrete 0.54
skyscraper → MadeOf → glass 0.40