set(auto).
clear(print_given).

assign(max_literals,1).

include("booleanAx.txt").

include("peirceanAx0.txt").

include("peirceanAx1.txt").

include("peirceanAx2.txt").

include("iDef.txt").

include("nDef.txt").

include("uzDef.txt").

include("dDef.txt").

include("ix_a.txt").
include("ix_b.txt").