Assertion list
lantern (primary) → UsedFor
Results from Ascent++: 1
lantern → UsedFor → other celebrations 0.25