Assertion list
payment surcharge (subgroup of surcharge ) → HasProperty
Results from Ascent++: 1
payment surcharge → HasProperty → excessive 0.59