Assertion list
paper check (subgroup of check ) → UsedFor
Results from Ascent++: 2
paper check → UsedFor → payment 0.62
paper check → UsedFor → deposit 0.51