Assertion list
tennis racket (primary) → HasProperty
Results from Ascent++: 2
tennis racket → HasProperty → forgiving 0.16
tennis racket → HasProperty → perfect 0.16