Documentation

Linglib.Studies.Noonan2007

Noonan (2007): Complementation Typology + Bridge Theorems #

Noonan's complementation typology (six complement types, twelve CTP classes, realis/irrealis split, equi-deletion restriction, indicative implicational hierarchy) plus interconnection theorems linking it to existing linglib infrastructure.

Part I: Noonan's generalizations over the generated CTP sample #

Data rows are generated from Data/Complementation/Noonan2007.json (module Data.Complementation.Noonan2007): a 7-language sample (English §1.1 / Latin §1.3 / Turkish §1.4 / Irish §1.5 / Persian §2.3 / Hindi-Urdu §2.3 / Japanese) testing three Noonan generalizations:

G2: Equi-deletion restricted to reduced complement types (§2.1)
G3: Negative raising restricted to propAttitude/desiderative (gap-filler)
G4: Per-language indicative-desiderative implies indicative-propAttitude (§2.4)

Analytic caveats carried over from the hand-typed rows: Persian khastan and Hindi-Urdu chaahna have hasEquiDeletion := false because their subjunctive subject omission is pro-drop, not Noonan-equi; English hope has hasNegativeRaising := true per §2.7's restriction of NR to {propAttitude, desiderative, modal} (Horn 1989).

Part II: Bridge theorems #

Five bridges connecting CTPClass to existing infrastructure:

CTPClass ↔ VerbEntry (Verbal.lean) — derive CTP class from verb features
CTPClass ↔ SelectionClass (LeftPeriphery.lean) — map CTP to question embedding
CTPClass ↔ MoodSelector (Mood/Basic.lean) — map CTP to mood selection
ComplementType ↔ NoonanCompType — via the substrate adapter ComplementType.toNoonan (Syntax/Clause/Complementation.lean)
VerbEntry → MoodSelector — derive mood selection from verb features

theorem Noonan2007.equi_requires_reduced (d : Data.Complementation.Datum) :

d ∈ Data.Complementation.Noonan2007.all → d.hasEquiDeletion = true → d.compTypes.any NoonanCompType.isReduced = true

Equi-deletion only occurs when some attested complement type is reduced.

theorem Noonan2007.negative_raising_class_restriction (d : Data.Complementation.Datum) :

d ∈ Data.Complementation.Noonan2007.all → d.hasNegativeRaising = true → d.ctpClass = CTPClass.propAttitude ∨ d.ctpClass = CTPClass.desiderative

Negative raising verbs are exclusively propAttitude or desiderative.

theorem Noonan2007.knowledge_no_negative_raising (d : Data.Complementation.Datum) :

d ∈ Data.Complementation.Noonan2007.all → d.ctpClass = CTPClass.knowledge → d.hasNegativeRaising = false

Knowledge CTPs never support negative raising.

def Noonan2007.hasIndicativeFor (rows : List Data.Complementation.Datum) (cls : CTPClass) :

Bool

Does some row of this language's list attest an indicative complement for CTP class cls?

Equations

Noonan2007.hasIndicativeFor rows cls = rows.any fun (d : Data.Complementation.Datum) => d.ctpClass == cls && d.compTypes.any fun (x : NoonanCompType) => x == NoonanCompType.indicative

Instances For

theorem Noonan2007.indicative_hierarchy (rows : List Data.Complementation.Datum) :

rows ∈ Data.Complementation.Noonan2007.sample → hasIndicativeFor rows CTPClass.desiderative = true → hasIndicativeFor rows CTPClass.propAttitude = true

[Noo07] §2.4: any sampled language using indicative with desideratives also uses it with propositional attitudes.

English is the only language in the sample with indicative-desiderative (hope and wish), so English is the only place this implication has nontrivial content. To extend this generalization further, add a language with indicative-desiderative attestation (Modern Greek thélo na + indicative-mood form; Bulgarian iskam da + present-indicative form).

A1. Derive CTPClass from VerbEntry fields #

CTPClass is DERIVED from existing VerbEntry fields — not added as a new field. This follows the deriveSelectionClass pattern from LeftPeriphery.lean.

def Noonan2007.deriveCTPClass (v : English.Predicates.Verbal.VerbEntry) :

Option CTPClass

Derive Noonan's CTP class from a VerbEntry's primitive fields.

The mapping uses levinClass, factivePresup, causative, implicative, cosType, speechActVerb, and attitude:

