Assertion list
crate (primary) → IsA
Results from Ascent++: 2
crate → IsA → wonderful thing 0.23
crate → IsA → bad thing 0.16