Assertion list
budget (aspect of agency ) → AtLocation
Results from Ascent++: 2
budget → AtLocation → deficit 0.28
budget → AtLocation → surplus 0.25