% select two arguments 1 { selected1(X) : as(X,_,_) } 1. 1 { selected2(X) : as(X,_,_) } 1. % if we would disallow self attacks: %:- selected2(X), selected1(X). % Generate support formula via ordering lt(A,X,Y) :- as(A,fs,X), as(A,fs,Y), X