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