If at least 1 extra inning is played in the Cincinnati vs Milwaukee professional baseball game originally scheduled for Sep 13, 2026 at 2:10 PM EDT, then the market resolves to Yes.