Show how to retrieve the value passed to the atom argument of a rule