网友的句子，正确。

否定不定式或否定谓语动词，都可以，意思不变。

I lay down not so much to sleep as to think.（正）

I didn’t lie down so much to sleep as to think. （正）

不过，这不是重点。我倒是觉得，这个句式应该好好研究一下。

1. 书上都说，这是一种取舍关系（读者往往跟着教科书学，死记硬背。不去探究这个句式的来历）：“not so much…as… 与其说…倒不如说…”。其实，这就是一种比较关系：否定了前者，肯定了后者。即：“前者不如后者”。

2. 其实，原句的表达简单明了：lay down 首先肯定了这个谓语动词的动作已经发生，然后接不定式作目的状语，I lay down to sleep. 句子到此为止，也就很完整了。但是，作者意犹未尽，并不想着立马睡觉，而是去思考一些问题。因此，“比较结构”来了：否定“睡觉”，肯定“思考问题”。因此便用了这个句式：not so much…as…。

3. 这个句式的来历：

I like English as much as maths. →

I don’t like English as much as maths. →

I don’t like English so much as maths. （否定句可以用so 代替as）

至此，参与比较的两项English 和maths，“取舍关系”已经明确：不喜欢英语，喜欢数学。much 表示喜欢的程度。

网友可以把这个道理跟提问的句子结合理解就可以了。

4. 关于否定转移（有人叫“否定焦点或否定范围”）：

有时候，否定谓语动词或否定不定式，意思相同。不过，现代英语更多是否定谓语动词。例如：

Mary does not seem to like you. 玛丽看起来不喜欢你。

（not 否定不定式like，相当于Mary seems not to like you.）

He didn’t appear to be quite well. 他看起来好像不太舒服。

It was fortunate that Tom didn’t happen to attend the party last night. 很幸运，汤姆那天晚上碰巧没来参加聚会。

没有见过你说的这种表达。估计你也没有见过。所以，在你见到实际可以这么用之前，还是用你熟悉的句式。