If Otto Lopez leads Pro Baseball in batting average for the 2026 regular season, then the market resolves to Yes.
No similar markets for sports & price markets.