Assertion list
honor widow (subgroup of widow ) → IsA
Results from Ascent++: 1
honor widow → IsA → widow 0.68