Assertion list
job (aspect of treasurer ) → HasProperty
Results from Ascent++: 1
job → HasProperty → to make sure 0.25