Assertion list for term "used to record ownership".

Results from Ascent++: 1
ledger ReceivesActionused to record ownership 0.29