Assertion list
young giraffe (subgroup of giraffe ) → HasProperty
Results from Ascent++: 1
young giraffe → HasProperty → vulnerable 0.59