A kind of referring form: the forms of different languages that Table 1 aligns.
- zero : Kind
A zero pronominal.
- pronoun : Kind
An unstressed personal pronoun.
- stressedPronoun : Kind
A stressed personal pronoun.
- demonstrative (deixis : Finset (Finset Discourse.Role)) : Kind
A demonstrative pronoun, with the participant sets of its anchors.
- demonstrativeN (deixis : Finset (Finset Discourse.Role)) : Kind
A demonstrative determiner with a noun, with the participant sets of its anchors.
- definiteN : Kind
The definite article with a noun.
- indefiniteThisN : Kind
Indefinite this with a noun.
- indefiniteN : Kind
The indefinite article with a noun.
- bareN : Kind
A bare noun.
Derives DecidableEq, Fintype.
Used by table1, required, required_eq_of_forall_ne_demonstrativeN, activated_le_of_pronominal, required_eq_inFocus, Form.kinds
Used in Ariel2001