Assertion list
flash card (primary) → HasProperty
Results from Ascent++: 4
flash card → HasProperty → useful 0.59
flash card → HasProperty → large 0.28
flash card → HasProperty → fun 0.16
flash card → HasProperty → perfect 0.16