Assertion list
public benefit (subgroup of benefit ) → HasProperty
Results from Ascent++: 1
public benefit → HasProperty → small 0.16