Assertion list
survival kit (subgroup of kit ) → HasProperty
Results from Ascent++: 1
survival kit → HasProperty → small 0.59