“WTI hits $90 but not $95”

This trader is expressing a view that Will WTI Crude Oil (WTI) hit (HIGH) $95 in August?, Will WTI Crude Oil (WTI) hit (HIGH) $80 in August?, Will WTI Crude Oil (WTI) hit (HIGH) $85 in August?, and 1 more are correlated outcomes, committing $18,551 to this thesis across 4 prediction markets on Polymarket.