If at least 1 extra inning is played in the Texas vs Arizona professional baseball game originally scheduled for Sep 12, 2026 at 8:10 PM EDT, then the market resolves to Yes.