Nor can any formula be given to do that.
主句，表达一个完整的否定陈述，说明没有任何公式能够被给出来完成某事。
成分推断 · 3 项
谓语 can be given
- 寻找谓语动词：观察句中所有动词形式，发现 "can"（情态动词）、"be"（助动词）、"given"（过去分词）、"do"（不定式中的动词原形）。
- 判断谓语核心："can be given" 构成完整的谓语结构（情态动词 + be + 过去分词，表被动），是主语 "any formula" 的谓语。而 "to do that" 中的 "do" 前有不定式标志 "to"，属于非谓语动词，不能作谓语。
- 排除其他候选："do" 作为不定式，只能充当状语、定语或补语等成分，不能独立作谓语。因此本句谓语唯一确定为 "can be given"。
- 结论：谓语为 "can be given"，是情态动词加被动语态结构。
主语 any formula
- 确定谓语后寻找主语：本句为倒装句，正常语序应为 "any formula can be given..."。倒装后，主语位于情态动词 "can" 之后。
- 识别主语位置：在 "Nor can" 之后，紧接的名词短语 "any formula" 即为主语。它是谓语动作 "be given" 的承受者。
- 验证主谓关系："any formula"（任何公式）与 "can be given"（能够被给出）构成完整的主谓关系，符合被动语态的主语特征。
- 结论：主语为 "any formula"。
状语 to do that
- 观察句末结构："to do that" 是不定式短语，位于谓语 "be given" 之后。
- 判断其功能：不定式可作目的状语（表示目的）或后置定语（修饰名词）。此处 "to do that" 若理解为目的状语，则表示 "给出公式的目的是为了做那件事"；若理解为后置定语，则修饰 "formula"，表示 "用来做那件事的公式"。
- 结合语境：从语义上看，"to do that" 更自然地表达目的或用途，即 "没有公式能被给出来做那件事"，因此判定为目的状语更为合理。
- 结论："to do that" 为目的状语，说明给出公式的目的或用途。
时态 · 语态 · 语气
时态 情态动词结构
语态 被动语态
语气 陈述语气
判定依据
- 时态判定：观察谓语 "can be given"，由情态动词 "can" + 助动词 "be" + 过去分词 "given" 构成。情态动词后接动词原形（此处为 be 的原形），表示能力、可能性或许可，不属于传统时态分类（如一般现在时、过去时等）。根据类型定义，含情态动词的谓语结构应填 modal。该情态动词 "can" 表达的是能力或可能性，即 "能够"。
- 语态判定：谓语为 "can be given"，其中 "be given" 是 "be + 过去分词" 结构，这是被动语态的标准形式。主语 "any formula" 是动作 "give" 的承受者，而非执行者，进一步确认为被动语态。
- 语气判定：本句为否定陈述句（以 "Nor" 引导的倒装否定句），无虚拟语气标志（如 were、should、had 等），也非祈使句，因此为陈述语气。
- 结论：时态为情态动词结构，语态为被动，语气为陈述。
语义说明 情态动词 "can" 表达能力或可能性，结合否定副词 "Nor" 和被动语态，本句强调 "不存在任何公式能够被给出来做那件事"，传达一种否定的可能性或能力，语气客观陈述。