Una regla es del tipo: