%%%%% CANONICAL UNDERCUT %%%%% % formula for canonical undercut check checkCundercut(iff(XF,neg(YF))) :- selected1(X), selected2(Y), as(X,claim,XF), support(Y,YF). subformula(X) :- checkCundercut(X). % guess variable assignments for canonical undercut check true(cundercut,X) | false(cundercut,X) :- atom(X). attack :- ismodel(cundercut,X), checkCundercut(X).