Assertion list
jogger (primary) → HasProperty
Results from Ascent++: 3
jogger → HasProperty → comfortable 0.58
jogger → HasProperty → alert 0.49
jogger → HasProperty → perfect 0.24