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