Assertion list
chorizo (primary) → IsA
Results from Ascent++: 2
chorizo → IsA → sausage 0.47
chorizo → IsA → a pork sausage 0.41