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