Haegeman 的做法很克制：她不急着抛出 PRO 这个名字，而是先带你看清每个述语到底「欠几个坑」。只有把坑数清楚，后面才知道空位里塞的是什么。形容词 regrettable（令人遗憾的）是一元述语，整张网格只有一个论旨格；动词 decline（婉拒）是二元述语，外带一个施事格、内带一个受事格。

用论旨网格（θ-grid）把两个述语的搭配登记下来，谁欠谁就一目了然：

有了这张表，为什么下面末句站不住脚，道理就摆在眼前：

虚指词的本事仅限于「凑满主语位」，它身上一个 θ 角色都没有。因此它只能陪伴那些压根没有外论元的述语，比如 It rained / There arrived a guest；一旦遇到带施事的及物动词，施事格就无处投递，句子当场垮掉。这就是末句被打星号的全部原因。

按 X′ 句法，IP 的骨架永远是这个样子：主语 NP 站在 [Spec,I]，剩下的部分组成 I′，I′ 再分成中心语 I 和 VP。扩展投射原则（EPP）说：不管这个 I 是定式还是不定式，这个 [Spec,I] 位子都得有人占着，不许空着。

把 EPP 套到不定式小句上，局面立刻变得微妙。不定式的 I 是个「弱 I」，特征记 [−Tense, −AGR]，既不带时态也不带主谓一致；VP 里照常是 decline the offer。麻烦在于——[Spec,IP] 这一位按规矩必须有人，耳朵里却听不到任何词。这个「规矩要求在场、语音却缺席」的矛盾，就是 PRO 的诞生口。

把带显性主语的 for-不定式拉来做对照，差别更加刺眼：

两句的树形几乎重叠，唯一区别只是主语位上从一个听得见的 Holmes 换成了一个听不见的东西。最自然的结论就是：那个位子上坐着一个不发音的 NP。它和 (5d) 里 you／him 的差别仅仅在于——它没有语音外壳，却照样把 EPP 给满足了。这个隐形者，文献里记作 PRO（大代号）。

单靠 EPP 一条理由，反对者还可以说「也许英语的不定式就是个例外、不要主语」。所以 Haegeman 又从四个毫不相干的角度各自逼近一次。这种打法的精髓在于：只要四条路彼此独立，却都把终点指向同一个空位上的 NP，这个假设就稳了。

证据一 · 目的状语的同指。目的小句里「省钱的人」必须和主句「拒绝的人」是同一个：

倘若主句不定式压根不带主语，这层跨小句的身份同一就彻底失去了挂靠点；既然它依然成立，只能反推主句不定式里有个 PRO，由它和目的小句的施事画等号。换个框架也一样：Holmes declined the offer without giving an explanation，「没作解释」的人也是 PRO。

证据二 · together 要一个复数先行词。副词 together 在语义上要求身旁有个复数名词组：

既然 together 的复数要求不容违反，而小句里又找不到显性复数名词，唯一能充当这个复数先行词的，就是隐性主语 PRO。

证据三 · 述语形容词得有个人可描述。exhausted（疲惫的）是个述语，它的存在预设了一个「被描述得很累」的对象：

证据四 · 反身照应的先行词。反身代词 oneself 属于照应词，按原则 A 必须在其管辖语域内被一个同指成分统制：

把四件事摆在一起看：目的小句的身份同一、副词的复数先行词需求、述语的描述对象、反身词的约束要求——四个模块八竿子打不着，却异口同声地要求不定式小句里藏着一个可与外界互动的隐性 NP。此后 Haegeman 就正式采纳 PRO 这个设定。

要论证一个隐形成分确实存在，办法不是「我觉得它在」，而是反着来：假设它不在，看哪条已经成立的原则会跟着落空。GB 把这种推理叫投射论证——哪个句法模块需要一个论元位置，表层却没有词填进去，那里就值得怀疑藏着空语类。

下面把这四条改造成一套上手即用的检测清单，碰到含不定式的句子就挨个过一遍：

第一，不定式小句虽然在表层听不到主语，它在句法上却是个完整的 IP，[Spec,IP] 这位子空不得——这是 EPP 的硬性要求。第二，不定式动词 decline 身上那个施事 θ 角色必须派出去，而表层又没有任何显性名词来接，于是论旨准则替这个位子点了名。第三，单凭这两条还怕有争议，所以又拉来目的小句同指、together 的复数要求、述语形容词的描述对象、反身词的先行词需求四组独立现象做交叉验证，结果全部指向同一个空位。

把这三层叠起来看，PRO 就不再是一个「假设出来方便讲故事」的摆设，而是一个被多条语法原则同时逼出来、不得不存在的句法实体。它现在还只是个空名字——长什么样、有没有格、受不受管辖、到底指谁，正是接下来三节要逐层拆开的。你只要先记住它「发不出声却句法在场」这一条，后面就有了抓手。