Variables in result part in rules