Assertion list
raw spinach (subgroup of spinach ) → IsA
Results from Ascent++: 1
raw spinach → IsA → the best way 0.16