The bet, which won him dinner for four, was regarding the existence and mass of the top quark, an elementary particle discovered in 1995.
The top quark exists.
It says that the particle was discovered in 1995, so it certainly exists. Maybe the system did not consider the last sentence to be related?
( z1 exist :ARG1 ( z2 quark :mod ( z3 top ) ) )