Assertion list
fund (primary) → AtLocation
Results from Ascent++: 3
fund → AtLocation → the account 0.55
fund → AtLocation → deficit 0.37
fund → AtLocation → the market 0.37