Assertion list
fingertip (primary) → HasProperty
Results from Ascent++: 2
fingertip → HasProperty → sensitive 0.33
fingertip → HasProperty → red 0.16