The bet, which won him dinner for four, was regarding the existence and mass of the top quark, an elementary particle discovered in 1995.
He lost the bet
( z1 lose :ARG0 ( z2 he ) :ARG1 ( z3 bet :ARG0 z2 ) )