If Lane Johnson announces his retirement from the NFL before the 2028-29 NFL season start date, then the market resolves to Yes.
No similar markets for sports & price markets.