A Meta-System

• Load problem
• Execute ATP system
• Write status
• Command line
  my_tpi_system Meta.tpi 'E---1.8/eprover --auto $getgroups(tpi)' Simple.p

    tpi(1,input,$getargv(1)).
    tpi(2,execute,'SZS_VAR' = '$getargv(0)').
    tpi(3,write,'The SZS status is' & $getenv('SZS_VAR')).
    tpi(4,exit,exit).