Assertion list
arm (aspect of monkey ) → HasProperty
Results from Ascent++: 2
arm → HasProperty → long 0.25
arm → HasProperty → sore 0.16