Assertion list
sale (aspect of sheriff ) → HasA
Results from Ascent++: 1
sale → HasA → same effect 0.25