Portuguese Mood-Choice Verb Entries @cite{grano-2024}

Minimal verb entries for Portuguese attitude and causative predicates relevant to cross-linguistic mood choice (@cite{grano-2024}, Table 1).

Portuguese 'want' robustly takes SBJV; 'hope' allows both IND and SBJV; 'intend' takes SBJV. Causatives reject indicative.

Key examples (from @cite{grano-2024})

• (3a) João quer que a Maria esteja/*está feliz. (SBJV/*IND)
• (11) João espera que a Maria esteja/está feliz. (SBJV/IND)
• (26) Pretendo que o João vá/*vai/*irá ao parque. (SBJV/*IND)
• (41) Eu fiz com que João fosse/*foi ao parque. (SBJV/*IND)

def Fragments.Portuguese.MoodChoice.querer : Core.Verbs.VerbCore

querer 'want' — robustly subjunctive-selecting. @cite{grano-2024}, (3a): SBJV required.

Equations

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

def Fragments.Portuguese.MoodChoice.esperar : Core.Verbs.VerbCore

esperar 'hope' — cross-linguistically variable (IND/SBJV). @cite{grano-2024}, (11): both IND and SBJV accepted.

Equations

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

def Fragments.Portuguese.MoodChoice.pretender : Core.Verbs.VerbCore

pretender 'intend' — robustly rejects indicative. @cite{grano-2024}, (26): SBJV required, IND rejected.

Equations

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

def Fragments.Portuguese.MoodChoice.fazer : Core.Verbs.VerbCore

fazer 'make' — causative, rejects indicative. @cite{grano-2024}, (41): SBJV required via com que, IND rejected.

Equations

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

theorem Fragments.Portuguese.MoodChoice.querer_is_want_class : querer.levinClass = some LevinClass.want

theorem Fragments.Portuguese.MoodChoice.esperar_not_want_class : esperar.levinClass ≠ some LevinClass.want

theorem Fragments.Portuguese.MoodChoice.pretender_is_want_class : pretender.levinClass = some LevinClass.want

theorem Fragments.Portuguese.MoodChoice.fazer_is_causative : fazer.causativeBuilder.isSome = true