RuytenbeekEtAl2017: experimental results (generated)

Auto-generated from Linglib/Data/Experiments/RuytenbeekEtAl2017.json by scripts/gen_experiments.py. Do not edit by hand: edit the JSON and re-run the generator.

A corpus count of two French interrogative requests and two eye-tracking studies in which participants heard a sentence about a grid of shapes and either answered it with a yes/no (Study 1) or true/false (Study 2) button or moved the shape it mentions. The response times are mixed-model estimates with 95% confidence intervals; the interpretations table records the paper's verbal findings, since the response proportions and fixation durations are only plotted, in figures this manuscript does not contain. Page numbers are those of the authors' manuscript.

Raw data

• https://osf.io/s9mq8/: the data of both studies, as the paper states; the project was not public when checked (2026-09-23)

References

• [ROK17]

inductive RuytenbeekEtAl2017.Study : Type

The two experiments.

• one : Study

  1: interrogatives against an imperative and a control question

• two : Study

  2: declaratives against an imperative and a control declarative

@[instance_reducible]

instance RuytenbeekEtAl2017.instDecidableEqStudy : DecidableEq Study

Equations

• RuytenbeekEtAl2017.instDecidableEqStudy x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def RuytenbeekEtAl2017.instReprStudy.repr : Study → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.

@[instance_reducible]

instance RuytenbeekEtAl2017.instReprStudy : Repr Study

Equations

• RuytenbeekEtAl2017.instReprStudy = { reprPrec := RuytenbeekEtAl2017.instReprStudy.repr }

@[instance_reducible]

instance RuytenbeekEtAl2017.instFintypeStudy : Fintype Study

Equations

• One or more equations did not get rendered due to their size.

inductive RuytenbeekEtAl2017.Construction : Type

The sentence types of the experiments, (17) to (27).

• imperative : Construction

  Imperative: Mettez le cercle rouge ...

• controlInterrogative : Construction

  Interrogative: Le cercle rouge est-il ...?

• canYou : Construction

  Can you: Pouvez-vous mettre ...?

• isItPossible : Construction

  Is it possible: Est-il possible de mettre ...?

• youMust : Construction

  You must: Vous devez mettre ...

• youCan : Construction

  You can: Vous pouvez mettre ...

• itIsPossible : Construction

  It is possible: Il est possible de mettre ...

• controlDeclarative : Construction

  Declarative: Le cercle rouge est ...

@[instance_reducible]

instance RuytenbeekEtAl2017.instDecidableEqConstruction : DecidableEq Construction

Equations

• RuytenbeekEtAl2017.instDecidableEqConstruction x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def RuytenbeekEtAl2017.instReprConstruction.repr : Construction → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.

@[instance_reducible]

instance RuytenbeekEtAl2017.instReprConstruction : Repr Construction

Equations

• RuytenbeekEtAl2017.instReprConstruction = { reprPrec := RuytenbeekEtAl2017.instReprConstruction.repr }

@[instance_reducible]

instance RuytenbeekEtAl2017.instFintypeConstruction : Fintype Construction

Equations

• One or more equations did not get rendered due to their size.

inductive RuytenbeekEtAl2017.Form : Type

The interrogative requests of the corpus count.

• pouvezVous : Form

  Pouvez-vous VP ?: Can you VP?, with a singular addressee

• estIlPossible : Form

  Est-il possible de VP ?: Is it possible to VP?

@[instance_reducible]

instance RuytenbeekEtAl2017.instDecidableEqForm : DecidableEq Form

Equations

• RuytenbeekEtAl2017.instDecidableEqForm x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def RuytenbeekEtAl2017.instReprForm.repr : Form → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.

@[instance_reducible]

instance RuytenbeekEtAl2017.instReprForm : Repr Form

Equations

• RuytenbeekEtAl2017.instReprForm = { reprPrec := RuytenbeekEtAl2017.instReprForm.repr }

@[instance_reducible]

instance RuytenbeekEtAl2017.instFintypeForm : Fintype Form

Equations

• One or more equations did not get rendered due to their size.

