Assertion list
spaghetti (primary) → IsA
Results from Ascent++: 1
spaghetti → IsA → long, thin, solid, cylindrical … 0.29