NASA / CR-2001-211024 Theory Interpretations in PVS