Assertion list
bookend (primary) → HasProperty
Results from Ascent++: 1
bookend → HasProperty → heavy 0.68