levinClass ==.see → perception (see)
factivePresup → knowledge (know, realize, regret)
causative.isSome → manipulative (cause, make, force)
implicative.isSome → achievement (manage, fail)
cosType.isSome → phasal (stop, start, continue)
speechActVerb → utterance (say, tell)
attitude doxastic → propAttitude (believe, think)
attitude preferential positive → desiderative (want, hope)
attitude preferential other → propAttitude (fear, worry)
Otherwise → none

Equations

One or more equations did not get rendered due to their size.

Instances For

A2. Per-verb verification theorems #

Each theorem is proved by native_decide. Changing one VerbEntry field breaks exactly one theorem.

theorem Noonan2007.know_is_knowledge :

deriveCTPClass English.Predicates.Verbal.know = some CTPClass.knowledge

theorem Noonan2007.regret_is_knowledge :

deriveCTPClass English.Predicates.Verbal.regret = some CTPClass.knowledge

theorem Noonan2007.realize_is_knowledge :

deriveCTPClass English.Predicates.Verbal.realize = some CTPClass.knowledge

theorem Noonan2007.discover_is_knowledge :

deriveCTPClass English.Predicates.Verbal.discover = some CTPClass.knowledge

theorem Noonan2007.notice_is_knowledge :

deriveCTPClass English.Predicates.Verbal.notice = some CTPClass.knowledge

theorem Noonan2007.remember_rog_is_knowledge :

deriveCTPClass English.Predicates.Verbal.remember_rog = some CTPClass.knowledge

theorem Noonan2007.forget_rog_is_knowledge :

deriveCTPClass English.Predicates.Verbal.forget_rog = some CTPClass.knowledge

theorem Noonan2007.see_is_perception :

deriveCTPClass English.Predicates.Verbal.see = some CTPClass.perception

theorem Noonan2007.say_is_utterance :

deriveCTPClass English.Predicates.Verbal.say = some CTPClass.utterance

theorem Noonan2007.tell_is_utterance :

deriveCTPClass English.Predicates.Verbal.tell = some CTPClass.utterance

theorem Noonan2007.claim_is_utterance :

deriveCTPClass English.Predicates.Verbal.claim = some CTPClass.utterance

theorem Noonan2007.ask_is_utterance :

deriveCTPClass English.Predicates.Verbal.ask = some CTPClass.utterance

theorem Noonan2007.believe_is_propAttitude :

deriveCTPClass English.Predicates.Verbal.believe = some CTPClass.propAttitude

theorem Noonan2007.think_is_propAttitude :

deriveCTPClass English.Predicates.Verbal.think = some CTPClass.propAttitude

theorem Noonan2007.want_is_desiderative :

deriveCTPClass English.Predicates.Verbal.want = some CTPClass.desiderative

theorem Noonan2007.hope_is_desiderative :

deriveCTPClass English.Predicates.Verbal.hope = some CTPClass.desiderative

theorem Noonan2007.expect_is_desiderative :

deriveCTPClass English.Predicates.Verbal.expect = some CTPClass.desiderative

theorem Noonan2007.wish_is_desiderative :

deriveCTPClass English.Predicates.Verbal.wish = some CTPClass.desiderative

theorem Noonan2007.decide_is_desiderative :

deriveCTPClass English.Predicates.Verbal.decide_ = some CTPClass.desiderative

theorem Noonan2007.fear_is_propAttitude :

deriveCTPClass English.Predicates.Verbal.fear = some CTPClass.propAttitude

theorem Noonan2007.dread_is_propAttitude :

deriveCTPClass English.Predicates.Verbal.dread = some CTPClass.propAttitude

theorem Noonan2007.worry_is_propAttitude :

deriveCTPClass English.Predicates.Verbal.worry = some CTPClass.propAttitude

theorem Noonan2007.stop_is_phasal :

deriveCTPClass English.Predicates.Verbal.stop = some CTPClass.phasal

theorem Noonan2007.quit_is_phasal :

deriveCTPClass English.Predicates.Verbal.quit = some CTPClass.phasal

theorem Noonan2007.start_is_phasal :

deriveCTPClass English.Predicates.Verbal.start = some CTPClass.phasal

theorem Noonan2007.begin_is_phasal :

deriveCTPClass English.Predicates.Verbal.begin_ = some CTPClass.phasal

