推測ブロックから正確に「ステップ」項目を選択したいのですが、カーディナリティで推測を制限すると満足できなくなりました。
% 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.