Assertion list
favorite junk food (subgroup of junk food ) → IsA
Results from Ascent++: 1
favorite junk food → IsA → chip 0.59