%%%%% DIRECT DEFEAT %%%%% % formula for direct defeat check checkDirectdefeat(YF,imp(XF,neg(YF))) :- selected1(X), selected2(Y), as(X,claim,XF), as(Y,fs,YF). subformula(X) :- checkDirectdefeat(_,X). % guess variable assignments for direct defeat check true(directdefeat(K),X) | false(directdefeat(K),X) :- atom(X), checkDirectdefeat(K,_). attack :- ismodel(directdefeat(K),X), checkDirectdefeat(K,X).