Assertion list
cheddar (primary) → IsA
Results from Ascent++: 1
cheddar → IsA → hard, natural cheese 0.47