Assertion list
right knee (subgroup of knee ) → HasProperty
Results from Ascent++: 1
right knee → HasProperty → sore 0.16