We present in this section an analysis of clausal embedding in which the syntax and semantics work together to derive the range of behaviors that we have discussed above. First, the DP material in clausal nominalizations contributes familiarity to the content expressed by the proposition denoted by the embedded clause. Embedded clauses without a DP later carry no such presupposition, and are adjuncts to the intransitive attitude predicates they modify. Second, the mood markers -i and -aʔ in Washo have different meanings, which reflect the different roles played by the clauses they occur in. These roles govern (in part) whether an embedded clause is a complement or a modifier of the verb that embeds it.
The semantics of independent and dependent mood markers
Let us begin with a modest proposal for the semantics of the mood markers -i and -aʔ, which appear in clauses embedded by presuppositional and non-presuppositional verbs, respectively. Before stating our proposal, we note that justification for the treatment of these suffixes as Mood comes not only from their relative position in the clause, but also from the fact that they are in complementary distribution with other clause-typing Mood markers in the language, for instance the imperative (-∅), optative (-hi), and horative (-hulew) moods (Jacobsen 1964:654–664).
First, given its wide distribution and default status for matrix clauses (e.g., (7), repeated in (73)), we propose that the independent mood marker -i denotes the identity function, i.e., it is semantically vacuous, as shown in (74).
-
(73)
-
(74)
Meanwhile, we propose that the dependent mood marker -aʔ has the semantics of conjunction. Specifically, in the case of clauses that modify non-presuppositional verbs, -aʔ conjoins predicates of individuals, as in (75).
-
(75)
This semantics explains two crucial characteristics of -aʔ clauses. First, it explains why clauses of this type do not take on presuppositional interpretations: they lack the DP layer containing both D and the idx head found in the structure of clausal nominalizations. We contend that idx imposes restrictions on its complement, such that it may only select for C, and not Mood, ruling out its selection of bare -aʔ-clauses. In the case of non-presuppositional modifiers, the 〈e,t〉-type embedded clause instead combines with the matrix attitude predicate via the dependent mood marker (shown in more detail in Sect. 5.4). Second, it explains why clauses with this mood marker cannot stand alone, i.e., why -aʔ-marking is restricted to subordinate clauses. In Sect. 5.5, we show that the conjunction semantics of -aʔ can be generalized to conjoin other types of semantic objects, which provides an explanation for its distribution in other types of subordinate clauses, particularly adjunct clauses.
Our semantic analysis of these moods does not contain a modal or temporal component, as is common in the analysis of verbal mood in other languages (e.g., Farkas 1985; Portner 1997; Quer 2001; Schlenker 2005; Giannakidou 2009; Matthewson 2010; among others. See Portner 2018 for a recent overview). There are nevertheless conceptual similarities between our analysis of mood in Washo and mood distinctions found in other languages. First, as in many other mood systems, one mood (the independent mood -i) is treated as a default with a trivial semantic value (e.g., Portner 1997; Schlenker 2005). Second, we note that moods in Washo—not only the independent and dependent moods, but more broadly—have to do with clause-typing, which is a major function of moods cross-linguistically (dubbed “sentence mood” by Portner 2018). In this connection, the independent/dependent mood distinction that we find in Washo appears to find conceptual kin in what are known as the independent and conjunct orders in several Algonquian languages. Descriptively, the independent order is typically used in matrix clauses, while conjunct order is typically used in many types of subordinate clauses (see e.g., Brittain 2001).Footnote 29 Just like verbal moods in more familiar languages, the exact distribution of these orders is subject to cross-linguistic variation within the Algonquian family. Also similar to Washo, these orders stand in opposition to other orders such as the imperative. While a full analysis of mood marking in Washo is beyond the scope of this paper and requires further research, we believe that the foundations we have laid out here for the independent and dependent moods will carry over to a more detailed future analysis.
In the rest of this section, we detail the semantic composition of presuppositional and non-presuppositional embedded clauses in Washo, based on the syntax we put forward in Sect. 3 as well as on the aspects of the semantic analyses of attitude predicates and that-clauses we introduced in Sect. 4.
Presuppositional complements and the role of nominalization
We now turn to the derivation of the clausal complements of presuppositional verbs. We adopt the idea introduced in Sect. 4 that the role of a functional element F\(_{\text{\textsc{prop}}}\) is to turn the proposition-denoting embedding clause into a property of individuals whose content is expressed by that proposition. In our implementation, we treat F\(_{\text{\textsc{prop}}}\) as an optional type-shift as in (76) (cf. Simeonova 2018), which applies at the level of TP, instead of as an obligatory syntactic node in the clausal periphery.
-
(76)
Adopting the assumptions about the structure of the DP and CP outlined in Sect. 3, the nominalizing DP-layer hosts a silent D head as well as the head idx, which is overtly realized as -gi/ge. This idx head selects for its complement clause directly. The derivation of a clausal nominalization embedded by the verb ‘know’ then proceeds as in (77). First, the embedded clause is formed and undergoes the F\(_{\text{\textsc{prop}}}\) type-shift, returning a set of individuals whose content is specified by the proposition ‘the man came long ago.’ Second, this embedded clause composes with both Mood and C, both of which denote the identity function in this case. Third, the resulting property denoted by the CP undergoes Predicate Modification with idx, resulting in a property of individuals specified by this content that are also familiar. Finally, this property composes with D, resulting in the unique individual whose content is specified by the embedded proposition, and which is identical to the referent mapped to 1 by the assignment function g.Footnote 30
-
(77)
Diverging from Kastner (2015) and related claims in Bogal-Allbritten and Moulton (2017), we take the presence of idx to be responsible for encoding the familiarity of the content expressed by the embedded clause, which is present in nominalized complement clauses, but absent in embedded bare clauses (as idx is selected by D, and only presuppositional verbs select for DPs); cf. Sect. 3.2.2. The main idea is that the assignment function will map the index (‘1,’ in the above example) to the salient individual whose content expresses the same proposition as the nominalized clause. The result is that the complement of the verb is an individual of type e, rather than a proposition of type 〈s,t〉. It can now combine with the transitive matrix verb via function application, just like any other individual-denoting DP would.Footnote 31 The truth conditions for (77) are given in (78).
-
(78)
In parallel, examples in which ‘know’ selects for a simple familiar DP work as follows. Consider again the example in (79), repeated from (35):
-
(79)
For an example such as (79), the theme of the matrix verb ‘know’ is not the unique, familiar content of a proposition, but rather some salient man in the discourse that is mapped to by the index ‘2’:
-
(80)
Adopting this analysis for clausal nominalizations unifies both the structure and interpretation of simple familiar definites as in (81) as well as the nominalized complements of presuppositional verbs, as in (82) (see also Hanink 2021).
-
(81)
-
(82)
Presuppositionality and factivity
At this point we return to the notion of factivity as generally described in the literature. In our analysis, idx is only present in nominalized clauses, and so the presence or absence of D can explain the presence or absence of presupositionality, and furthermore unifies the other uses of anaphoric/familiar DPs such as demonstratives. However, factivity does not reduce to mere familiarity alone: factivity as we typically know it presupposes the truth of the complement. But there are many individuals, familiar or not, whose propositional content is not a fact—rumors, for instance. We consider two established options for encoding factivity in the structure proposed above, and discuss problems for each of these options.
Factivity is not just familiarity
In effect, Kastner (2015) assimilates factivity to familiarity: factive complements are familiar, and their truth is presupposed. His account however does not derive this directly, as there is nothing in the semantics of D that enforces this latter characteristic. We could in principle stipulate a presupposition that x is a fact in the definition of D (or of C; Kratzer 2006), or through a silent head fact (Elbourne 2013), but in addition to being an ad hoc fix, it is not clear that we want such a presupposition generally associated with clausal nominalizations or with D more generally.
Recall that clausal nominalizations in Washo also form internally headed relatives (83), as well as so-called perception readings (84):
-
(83)
-
(84)
The above clausal nominalizations also make use of a DP-layer, but we do not necessarily want to build factivity into their meaning. Instead, the referents that these nominalizations pick out (i.e., individuals or events) are simply familiar to interlocuters in a given context. That is to say, a semantics invoking familiarity is not limited to simple DPs and the complements of presuppositional verbs alone.
For instance, Hanink (2018, 2021) argues that the function of -gi/-ge in clausal nominalizations giving rise to perception/events readings such as those in (84) is likewise to pick out a referent in the immediate context through the introduction of idx into the structure of the DP. Building on Toosarvandani’s (2014) proposal for event nominalizations in Northern Paiute similar to the kind in (84), Hanink argues that the role of idx in the perception reading is to map the index it introduces to a familiar event through the assignment function. The role of the D layer is therefore to ι-bind the event variable introduced by the verb, returning an individual meaning for the whole DP. As proposed by Toosarvandani, the key to achieving this meaning is to leave the event variable in the proposition denoted by the vP unbound, as in (85), with the crucial result that existential closure of the event variable does not take place.
Consider the example in (84b) as derived in (85). First, the event variable in the meaning of the embedded clause does not undergo existential closure, preserving the meaning of a property of events. Second (and again assuming events and individuals to be of like types), this property undergoes Predicate Modification with [[idx]], which denotes the property of being anaphoric/familiar, just as it does in the clausal complements of presuppositional verbs, as well as in simple familiar DPs in e.g., Schwarz’s (2009) analysis of German and Hanink’s (2021) analysis of Washo demonstratives. Finally, D ι-binds this property, with a resulting meaning of a unique singing event that is equivalent to a familiar event in the context. Crucially, no reference to factivity is required for familiarity to be achieved.
-
(85)
Hanink (2021) further argues that index-encoding idx is required in internally headed relatives in order to derive the correct meaning of an individual (rather than a proposition), though for reasons of space we do not discuss this construction in any detail here.Footnote 32 Crucially however, we argue that the clausal complements of presuppositional verbs are just like event nominalizations of this kind, in that both pick out an individual via an assignment function. In the case of the former, the index picks out a familiar event. In the case of the latter, it picks out a familiar individual whose content is described by some proposition.
Factivity is not lexically specified
Kastner (2015) has it moreover that factivity may be lexically specified. Given that, in our analysis, presuppositional verbs in Washo already differ in their argument structure from non-presuppositional verbs, they could plausibly be special also in lexicalizing a factivity presupposition directly, just as the classical Hintikkan-style analysis would have it.
We do however find contexts where a proposition that is false in the actual world can appear as the nominalized complement of a presuppositional verb, such as those in (86)–(87).
-
(86)
-
(87)
To be sure, these contexts involve make-believe, where a speaker’s beliefs about the actual world are suspended to make room for what is happening in the make-believe world. Perhaps then we could keep a factivity presupposition in the lexical semantics of the verb, but tied to the evaluation world, which may not necessarily be the actual world. Converging evidence to reject this approach comes however for example from recent work on Korean (Bogal-Allbritten and Moulton 2017), which shows that the familiarity presupposed in nominalized clauses may be just that—familiarity—and not factivity.
Furthermore, if we build factivity directly into certain attitude predicates, then we have to assume that they are ambiguous between a factive and non-factive meaning. That is, while we might want to encode a presupposition of truth to the meaning of ‘see’ in (88), we surely do not want this presupposition to be encoded in the meaning of the same verb in (89).
-
(88)
-
(89)
Given that the complements of such verbs are always DPs, we can maintain a unified denotation for verbs such as ‘see’ or ‘know’ if we do not build a factive presupposition to their meaning in cases in which it is not warranted, as in (89), but rather appeal to the familiarity introduced by both DP complements.
Consider a similar argument for Turkish made by Özyıldız (2017), who shows that the same predicate can give rise to both a factive and non-factive interpretation, depending on the shape of the clause it embeds. As in Washo, a nominalized embedded clause results in a presuppositional (factive) interpretation, which is absent with a non-nominalized clause.
-
(90)
Based on the fact that the same attitude predicate can give rise to different truth conditions, Özyıldız argues that factivity cannot be tied to the verb, but is instead better understood as the result of the entire composition of the predicate with the clause it embeds (see also Schulz 2003). A similar conclusion is drawn by Bondarenko (2019, 2020), who analyzes a factivity alternation in Buryat (Mongolic). In this language as well, a nominalized complement of the verb hanaxa yields a presuppositional interpretation ‘remember,’ while a CP complement yields a non-presuppositional interpretation ‘think.’ Thus, we find converging cross-linguistic evidence that nominalized complements correspond with presuppositional interpretations of attitude reports (with Washo differing in that attitude predicates themselves do not show selectional flexibility).
Deriving default factivity
In sum, our analysis for presuppositional complements uses the same ingredients that are independently motivated in the language for other types of clausal complements like relative clauses and event nominalizations. The only difference between a presuppositional complement and the other types of nominalizations is that the former additionally includes the F\(_{\text{\textsc{prop}}}\) type shift, in order for the resulting individual DP to refer to the content of the proposition, rather than to the proposition itself. While this analysis elegantly accounts for the morphological similarity of these constructions in Washo, it does not directly derive factivity, which is typically encoded as a presupposition of the matrix verb under traditional accounts of propositional attitudes. However, given examples like (86)–(87), as well as recent developments in the analysis of other languages that behave similarly (e.g., Korean, Turkish, Buryat), we believe this to be the correct result.
A complete account of how the apparent flavor of factivity arises—in Washo and cross-linguistically—is beyond the scope of this paper. We offer here a couple of suggestions for how future work might proceed on this question. For instance, Schlenker (2021) proposes a default presupposition projection algorithm for factive verbs and other presupposition triggers. His main motivation is that classical lexicalist theories of presupposition run into problems in cases where a presupposition trigger does not uniformly trigger the relevant presupposition (for instance, like our (86) and (87) above), and in cases where a presupposition projects in the absence of a lexical trigger (e.g., in the case of certain gestures). We refer the reader to Schlenker’s paper for the details, but the upshot of the proposal is that presuppositions need not be lexicalized in particular expressions, but rather arise as a result of the way that the entailments of certain expressions interact with the context (either the context of utterance or the local linguistic context). Such a view fits in nicely within the broader research program of taking a compositional rather than lexical approach to attitude ascriptions, which we follow in this paper.
Another possibility, suggested by a reviewer, is that presuppositional verbs in Washo have a “fact” argument, which can be saturated by a nominalized clause. This may be an interesting avenue to pursue. In this connection, though, we note that Washo does not seem to have a noun corresponding to English ‘fact’ (cf. Kastner 2015).
Non-presuppositional modifiers
We now turn to instances of clausal embedding by non-presuppositional verbs. Structurally speaking, clauses embedded by non-presuppositional verbs in Washo lack a nominalizing DP-layer (as well as a CP-layer, but this does not play a role in our account). Given that the function of the nominalizing D head is to transform properties into individuals, it then follows that the absence of D in non-presuppositional clauses means that these clauses denote properties.
Following our analysis of embedded clauses in the previous section, we apply the F\(_{\text{\textsc{prop}}}\) type shift at the TP level, transforming a proposition into a property of individuals. This property then combines with the dependent mood marker -aʔ. Given the conjunction semantics we proposed for -aʔ in (75), the result is a function from properties of individuals to properties of individuals. Assuming that events and individuals are both type of type e (as introduced in Sect. 4.1), this meaning can combine directly with the matrix verb it modifies via Function Application. The composition of non-presuppositional clauses thus proceeds as in (91).Footnote 33
-
(91)
After adding in the attitude holder argument and existentially closing the matrix event variable, we arrive at the truth conditions in (92). The content of the attitude is equated with the attitude event itself via the conjunction semantics of the dependent mood.
-
(92)
Our semantics for clausal modification predicts that these clauses should not stack recursively: F\(_{\text{\textsc{prop}}}\) is defined in terms of equality, and so the stacking of “contents” of multiple propositions should result in contradiction (see also Moulton 2009:29; Elliott 2016:183–184). This prediction appears to be correct for Washo: instead of stacking bare -aʔ-clauses in the relevant contexts, speakers provide an adjunct instead that indicates temporal simultaneity (more on this in Sect. 5.5). Note that the switch reference marker -š is present on the most deeply embedded verb ‘run away’ in (93), which indicates that this clause is a full CP rather than a MoodP modifier (as discussed in Sect. 3.2.1). We note that it is a descriptive fact about Washo that clauses headed by the dependent marker -aʔ cannot be coordinated, though we do not address the syntax of coordination here.
-
(93)
The mood marker difference generalized
We now step back and discuss how the semantics for the mood markers -i and -aʔ that we proposed in Sect. 5.1 can be leveraged to account for their distribution beyond clauses embedded by presuppositional and non-presuppositional verbs. In particular, the dependent mood -aʔ appears in several types of adjunct clauses, and we sketch how our account can be extended to those cases.
Recall that for the independent mood -i, we propose that it denotes the identity function, i.e., it is semantically vacuous. For presuppositional complements, it simply passes up the meaning of an F\(_{\text{\textsc{prop}}}\)-type-shifted TP, which later combines with the idx head -ge and then D; see (77). A similar situation obtains in the case of internally-headed relative clauses and event nominalizations, modulo the absence of F\(_{\text{\textsc{prop}}}\); see e.g., (83a–83b) and (84a–84b), respectively. Recall as well that outside of complement and relative clauses, the independent mood -i occurs as a default mood marker in matrix clauses, as in (94). This fact makes sense in view of our proposal that -i introduces no semantic content.
-
(94)
This meaning for the independent mood stands in contrast to the dependent mood marker -aʔ, which we have proposed denotes conjunction of properties. This semantics immediately explains why dependent -aʔ doesn’t occur in matrix clauses: the application of -aʔ to a clause does not deliver a propositional type. Given that modification generally involves a conjunctive semantics (Heim and Kratzer 1998), we can understand why the dependent -aʔ occurs in many types of adjunct clauses. In particular, two types of adjunct clauses that we focus on here are (i) “concessive” or “contrastive” adjunct clauses, exemplified in (95); and (ii) temporal adjunct clauses, where the -aʔ-clause receives a “simultaneous” interpretation (often translated by speakers as ‘when’ or ‘while’ in English), exemplified in (96). As we already noted in Sect. 3.2.1, unlike -aʔ-marked clauses embedded by non-presuppositional verbs, both types of adjunct clauses exhibit switch reference morphology when the subjects of both clauses are different, telling us that these adjunct clauses are full CPs.
-
(95)
-
(96)
Let us first consider in more detail the concessive adjunct clauses like in (95). The main clause contains the independent mood -i, while the adjunct clause contains the dependent mood -aʔ, as well as switch reference morphology. As (95) also shows, both clauses contain their own tense (-uŋil ‘past’) and aspect (-ašaʔ ‘prospective’) layers.
We propose that concessive adjunct clauses adjoin high in the main clause structure, at TP. At this height in the structure, the main clause denotes a proposition. Given our analysis of the semantics of -aʔ as generalized conjunction, the adjunct clause itself should also denote a proposition. This is of course plausible since the adjunct clause also contains its own tense. These two propositions are conjoined by the version of -aʔ in (97).
-
(97)
Our full analysis of the sentence in (95) is given below in (98) and (99). Unlike attitude complement clauses, we do not posit an instance of the F\(_{\text{\textsc{prop}}}\) type shift in this case: these clauses do not make reference to an object with propositional content, and no type shift is necessary for the composition. To facilitate a comparison with simultaneous temporal adjunct clauses below, we fully spell out our assumptions about tense here. Following Bochnak (2016), we assume that tenses modify a reference time pronoun located in T. Like other free variables, the reference time pronoun receives its value from the assignment function g. It saturates the temporal argument of AspP, returning a proposition. The general past marker -uŋil restricts the value of the temporal pronoun to a time prior to the speech time; the intermediate past -ayʔ restricts this value to a time in the intermediate past of the speech time.
-
(98)
-
(99)
We note that our semantics on its own does not derive an interpretation of “concession.” We tentatively propose that such an interpretation comes about pragmatically, plausibly due to the incompatibility of the content of both clauses holding simultaneously (i.e., I go to Reno vs. my car breaks down).
Turning now to simultaneous temporal adjuncts, we observe that these adjunct clauses do not and cannot contain their own tense. This is true whether the main clause contains a past or future tense, as shown in (100) and (101).
-
(100)
-
(101)
We propose that simultaneous adjunct clauses attach to AspP in the main clause. Since AspP denotes a predicate of times (e.g., Kratzer 1998), the dependent marker -aʔ thus conjoins predicates of times for this type of adjunct clause, as in (102). This means that the material that -aʔ embeds also denotes a predicate of times. We propose that in this case, the Mood head -aʔ directly embeds an AspP, which has two welcome consequences. First, we get the correct semantic type (i.e., -aʔ conjoins two predicates of times), and second, this explains why simultaneous adjunct clauses cannot host a tense morpheme.Footnote 34 We get temporal simultaneity from the fact that the temporal variable from the main clause will be filled in for the temporal argument of both clauses after they are conjoined. Just as with concessive adjunct clauses, we do not posit an instance of the F\(_{\text{\textsc{prop}}}\) type shift for simultaneous adjunct clauses.
-
(102)
-
(103)
Note that this analysis predicts that such clauses may stack (without an overt coordinator, cf. the discussion of MoodP stacking above in Sect. 5.4). We also predict this in the case of simultaneous adjuncts, given that the meaning of the dependent mood morpheme should allow for recursion. This prediction is borne out, as exemplified in (104):
-
(104)
We note that our analysis also makes predictions about the same type of Condition C effects discussed for MoodP adjuncts to non-presuppositional verbs in Sect. 3.2.2. In that section, we offered evidence from Condition C that these adjuncts are base-generated low, below the matrix subject. Given our proposals above for the height of attachment of concessive and simultaneous adjuncts (at different heights, but both higher than the base position of the main clause subject), we predict that a Condition C violation should not be incurred in cases where an R-expression in these adjunct types precedes a co-indexed pronoun in the main clause. At the moment, we do not have the relevant data to test these predictions. (See Arregi and Hanink 2021 for tentative results involving simultaneous adjuncts that in fact runs counter to our claims here; Condition C effects in Washo are however far from understood and research is ongoing.) Nothing crucial to the core of our proposal hinges on this, however. The main take away point is that the dependent Mood marker -aʔ has the general meaning of conjunction, regardless of the attachment site of the -aʔ-marked clause.
To sum up, our analysis of the dependent mood marker -aʔ as denoting generalized conjunction can help shed light on why this marker can be used in certain complement clauses and adjunct clauses. Note that for the adjunct clauses, we do not include the relations of contrast or simultaneity anywhere in the semantics directly. We believe this is a good thing, since it can account for the wide range of uses of -aʔ-marked clauses. We suggest that the more specific interpretations come about pragmatically, though we do not propose a full analysis here.Footnote 35 Building these meanings into -aʔ directly would not explain why these meanings are not present in -aʔ-marked clauses embedded by non-presuppositional verbs. The generalized conjunction semantics of the dependent mood may also help to explain why -aʔ-marked clauses appear with a fairly high frequency in narratives: -aʔ-marking just denotes conjunction (albeit with a subordination syntax), but has a variety of pragmatic functions, expressing various discourse relations. While we leave a full analysis of all the functions of -aʔ-marking in Washo to future research, we believe our analysis already goes a long way to account for many of the uses of -aʔ-marked clauses in the language.