inductive RuytenbeekEtAl2017.Response : Type

The response a response time measures.

• move : Response

  move: moving the shape the sentence mentions

• yes : Response

  yes: the yes button of Study 1

@[instance_reducible]

instance RuytenbeekEtAl2017.instDecidableEqResponse : DecidableEq Response

Equations

• RuytenbeekEtAl2017.instDecidableEqResponse x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance RuytenbeekEtAl2017.instReprResponse : Repr Response

Equations

• RuytenbeekEtAl2017.instReprResponse = { reprPrec := RuytenbeekEtAl2017.instReprResponse.repr }

def RuytenbeekEtAl2017.instReprResponse.repr : Response → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.

@[instance_reducible]

instance RuytenbeekEtAl2017.instFintypeResponse : Fintype Response

Equations

• One or more equations did not get rendered due to their size.

inductive RuytenbeekEtAl2017.Directiveness : Type

How often a construction received directive interpretations, in the paper's words.

• almostOnly : Directiveness

  almost only: almost only directive interpretations

• sometimes : Directiveness

  sometimes: directive interpretations beside dominant or many non-directive ones

• never : Directiveness

  never: no directive interpretations

@[instance_reducible]

instance RuytenbeekEtAl2017.instDecidableEqDirectiveness : DecidableEq Directiveness

Equations

• RuytenbeekEtAl2017.instDecidableEqDirectiveness x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance RuytenbeekEtAl2017.instReprDirectiveness : Repr Directiveness

Equations

• RuytenbeekEtAl2017.instReprDirectiveness = { reprPrec := RuytenbeekEtAl2017.instReprDirectiveness.repr }

def RuytenbeekEtAl2017.instReprDirectiveness.repr : Directiveness → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.

@[instance_reducible]

instance RuytenbeekEtAl2017.instFintypeDirectiveness : Fintype Directiveness

Equations

• One or more equations did not get rendered due to their size.

inductive RuytenbeekEtAl2017.Answer : Type

A yes-or-no finding.

• yes : Answer

  yes: yes

• no : Answer

  no: no

@[instance_reducible]

instance RuytenbeekEtAl2017.instDecidableEqAnswer : DecidableEq Answer

Equations

• RuytenbeekEtAl2017.instDecidableEqAnswer x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def RuytenbeekEtAl2017.instReprAnswer.repr : Answer → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.

@[instance_reducible]

instance RuytenbeekEtAl2017.instReprAnswer : Repr Answer

Equations

• RuytenbeekEtAl2017.instReprAnswer = { reprPrec := RuytenbeekEtAl2017.instReprAnswer.repr }

@[instance_reducible]

instance RuytenbeekEtAl2017.instFintypeAnswer : Fintype Answer

Equations

• One or more equations did not get rendered due to their size.

structure RuytenbeekEtAl2017.CorpusCount : Type

A row of section 2.1, manuscript p. 7: the Frantext tokens after 1900 of an interrogative request and the percentage coded as each use.

• tokens : ℕ

  The number of tokens.

• indirectRequest : ℕ

  The percentage coded as indirect requests.

• genuineQuestion : ℕ

  The percentage coded as genuine questions.

• rhetoricalQuestion : ℕ

  The percentage coded as rhetorical questions.

def RuytenbeekEtAl2017.instDecidableEqCorpusCount.decEq (x✝ x✝¹ : CorpusCount) : Decidable (x✝ = x✝¹)

Equations

• One or more equations did not get rendered due to their size.

@[instance_reducible]

instance RuytenbeekEtAl2017.instDecidableEqCorpusCount : DecidableEq CorpusCount

Equations

• RuytenbeekEtAl2017.instDecidableEqCorpusCount = RuytenbeekEtAl2017.instDecidableEqCorpusCount.decEq

def RuytenbeekEtAl2017.instReprCorpusCount.repr : CorpusCount → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.

@[instance_reducible]

instance RuytenbeekEtAl2017.instReprCorpusCount : Repr CorpusCount

Equations