theorem Noonan2007.continue_is_phasal :

deriveCTPClass English.Predicates.Verbal.continue_ = some CTPClass.phasal

theorem Noonan2007.keep_is_phasal :

deriveCTPClass English.Predicates.Verbal.keep = some CTPClass.phasal

theorem Noonan2007.cause_is_manipulative :

deriveCTPClass English.Predicates.Verbal.cause = some CTPClass.manipulative

theorem Noonan2007.make_is_manipulative :

deriveCTPClass English.Predicates.Verbal.make = some CTPClass.manipulative

theorem Noonan2007.let_is_manipulative :

deriveCTPClass English.Predicates.Verbal.let_ = some CTPClass.manipulative

theorem Noonan2007.have_caus_is_manipulative :

deriveCTPClass English.Predicates.Verbal.have_caus = some CTPClass.manipulative

theorem Noonan2007.get_caus_is_manipulative :

deriveCTPClass English.Predicates.Verbal.get_caus = some CTPClass.manipulative

theorem Noonan2007.force_is_manipulative :

deriveCTPClass English.Predicates.Verbal.force = some CTPClass.manipulative

theorem Noonan2007.manage_is_achievement :

deriveCTPClass English.Predicates.Verbal.manage = some CTPClass.achievement

theorem Noonan2007.fail_is_achievement :

deriveCTPClass English.Predicates.Verbal.fail = some CTPClass.achievement

theorem Noonan2007.remember_inf_is_achievement :

deriveCTPClass English.Predicates.Verbal.remember = some CTPClass.achievement

theorem Noonan2007.forget_inf_is_achievement :

deriveCTPClass English.Predicates.Verbal.forget = some CTPClass.achievement

theorem Noonan2007.sleep_no_ctp :

deriveCTPClass English.Predicates.Verbal.sleep = none

theorem Noonan2007.run_no_ctp :

deriveCTPClass English.Predicates.Verbal.run = none

theorem Noonan2007.arrive_no_ctp :

deriveCTPClass English.Predicates.Verbal.arrive = none

theorem Noonan2007.eat_no_ctp :

deriveCTPClass English.Predicates.Verbal.eat = none

theorem Noonan2007.kick_no_ctp :

deriveCTPClass English.Predicates.Verbal.kick = none

B1. Map Noonan's CTP classes to Dayal's selection classes #

This connects two independent typological systems:

[Noo07]: CTP semantics → complement type
[Day25]: Predicate semantics → left-peripheral selection

def Noonan2007.ctpToDefaultSelectionClass :

CTPClass → Minimalist.LeftPeriphery.SelectionClass

Default mapping from CTP class to selection class.

Knowledge → responsive (know, remember: entail knowledge of answer)
Utterance → rogativeSAP (ask, tell: speech-act layer)
PropAttitude → uninterrogative (believe, think: no question embedding)
Desiderative → uninterrogative (want, hope: anti-rogative)
Perception → responsive (see: factive perception of answer)
Achievement → uninterrogative (manage: no question embedding)
Phasal → uninterrogative (stop: no question embedding)
Manipulative → uninterrogative (make: no question embedding)
Others → uninterrogative

Equations

Instances For

B2. Consistency with deriveSelectionClass #

Verify that for verbs where CTP class is defined AND the verb takes questions, the two derivations agree. Note: many CTPs don't embed questions at all, so the comparison is only meaningful for question-taking verbs.

theorem Noonan2007.ctp_selection_consistent_know :

ctpToDefaultSelectionClass CTPClass.knowledge = Minimalist.LeftPeriphery.deriveSelectionClass English.Predicates.Verbal.know

For question-embedding verbs with a CTP class, the CTP-based mapping matches the structural derivation from LeftPeriphery.lean.

This covers: know, discover, remember_rog, forget_rog (knowledge → responsive), ask (utterance → rogativeSAP).

theorem Noonan2007.ctp_selection_consistent_discover :

ctpToDefaultSelectionClass CTPClass.knowledge = Minimalist.LeftPeriphery.deriveSelectionClass English.Predicates.Verbal.discover

theorem Noonan2007.ctp_selection_consistent_remember_rog :

ctpToDefaultSelectionClass CTPClass.knowledge = Minimalist.LeftPeriphery.deriveSelectionClass English.Predicates.Verbal.remember_rog

