Assertion list
dune (primary) → IsA
Results from Ascent++: 1
dune → IsA → book 0.46