1 in(X) v out(X) :- vtx(X).
   2 
   3 :- not inneighbor(X), not in(X), vtx(X).
   4 
   5 inneighbor(X) :- #sum{ W,Y: in(Y), edgewt(Y,X,W), edge(Y,X)} >= M , minweight(M), vtx(X).
   6 inneighbor(X) :- #sum{ W,Y: in(Y), edgewt(X,Y,W), edge(X,Y)} >= M , minweight(M), vtx(X).
   7 
   8 :- bound(K), #count{X: in(X)} > K.