Assertion list
dandy (primary) → HasProperty
Results from Ascent++: 2
dandy → HasProperty → sure 0.25
dandy → HasProperty → confident 0.24