FermiLab's goal is to ensure that if a program runs and is certified on RedHat Enterprise, then it will run on the corresponding Fermi Linux LTS release. They have built Fermi Linux LTS for Fermilab's use, and that is their ultimate goal.
They've succeeded in their aims.
They built the system that is their goal.
( z0 succeed :ARG0 ( z1 they ) :ARG1 ( z2 aim :ARG0 z1 ) )
(z0 / succeed-01
    :ARG0 (z1 / they)
    :ARG1 (z2 / aim-01
              :ARG0 z1))
They 've succeeded in their aims .
z0 :ARG0 z1
z0 :ARG1 z2
z2 :ARG0 z1