Assertion list
giant sequoia (primary) → HasProperty
Results from Ascent++: 1
giant sequoia → HasProperty → shorter 0.38