The stupendous power of the Tevatron made possible the 1995 discovery of the top quark - the last of six flavors of quarks predicted by the standard model theory of particle physics.
Tevatron was no longer used after this statement was written
( z1 use :ARG1 ( z2 product :name ( z3 name :op "Tevatron" ) ) :time ( z4 no-longer ) :time ( z5 after :op ( z6 write :ARG1 ( z7 thing :ARG1-of ( z8 state ) :mod ( z9 this ) ) ) ) )