Assertion list
life (aspect of gibbon ) → HasProperty

Results from Ascent++: 2
lifeHasProperty short 0.42
lifeHasProperty precarious 0.25