set(auto). clear(print_given). assign(max_seconds,7). assign(max_distinct_vars,2). assign(max_literals,1). include("booleanAx.txt"). include("peirceanAx0.txt"). include("peirceanAx2.txt"). include("iDef.txt"). % inclusione definita attraverso l'unione include("nDef.txt"). include("uzDef.txt"). include("dDef.txt"). include("i.txt").