If Carabobo wins the Portuguesa vs Carabobo professional Venezuela Liga FUTVE soccer game originally scheduled for Jul 31, 2026 after 90 minutes plus stoppage time (does not include extra time or penalties), then the market resolves to Yes.