Assertion list
table tennis (primary) → HasProperty
Results from Ascent++: 2
table tennis → HasProperty → fun 0.40
table tennis → HasProperty → challenging 0.32