Showdown<br>Bill and Ted were very competitive friends. Each thought he was the best at thumb wrestling. They planned a championship game and invited friends. Friends drank beer and watched the epic night. After 10 minutes, Ted won, breaking Bill's thumb.
If Bill has more than one thumb, one of them is broken.
Though we do not know if Bill has more than one thumb, it is correct to say that one of them would be broken.  The statement is definitely correct.
( z1 break :ARG1 ( z2 thumb :quant 1 :ARG1-of ( z3 include :ARG2 ( z4 thumb ) ) ) :condition ( z5 have :ARG0 ( z6 person :name ( z7 name :op "Bill" ) ) :ARG1 ( z8 thumb :quant ( z9 more-than :op 1 ) ) ) )