%%%%% DIRECT UNDERCUT %%%%% % formula for direct undercut check checkDirectundercut(YF,iff(XF,neg(YF))) :- selected1(X), selected2(Y), as(X,claim,XF), as(Y,fs,YF). subformula(X) :- checkDirectundercut(_,X). % guess variable assignments for direct undercut check true(directundercut(K),X) | false(directundercut(K),X) :- atom(X), checkDirectundercut(K,_). attack :- ismodel(directundercut(K),X), checkDirectundercut(K,X).