Assertion list
cruciferous vegetable (subgroup of vegetable ) → IsA

Results from Ascent++: 1
cruciferous vegetableIsA vegetable 0.31