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.
The Tevatron is a computer
It's unknown what a Tevatron is
( z1 computer :domain ( z2 product :name ( z3 name :op "Tevatron" ) ) )