Modal indefinites

A modal indefinite is a determiner whose existential claim carries a modal component (Spanish algún and uno cualquiera, German irgendein, Chuj yalnhej). The record holds the dimensions along which they vary: the content layer of the component (at-issue, or an implicature), the flavors it can take, whether the existential claim is upper-bounded, the definedness condition on its anchor, and the lexical properties that correlate with them.

Main definitions

• ModalIndefinite — the determiner record.

References

• [alonso-ovalle-royer-2024]
• [alonso-ovalle-menendez-benito-2010]
• [kratzer-shimoyama-2002]

structure ModalIndefiniteextends Determiner : Type

A modal indefinite determiner.

• form : String
• status : Presupposition.ContentLayer

  The content layer of the modal component: at-issue, or an implicature.

• flavors : Finset Modality.ModalFlavor

  The modal flavors the component can take.

• upperBounded : Bool

  Whether the existential claim excludes the whole domain satisfying the scope.

• hasUnremarkableReading : Bool

  Whether the item also has a non-modal reading on which the witness is unremarkable.

• canBePredicate : Bool

  Whether the item can be a predicate.

• anchorConstraint : Option Modality.AnchorConstraint

  The definedness condition on the anchor, for items whose component is projected from an event.

• numberNeutral : Bool

  Whether the item is semantically number neutral.

@[instance_reducible]

instance instDecidableEqModalIndefinite : DecidableEq ModalIndefinite

Equations

• instDecidableEqModalIndefinite = instDecidableEqModalIndefinite.decEq

def instDecidableEqModalIndefinite.decEq (x✝ x✝¹ : ModalIndefinite) : Decidable (x✝ = x✝¹)

Equations

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