If Porto wins the Porto vs SL Benfica professional Liga Portugal soccer game originally scheduled for Sep 20, 2026 after 90 minutes plus stoppage time (does not include extra time or penalties), then the market resolves to Yes.