SACRAMENTO (AP) _ The winning numbers in Saturday evening”s drawing of the California Lottery”s “Daily Derby” game were: 1st:6 Whirl Win-2nd:2 Lucky Star-3rd:4 Big Ben, Race Time: 1:48.57 (1st: 6 Whirl Win, 2nd: 2 Lucky Star, 3rd: 4 Big Ben; Race Time: one: 48.57) Estimated jackpot: $95,000 ¶ To win the grand prize, ticket-holders must match in exact order the winning race time and the first, second and third place horses. Lesser prizes are given to ticket-holders who correctly match other horses or race times.
Grand prize winners must correctly predict the first three horse race winners 
That’s what the blurb says they have to do 
( z0 obligate :ARG2 ( z1 predict :ARG0 ( z2 person :ARG0-of ( z3 win :ARG1 ( z4 prize :mod ( z5 grand ) ) ) ) :ARG1 ( z6 person :quant 3 :ARG0-of ( z7 win :ARG1 ( z8 race :ARG3 ( z9 horse ) ) ) :ord ( z10 ordinal-entity :value 1 ) ) :ARG1-of ( z11 correct ) ) )
(z0 / obligate-01
    :ARG2 (z1 / predict-01
              :ARG0 (z2 / person
                        :ARG0-of (z3 / win-01
                                     :ARG1 (z4 / prize
                                               :mod (z5 / grand))))
              :ARG1 (z6 / person
                        :quant 3
                        :ARG0-of (z7 / win-01
                                     :ARG1 (z8 / race-02
                                               :ARG3 (z9 / horse)))
                        :ord (z10 / ordinal-entity
                                  :value 1))
              :ARG1-of (z11 / correct-02)))
Grand prize winners must correctly predict the first three horse race winners
z4 :mod z5
z2 :ARG0-of z3
z3 :ARG1 z4
z1 :ARG1-of z11
z0 :ARG2 z1
z1 :ARG0 z2
z10 :value 0
z8 :ARG3 z9
z6 :quant 1
z6 :ord z10
z1 :ARG1 z6
z6 :ARG0-of z7
z7 :ARG1 z8