Assertion list
toothpick (primary) → HasProperty
Results from Ascent++: 3
toothpick → HasProperty → clean 0.37
toothpick → HasProperty → careful 0.25
toothpick → HasProperty → effective 0.18