WASHINGTON _ The winning numbers in Tuesday afternoon's drawing of the Dist. of Columbia Lottery's "DC 5 Midday" game were: 7-4-8-8-9 (seven, four, eight, eight, nine) Copyright 2018 The Associated Press. All rights reserved. This material may not be published, broadcast, rewritten or redistributed.
The sum of the winning numbers is 100
The sum of the winning numbers is not 100, I think the model is unable to add numbers together.
( z1 sum-of :op 100 :op ( z2 number :quant-of ( z3 win ) ) )