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