Initial definition of argument restrict rule