theorem Noonan2007.ctp_selection_consistent_forget_rog :

ctpToDefaultSelectionClass CTPClass.knowledge = Minimalist.LeftPeriphery.deriveSelectionClass English.Predicates.Verbal.forget_rog

theorem Noonan2007.ctp_selection_consistent_ask :

ctpToDefaultSelectionClass CTPClass.utterance = Minimalist.LeftPeriphery.deriveSelectionClass English.Predicates.Verbal.ask

C1. Map CTP classes to mood selection #

This connects Noonan's semantic CTP classes to [Men25]'s mood semantics. The realis/irrealis split predicts mood selection.

def Noonan2007.ctpToMoodSelector :

CTPClass → Semantics.Mood.MoodSelector

Map CTP class to mood selection. Realis CTPs select indicative; irrealis select subjunctive. Some are language-dependent (moodNeutral).

Equations

Instances For

theorem Noonan2007.realis_not_subjunctive (c : CTPClass) :

ctpRealityStatus c = RealityStatus.realis → ctpToMoodSelector c ≠ Semantics.Mood.MoodSelector.subjunctiveSelecting

Realis CTPs select indicative or are mood-neutral (never subjunctive-selecting).

theorem Noonan2007.irrealis_not_indicative (c : CTPClass) :

ctpRealityStatus c = RealityStatus.irrealis → ctpToMoodSelector c ≠ Semantics.Mood.MoodSelector.indicativeSelecting

Irrealis CTPs select subjunctive or are mood-neutral (never indicative-selecting).

D1. Map linglib's English-specific complement types to Noonan's #

typological categories

The adapter itself is substrate: ComplementType.toNoonan in Syntax/Clause/Complementation.lean. The clausal-coverage check stays here.

theorem Noonan2007.clausal_complements_have_noonan_type :

ComplementType.finiteClause.toNoonan ≠ none ∧ ComplementType.infinitival.toNoonan ≠ none ∧ ComplementType.gerund.toNoonan ≠ none ∧ ComplementType.smallClause.toNoonan ≠ none

Every English verb that takes a clausal complement maps to a Noonan type.

E1. Derive MoodSelector from VerbEntry fields #

This is placed in Bridge.lean (not Verbal.lean) to avoid circular imports: it needs both Verbal and Mood/Basic. Follows the deriveSelectionClass pattern.

def Noonan2007.deriveMoodSelector (v : English.Predicates.Verbal.VerbEntry) :

Semantics.Mood.MoodSelector

Derive mood selection from a VerbEntry's primitive fields.

The logic:

Preferential positive + Levin want-class → subjunctive (want, wish)
Preferential positive + non-want-class → crossLinguisticallyVariable (hope, expect: SBJV in some languages, IND in others; [Gra24] Table 1)
Preferential negative/uncertainty attitude → indicative (fear, worry)
Doxastic attitude → indicative (believe, think)
Factive → indicative (know: presupposes truth)
Perception (levinClass ==.see) → indicative (see)
Speech-act verb → moodNeutral (say: varies cross-linguistically)
Change-of-state → moodNeutral (stop: varies)
Causative → subjunctive (make: irrealis)
Implicative → moodNeutral (manage: varies)
Otherwise → moodNeutral

Equations

One or more equations did not get rendered due to their size.

Instances For

E2. Per-verb mood selector verification #

theorem Noonan2007.know_selects_indicative :

deriveMoodSelector English.Predicates.Verbal.know = Semantics.Mood.MoodSelector.indicativeSelecting

theorem Noonan2007.believe_selects_indicative :

deriveMoodSelector English.Predicates.Verbal.believe = Semantics.Mood.MoodSelector.indicativeSelecting

theorem Noonan2007.think_selects_indicative :

deriveMoodSelector English.Predicates.Verbal.think = Semantics.Mood.MoodSelector.indicativeSelecting

theorem Noonan2007.realize_selects_indicative :

deriveMoodSelector English.Predicates.Verbal.realize = Semantics.Mood.MoodSelector.indicativeSelecting

theorem Noonan2007.see_selects_indicative :

deriveMoodSelector English.Predicates.Verbal.see = Semantics.Mood.MoodSelector.indicativeSelecting

theorem Noonan2007.fear_selects_indicative :

deriveMoodSelector English.Predicates.Verbal.fear = Semantics.Mood.MoodSelector.indicativeSelecting

theorem Noonan2007.worry_selects_indicative :

deriveMoodSelector English.Predicates.Verbal.worry = Semantics.Mood.MoodSelector.indicativeSelecting

theorem Noonan2007.want_selects_subjunctive :

deriveMoodSelector English.Predicates.Verbal.want = Semantics.Mood.MoodSelector.subjunctiveSelecting

theorem Noonan2007.wish_selects_subjunctive :

deriveMoodSelector English.Predicates.Verbal.wish = Semantics.Mood.MoodSelector.subjunctiveSelecting

theorem Noonan2007.intend_selects_subjunctive :

deriveMoodSelector English.Predicates.Verbal.intend = Semantics.Mood.MoodSelector.subjunctiveSelecting

theorem Noonan2007.cause_selects_subjunctive :

deriveMoodSelector English.Predicates.Verbal.cause = Semantics.Mood.MoodSelector.subjunctiveSelecting

theorem Noonan2007.make_selects_subjunctive :

deriveMoodSelector English.Predicates.Verbal.make = Semantics.Mood.MoodSelector.subjunctiveSelecting

theorem Noonan2007.decide_selects_subjunctive :

deriveMoodSelector English.Predicates.Verbal.decide_ = Semantics.Mood.MoodSelector.subjunctiveSelecting

theorem Noonan2007.hope_mood_variable :

deriveMoodSelector English.Predicates.Verbal.hope = Semantics.Mood.MoodSelector.crossLinguisticallyVariable

theorem Noonan2007.expect_mood_variable :

deriveMoodSelector English.Predicates.Verbal.expect = Semantics.Mood.MoodSelector.crossLinguisticallyVariable

theorem Noonan2007.say_mood_neutral :

deriveMoodSelector English.Predicates.Verbal.say = Semantics.Mood.MoodSelector.moodNeutral

theorem Noonan2007.tell_mood_neutral :

deriveMoodSelector English.Predicates.Verbal.tell = Semantics.Mood.MoodSelector.moodNeutral

theorem Noonan2007.stop_mood_neutral :

deriveMoodSelector English.Predicates.Verbal.stop = Semantics.Mood.MoodSelector.moodNeutral

theorem Noonan2007.start_mood_neutral :

deriveMoodSelector English.Predicates.Verbal.start = Semantics.Mood.MoodSelector.moodNeutral

theorem Noonan2007.manage_mood_neutral :

deriveMoodSelector English.Predicates.Verbal.manage = Semantics.Mood.MoodSelector.moodNeutral

F1. CTP class → mood selector consistency #

For verbs with a derivable CTP class, the mood selector derived directly from VerbEntry should be consistent with the CTP-based derivation.

theorem Noonan2007.ctp_mood_consistent_knowledge :

ctpToMoodSelector CTPClass.knowledge = deriveMoodSelector English.Predicates.Verbal.know

The CTP-based mood mapping agrees with the direct derivation for representative verbs from each CTP class.

theorem Noonan2007.ctp_mood_consistent_propAttitude :

ctpToMoodSelector CTPClass.propAttitude = deriveMoodSelector English.Predicates.Verbal.believe

theorem Noonan2007.ctp_mood_consistent_desiderative :

ctpToMoodSelector CTPClass.desiderative = deriveMoodSelector English.Predicates.Verbal.want

theorem Noonan2007.ctp_mood_consistent_manipulative :

ctpToMoodSelector CTPClass.manipulative = deriveMoodSelector English.Predicates.Verbal.cause

theorem Noonan2007.ctp_mood_consistent_perception :

ctpToMoodSelector CTPClass.perception = deriveMoodSelector English.Predicates.Verbal.see

F2. Three-way agreement for key verbs #

For important verbs, all three classification systems agree:

deriveCTPClass → CTP class
deriveSelectionClass → question embedding
deriveMoodSelector → mood selection

theorem Noonan2007.know_triple_consistency :

deriveCTPClass English.Predicates.Verbal.know = some CTPClass.knowledge ∧ Minimalist.LeftPeriphery.deriveSelectionClass English.Predicates.Verbal.know = Minimalist.LeftPeriphery.SelectionClass.responsive ∧ deriveMoodSelector English.Predicates.Verbal.know = Semantics.Mood.MoodSelector.indicativeSelecting

