Assertion list
proposed budget (subgroup of budget ) → HasProperty
Results from Ascent++: 3
proposed budget → HasProperty → realistic 0.42
proposed budget → HasProperty → consistent 0.31
proposed budget → HasProperty → higher 0.25