Assertion list
dye (primary) → AtLocation
Results from Ascent++: 1
dye → AtLocation → vitamin 0.16