Assertion list
frozen vegetable (subgroup of vegetable ) → IsA
Results from Ascent++: 1
frozen vegetable → IsA → flash-frozen 0.24