Assertion list
spice (primary) → UsedFor
Results from Ascent++: 2
spice → UsedFor → coloring 0.40
spice → UsedFor → preserving 0.37