"know" is classified consistently across all three bridges: knowledge CTP, responsive selection, indicative mood.

theorem Noonan2007.believe_triple_consistency :

deriveCTPClass English.Predicates.Verbal.believe = some CTPClass.propAttitude ∧ Minimalist.LeftPeriphery.deriveSelectionClass English.Predicates.Verbal.believe = Minimalist.LeftPeriphery.SelectionClass.uninterrogative ∧ deriveMoodSelector English.Predicates.Verbal.believe = Semantics.Mood.MoodSelector.indicativeSelecting

"believe" is classified consistently: propAttitude CTP, uninterrogative, indicative mood.

theorem Noonan2007.want_triple_consistency :

deriveCTPClass English.Predicates.Verbal.want = some CTPClass.desiderative ∧ Minimalist.LeftPeriphery.deriveSelectionClass English.Predicates.Verbal.want = Minimalist.LeftPeriphery.SelectionClass.uninterrogative ∧ deriveMoodSelector English.Predicates.Verbal.want = Semantics.Mood.MoodSelector.subjunctiveSelecting

"want" is classified consistently: desiderative CTP, uninterrogative (anti-rogative), subjunctive mood.

theorem Noonan2007.ask_triple_consistency :

deriveCTPClass English.Predicates.Verbal.ask = some CTPClass.utterance ∧ Minimalist.LeftPeriphery.deriveSelectionClass English.Predicates.Verbal.ask = Minimalist.LeftPeriphery.SelectionClass.rogativeSAP ∧ deriveMoodSelector English.Predicates.Verbal.ask = Semantics.Mood.MoodSelector.moodNeutral

"ask" is classified consistently: utterance CTP, rogativeSAP, mood-neutral.

G1. Complement size by CTP class #

[Egr26] shows that complement size determines SOT availability in Hungarian. This bridge maps Noonan's CTP classes to their typical complement sizes, connecting the complementation typology to the clause-size infrastructure.

These are default sizes — individual languages may override (e.g., in Hungarian, hogy forces CP regardless of CTP class).

def Noonan2007.ctpDefaultComplementSize :

CTPClass → Minimalist.ComplementSize

Default complement size for a CTP class.

Finite declarative complements are typically CP-sized. Restructuring predicates select smaller complements.

utterance → CP (full finite with complementizer)
propAttitude → CP (full finite that-clause)
knowledge → CP (factive that-clause)
perception → TP (small clause / reduced complement)
desiderative → TP (subjunctive / infinitival)
manipulative → TP (ECM / small clause)
phasal → vP (restructuring)
achievement → vP (restructuring)
modal → TP (functional, shares T domain)
commentative → CP (factive that-clause)
pretence → CP (finite complement)
negative → vP (restructuring)

Equations

Instances For

theorem Noonan2007.utterance_default_cp :

ctpDefaultComplementSize CTPClass.utterance = Minimalist.ComplementSize.cP

Utterance CTPs default to CP.

theorem Noonan2007.propAttitude_default_cp :

ctpDefaultComplementSize CTPClass.propAttitude = Minimalist.ComplementSize.cP

Propositional attitude CTPs default to CP.

theorem Noonan2007.perception_default_tp :

ctpDefaultComplementSize CTPClass.perception = Minimalist.ComplementSize.tP

Perception CTPs default to TP (small clause).

theorem Noonan2007.phasal_default_vp :

ctpDefaultComplementSize CTPClass.phasal = Minimalist.ComplementSize.vP

Phasal CTPs default to vP (restructuring).

theorem Noonan2007.cp_ctps_opaque :

(ctpDefaultComplementSize CTPClass.utterance).transparentToTenseAgree = false ∧ (ctpDefaultComplementSize CTPClass.propAttitude).transparentToTenseAgree = false ∧ (ctpDefaultComplementSize CTPClass.knowledge).transparentToTenseAgree = false

CP-selecting CTPs are opaque to tense Agree.

theorem Noonan2007.small_ctps_transparent :

(ctpDefaultComplementSize CTPClass.perception).transparentToTenseAgree = true ∧ (ctpDefaultComplementSize CTPClass.desiderative).transparentToTenseAgree = true ∧ (ctpDefaultComplementSize CTPClass.phasal).transparentToTenseAgree = true

TP-selecting and vP-selecting CTPs are transparent to tense Agree.