/test/regress/regress0/tptp/Axioms/
../
BOO004-0.ax
SYN000+0.ax
SYN000-0.ax
SYN000_0.ax