% Transitive tournament with 10 arguments
% argument
arg(a).arg(b).arg(c).arg(d).arg(e).arg(f).arg(g).arg(h).arg(i).arg(j).
% attacks
att(a,b). att(a,c). att(a,d). att(a,e). att(a,f). att(a,g). att(a,h). att(a,i). att(a,j). att(b,c). att(b,d). att(b,e). att(b,f). att(b,g). att(b,h). att(b,i). att(b,j). att(c,d). att(c,e). att(c,f). att(c,g). att(c,h). att(c,i). att(c,j). att(d,e). att(d,f). att(d,g). att(d,h). att(d,i). att(d,j). att(e,f). att(e,g). att(e,h). att(e,i). att(e,j). att(f,g). att(f,h). att(f,i). att(f,j). att(g,h). att(g,i). att(g,j). att(h,i). att(h,j). att(i,j).