Logos

CONSTRUCTIONcon.spa.haber-de-infinitivo

perífrasis de obligación con haber de

A two part predicate stating a requirement or an expectation in a register markedly more formal than its competitors.

The construction states a requirement that is weaker and less immediate than the one its competitors state, and it is marked as belonging to a formal or literary register in most varieties, though it survives in ordinary speech in some regions. Beside the obligation reading it carries a prospective one, in which the event is presented as due to happen rather than as required, and that reading is the older of the two and the source of the ordinary prospective construction in the history of the language. Its auxiliary is the same one that heads the compound perfect and the existential pattern, and this construction is the third of the three places that auxiliary appears, which is why it is authored rather than treated as an ordinary verb taking a complement.

statusstatus
documentedasserted, and the sources agree
provenanceprovenance
authoredwritten for Logos, from first principles
derivation statusderivation_status
unstatednobody has said whether it follows from anything
saliencesalience
No salience. Where no frequency source applies the object carries none, rather than a default or a guess (03-schema.md §3.5).
aliasesaliases
  • metalanguageobligation periphrasis with haber de
sourcessources
  • SOURCENueva gramática de la lengua española (2009)src.nueva-gramaticano page in v1
  • SOURCEA New Reference Grammar of Modern Spanish (Butt and Benjamin)src.butt-benjaminno page in v1

Why this is a construction at all

construction.admission

Goldberg's admission test: a template earns storage either by being unpredictable or by being frequent.

admissionadmission
unpredictableit is stored because its meaning does not follow from its parts

The slots

construction.slots

At least two, by the schema: fewer is not a multi-element template. Every filler is a link, never a name in prose.

  1. 0el auxiliar haber, finitolexically specified: only the fillers below may occupy it

    fillerslots[].filler
    functionslots[].fn
    No function is assigned to this slot.

  2. 1el nexo de, obligatoriolexically specified: only the fillers below may occupy it

    fillerslots[].filler
    functionslots[].fn
    No function is assigned to this slot.

  3. 2el infinitivolexically specified: only the fillers below may occupy it

    fillerslots[].filler
    functionslots[].fn
    FUNCTIONnúcleofun.spa.nucleo

Slot template

3 slots: 3 constrained, 0 positional, 1 naming a grammatical function.

  1. el auxiliar haber, finito
    constrained
    • verbo auxiliarclass
  2. el nexo de, obligatorio
    constrained
    • preposiciónclass
  3. el infinitivo
    constrained
    • verboclass

    names núcleo

Confusable with

construction.confusable

Objects a reader is likely to mix up with this one, and the difference that separates them. The edge is symmetric and stored once, so this renders on both objects' pages from the one statement.

Everything joined to this object

One group per typed edge, in both directions. A1b guarantees no object node is an orphan, so this is the whole navigation: an object with no edges would have failed the build rather than reached this page.

What this object is a kind of

Walking this object's own `is-a` edges: what it is a kind of. Several branches from one object are several classification axes, not competing supertypes.

objects
2
places drawn
2
multi-parent
None in this view. This subgraph happens to be a tree, which the explorer draws as one without assuming it is one.

dimensions in viewauxiliary

Siblings are listed by name, then by id to break ties. That is a display choice made here and not an order the graph asserts.

Fan-out per dimension

A4

One row per dimension, largest first. That is a display order, not a verdict: 03-schema.md declares no threshold above which fan-out is too much, so this reports the count and grades nothing.

  • case13 values
  • mood8 values
  • voice8 values
  • aspect7 values
  • aktionsart6 values
  • number6 values
  • person6 values
  • tense6 values
  • comparison4 values
  • evidentiality4 values
  • gender4 values
  • politeness4 values
  • valency4 values
  • animacy3 values
  • definiteness3 values
  • deixis3 values
  • finiteness2 values
  • information structure2 values
  • interrogativity2 values
  • polarity2 values
  • switch-reference2 values

What kinds of this object there are

Walking the `is-a` edges that point at this object: what kinds of it there are. An object reachable two ways is drawn in both places and is still one object.

objects
1
places drawn
1
multi-parent
None in this view. This subgraph happens to be a tree, which the explorer draws as one without assuming it is one.

dimensions in viewauxiliary

Siblings are listed by name, then by id to break ties. That is a display choice made here and not an order the graph asserts.

is-a

edges.is-a

subsumption

this object is a

has-a

edges.has-a

the parent carries this

this object carries

derives

edges.derives

the why-chain

derived by