Assertion list for term "documented with receipt".

Results from Ascent++: 1
deduction ReceivesActiondocumented with receipt 0.45