Assertion list
reserve (primary) → SimilarTo
Results from Ascent++: 2
reserve → SimilarTo → free resources 0.33
reserve → SimilarTo → surplus 0.33