淵令的意思