Assertion list
hp envy (subgroup of envy ) → IsA
Results from Ascent++: 2
hp envy → IsA → good printer 0.26
hp envy → IsA → great choice 0.16