Assertion list
fee (aspect of credit card ) → HasSubevent

Results from Ascent++: 1
feeHasSubevent any loss 0.25