FORMfrm.spa.hay
hay
The impersonal present of the auxiliary of the compound tenses, asserting existence and agreeing with nothing.
The shape belongs to the second of the two paradigms this verb carries, and it is the only cell of that paradigm that departs from the auxiliary paradigm in shape as well as in use. It has no subject to agree with and keeps one form whatever the number of the thing it asserts to exist, which contradicts the agreement operation directly rather than falling outside it. The shape is also the clearest case in the language for storing more than one paradigm against a single word.
- status
status documentedasserted, and the sources agree- provenance
provenance authoredwritten for Logos, from first principles- derivation status
derivation_status irreducibleit follows from nothing: an arbitrary fact of the language- salience
salience - No salience. Where no frequency source applies the object carries none, rather than a default or a guess (03-schema.md §3.5).
- aliases
aliases - spanishhay
- sources
sources - 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
- SOURCENueva gramática de la lengua española (2009)
The shape
form.shapeWhat this form looks like, how it attaches, and in which medium it was recorded.
- surface
surface - hay
- boundness
boundness freeit stands on its own as a word- host size
host_size - not recorded
- medium
medium bothrecorded in both writing and speech- zero
zero falsethis form has a surface
The paradigm cell
form.cellWhere this form sits in a paradigm. A form that sits in none carries no cell, which is a fact about the form and not a gap.
- variant
cell.variant_id impersonal- tense
cell.tense present- person
cell.person el- polarity
cell.polarity - not recorded
The paradigm of haber
Five person slots, not six. There is no tú row and no vosotros row: the dialect target is rioplatense-or-neutral, so the second person singular is vos, and widening the set is a type error rather than an editorial choice. Paradigm variant: the impersonal paradigm.
| tense | yo | vos | el | nosotros | ustedes |
|---|---|---|---|---|---|
| presentindicative | not written | not written | hay | not written | not written |
| imperfectindicative | not written | not written | not written | not written | not written |
| preteriteindicative | not written | not written | not written | not written | not written |
| futureindicative | not written | not written | not written | not written | not written |
| conditionalindicative | not written | not written | not written | not written | not written |
| presentsubjunctive | not written | not written | not written | not written | not written |
| imperfectsubjunctive | not written | not written | not written | not written | not written |
| imperativeimperative | not written | not written | not written | not written | not written |
- no such formthe form does not exist. Somebody looked and asserted the hole, the way soler has no preterite.
- not writtennobody has written this cell yet. A fact about our coverage, not about the language, and the opposite claim to the one above.
- CSthe stem changes, or does not, in this one cell. A per-cell mark and never a painted region: on five slots, with
vosnever diphthongizing, a stem-changing verb alternatesC S C S Cand there is no contiguous block to paint.
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
- 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.
The impersonal present of the auxiliary of the compound tenses, asserting existence and agreeing with nothing.
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
A4One 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.
The impersonal present of the auxiliary of the compound tenses, asserting existence and agreeing with nothing.
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.
has-a
edges.has-athe parent carries this
this object carries
- CATEGORYfinite
cat.finitedocumentedmodeinherent
- CATEGORYindicative
cat.indicativedocumentedmodeinherent
- CATEGORYpresent
cat.presentdocumentedmodeinherent
overrides
edges.overridesdeclared arbitrariness (A7)
this object overrides
reasonThe shape asserts existence and keeps one form whatever the number of the thing asserted to exist, so a plural argument does not produce a plural verb. Agreement is stated as the master operation of the language and this cell does not participate in it.
form-of
edges.form-ofthis shape belongs to this word
this shape belongs to
- LEXEMEhaber
lex.spa.haberdocumentedvariant_idimpersonal
derives
edges.derivesthe why-chain
derived by
roleconclusion