--add variable that restricts SL random variables for the rule body
(it's a duplicate of sl.txt, without the weights)