Assertion list
crate (primary) → Desires
Results from Ascent++: 1
crate → Desires → a binary 0.25