Assertion list
euro (primary) → HasSubevent
Results from Ascent++: 1
euro → HasSubevent → drop 0.25