Assertion list
arm (aspect of gorilla ) → HasProperty
Results from Ascent++: 2
arm → HasProperty → shorter 0.31
arm → HasProperty → long 0.25