Assertion list
cookbook (primary) → IsA
Results from Ascent++: 1
cookbook → IsA → book 0.55