Assertion list
leverage (primary) → AtLocation
Results from Ascent++: 1
leverage → AtLocation → cash 0.30