Assertion list
solitaire (primary) → HasProperty
Results from Ascent++: 3
solitaire → HasProperty → fun 0.23
solitaire → HasProperty → simple 0.23
solitaire → HasProperty → addicting 0.16