• RuytenbeekEtAl2017.instReprCorpusCount = { reprPrec := RuytenbeekEtAl2017.instReprCorpusCount.repr }

def RuytenbeekEtAl2017.corpus : Form → CorpusCount

The cells of section 2.1, manuscript p. 7, by form; checked against the page images.

Equations

• RuytenbeekEtAl2017.corpus RuytenbeekEtAl2017.Form.pouvezVous = { tokens := 365, indirectRequest := 71, genuineQuestion := 25, rhetoricalQuestion := 4 }
• RuytenbeekEtAl2017.corpus RuytenbeekEtAl2017.Form.estIlPossible = { tokens := 63, indirectRequest := 16, genuineQuestion := 70, rhetoricalQuestion := 14 }

structure RuytenbeekEtAl2017.ResponseTime : Type

A row of sections 2.3 and 3.3, manuscript pp. 11 and 15: the model estimate of the response time of a response to a construction, with its 95% confidence interval, in milliseconds.

• study : Study

  The study.

• construction : Construction

  The construction.

• response : Response

  The response.

• estimate : ℕ

  The estimate.

• ciLow : ℕ

  The lower bound of the confidence interval, as printed.

• ciHigh : ℕ

  The upper bound, as printed.

def RuytenbeekEtAl2017.instDecidableEqResponseTime.decEq (x✝ x✝¹ : ResponseTime) : Decidable (x✝ = x✝¹)

Equations

• One or more equations did not get rendered due to their size.

@[instance_reducible]

instance RuytenbeekEtAl2017.instDecidableEqResponseTime : DecidableEq ResponseTime

Equations

• RuytenbeekEtAl2017.instDecidableEqResponseTime = RuytenbeekEtAl2017.instDecidableEqResponseTime.decEq

def RuytenbeekEtAl2017.instReprResponseTime.repr : ResponseTime → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.

@[instance_reducible]

instance RuytenbeekEtAl2017.instReprResponseTime : Repr ResponseTime

Equations

• RuytenbeekEtAl2017.instReprResponseTime = { reprPrec := RuytenbeekEtAl2017.instReprResponseTime.repr }

def RuytenbeekEtAl2017.responseTimes : List ResponseTime

The 10 rows of sections 2.3 and 3.3, manuscript pp. 11 and 15, in the paper's order; checked against the page images.

Equations

• One or more equations did not get rendered due to their size.

structure RuytenbeekEtAl2017.Interpretation : Type

A row of sections 2.3-2.4 and 3.3-3.4, manuscript pp. 10-11 and 14-15: how often a construction received directive interpretations, and whether those drew fixations on the answer buttons or response times above the imperative's.

• study : Study

  The study.

• construction : Construction

  The construction.

• directive : Directiveness

  How often it was interpreted as a directive.

• answerActivity : Option Answer

  Whether its directive interpretations showed activity toward answering: fixations on the answer buttons or longer response times than the imperative; none when it had none.

@[instance_reducible]

instance RuytenbeekEtAl2017.instDecidableEqInterpretation : DecidableEq Interpretation

Equations

• RuytenbeekEtAl2017.instDecidableEqInterpretation = RuytenbeekEtAl2017.instDecidableEqInterpretation.decEq

def RuytenbeekEtAl2017.instDecidableEqInterpretation.decEq (x✝ x✝¹ : Interpretation) : Decidable (x✝ = x✝¹)

Equations

• One or more equations did not get rendered due to their size.

@[instance_reducible]

instance RuytenbeekEtAl2017.instReprInterpretation : Repr Interpretation

Equations

• RuytenbeekEtAl2017.instReprInterpretation = { reprPrec := RuytenbeekEtAl2017.instReprInterpretation.repr }

def RuytenbeekEtAl2017.instReprInterpretation.repr : Interpretation → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.

def RuytenbeekEtAl2017.interpretations : List Interpretation

The 9 rows of sections 2.3-2.4 and 3.3-3.4, manuscript pp. 10-11 and 14-15, in the paper's order; checked against the page images.

Equations

• One or more equations did not get rendered due to their size.