Assertion list
employer (aspect of butler ) → HasProperty
Results from Ascent++: 1
employer → HasProperty → liable 0.68