Assertion list for term "executed by the creditor".

Results from Ascent++: 1
proof ReceivesActionexecuted by the creditor 0.30