Assertion list
giant sequoia (primary) → IsA
Results from Ascent++: 1
giant sequoia → IsA → the largest trees 0.51