Assertion list
successful campaign (subgroup of campaign ) → HasProperty
Results from Ascent++: 1
successful campaign → HasProperty → enhanced possible 0.16