Documentation

Linglib.Phenomena.Complementation.Attitudes.ConjunctionDistribution.Data

Conjunction Distribution: Empirical Data #

Theory-neutral empirical judgments about conjunction distribution with attitude verbs.

The empirical generalization: some attitude verbs distribute over conjunction in their complement, and some do not.

"John believes p and q" ↔ "John believes p and John believes q" ✓ "John is surprised that p and q" ↛ "John is surprised that p..." ✗

source
structure Phenomena.Complementation.Attitudes.ConjunctionDistribution.ConjDistDatum :
Type

A single empirical datum about conjunction distribution. Records whether a given verb distributes over conjunction in its clausal complement.

  • verb : String

    Citation form of the verb

  • distributes : Bool

    Does "V(p and q)" entail "V(p) and V(q)"?

  • citation : String

    Source citation

Instances For
    source
    instance Phenomena.Complementation.Attitudes.ConjunctionDistribution.instReprConjDistDatum :
    Repr ConjDistDatum
    Equations
    source
    def Phenomena.Complementation.Attitudes.ConjunctionDistribution.instReprConjDistDatum.repr :
    ConjDistDatum → Nat → Std.Format
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      def Phenomena.Complementation.Attitudes.ConjunctionDistribution.instBEqConjDistDatum.beq :
      ConjDistDatum → ConjDistDatum → Bool
      Equations
      Instances For
        source
        instance Phenomena.Complementation.Attitudes.ConjunctionDistribution.instBEqConjDistDatum :
        BEq ConjDistDatum
        Equations
        source
        def Phenomena.Complementation.Attitudes.ConjunctionDistribution.data :
        List ConjDistDatum

        Empirical data from @cite{bondarenko-elliott-2026} §1. Upward-monotone attitudes distribute; non-monotone ones do not.

        Equations
        • One or more equations did not get rendered due to their size.
        Instances For
          source
          theorem Phenomena.Complementation.Attitudes.ConjunctionDistribution.distributing_count :
          (List.filter (fun (x : ConjDistDatum) => x.distributes) data).length = 6

          Count of distributing verbs in the dataset.

          source
          theorem Phenomena.Complementation.Attitudes.ConjunctionDistribution.non_distributing_count :
          (List.filter (fun (x : ConjDistDatum) => !x.distributes) data).length = 2

          Count of non-distributing verbs in the dataset.