Documentation

Linglib.Fragments.Spanish.ModalIndefinites

Spanish Modal Indefinite Fragment #

@cite{alonso-ovalle-menendez-benito-2010} @cite{alonso-ovalle-menendez-benito-2018}

Lexical entries for Spanish modal indefinites algún and uno cualquiera.

source
def Fragments.Spanish.ModalIndefinites.algúnEntry :
Core.ModalIndefinite.ModalIndefiniteEntry

algún: not-at-issue, epistemic only, upper-bounded. The modal component is a conversational implicature derived from the anti-singleton constraint on the domain (@cite{alonso-ovalle-menendez-benito-2010}, §4).

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    def Fragments.Spanish.ModalIndefinites.unoCualquieraEntry :
    Core.ModalIndefinite.ModalIndefiniteEntry

    uno cualquiera: at-issue, random choice only, upper-bounded. The random choice interpretation requires a volitional predicate; with non-volitional predicates only the unremarkable reading is available (@cite{alonso-ovalle-menendez-benito-2018}, §1.1).

    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      theorem Fragments.Spanish.ModalIndefinites.algún_not_at_issue :
      algúnEntry.status = Core.ModalIndefinite.ModalComponentStatus.notAtIssue
      source
      theorem Fragments.Spanish.ModalIndefinites.algún_epistemic :
      algúnEntry.hasEpistemic = true
      source
      theorem Fragments.Spanish.ModalIndefinites.algún_no_rc :
      algúnEntry.hasCircumstantial = false
      source
      theorem Fragments.Spanish.ModalIndefinites.algún_ub :
      algúnEntry.upperBounded = true
      source
      theorem Fragments.Spanish.ModalIndefinites.unoCualquiera_at_issue :
      unoCualquieraEntry.status = Core.ModalIndefinite.ModalComponentStatus.atIssue
      source
      theorem Fragments.Spanish.ModalIndefinites.unoCualquiera_rc :
      unoCualquieraEntry.hasCircumstantial = true
      source
      theorem Fragments.Spanish.ModalIndefinites.unoCualquiera_no_epistemic :
      unoCualquieraEntry.hasEpistemic = false
      source
      theorem Fragments.Spanish.ModalIndefinites.unoCualquiera_ub :
      unoCualquieraEntry.upperBounded = true
      source
      theorem Fragments.Spanish.ModalIndefinites.algún_unoCualquiera_contrast :
      algúnEntry.status ≠ unoCualquieraEntry.status ∧ algúnEntry.flavors ≠ unoCualquieraEntry.flavors ∧ algúnEntry.upperBounded = unoCualquieraEntry.upperBounded

      algún and uno cualquiera share upper-boundedness but differ in status and flavor: algún is not-at-issue + epistemic, uno cualquiera is at-issue + random choice.