Assertion list
arm (aspect of gibbon ) → HasProperty
Results from Ascent++: 1
arm → HasProperty → long 0.25