Assertion list
microwave popcorn (subgroup of popcorn ) → HasProperty
Results from Ascent++: 1
microwave popcorn → HasProperty → expensive 0.16