Assertion list
creditor (primary) → Desires
Results from Ascent++: 1
creditor → Desires → their money 0.50