XSB/packages/altCDF/mknf/tests/ex_disj
