ABSTRACT
Thisenablesustoderivetheeffectsofthe"PRO-theorem"
2.ATypologyofClausalConstructionsandthe
NotionofFiniteness
Inthepresentsectionwewillexplorefurther
generalhypothesisontheQOtionoffiniteness.Themain
ideaisimplicitintheargumentdevelopedinthepreced-
followingrule: S/X+X=>S
What(26)saysisthatfinitenessiscruciallyrelatedto beingapropositionalfunction,(i.e.anunsaturated predicativestructure).1°Foraclausetobefiniteit hastobeobtainedbysaturatinga(1-place)propositional
presence of [+AGR] 11 on verbs might represent the unmarked way of encoding finiteness. In the preceding
On our theory of syntax-semantics encoding Ss are
verbs. Hence the badness of (27) and related examples is predicted:
(27) *John smokes bothers Mary. Something has to map propositions into states of affairs
of (28a) would be (28b): (28) a.