Appositive Projection as Implicit Context Extension in Dependent Type Semantics

The content of an appositive relative clause is a type of conventional implicature, that is, secondary or supplementary information of a sentence. Focusing on discourse behaviors and scopal properties, we present an analysis of appositive relative clauses based on Dependent Type Semantics, a type-theoretical semantic framework. Our central idea is that appositive content i mplicitly extends the typing context during the process of type checking, reflecting a property of conventional implicatures, namely, that they directly update the common ground.