Different Axioms and Conjectures

• Input axioms, store axiom group, execute self
• Delete axiom group, store axioms, execute self
• Exit

    tpi(1,input,'Axioms/SYN001+1.ax').
    tpi(2,start_group,try_these).
    fof(another,axiom,q).
    fof(a,conjecture,qq).
    tpi(3,end_group,try_these).
    tpi(4,execute,self).
    tpi(5,delete_group,try_these).
    fof(yet_another,axiom,r).
    fof(and_another,conjecture,rr).
    tpi(6,execute,self).
    tpi(7,exit,exit).