answer set programming "Guesses"
<p>I want to pick exactly "steps" item from the guess block however I got unsat when I limit the guess with cardinalities.</p>

<pre><code>  % Pick a series of move
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  steps { 
          vpr(X,Y) : verticalPlus(X,Y); 
          vmr(X,Y) : verticalMinus(X,Y); 
          hpr(X,Y) : horizontalPlus(X,Y); 
          hmr(X,Y) : horizontalMinus(X,Y) 
 } steps.
</code></pre>