Random word

Get to know Gonthier better with 1 real example sentences.

Rare word

Gonthier in a sentence

Context around Gonthier

  • Average sentence length in these examples: 18 words
  • Position in the sentence: 0 start, 1 middle, 0 end
  • Sentence types: 1 statements, 0 questions, 0 exclamations

Often before:

georges 1×

Often after:

formalized 1×

Sentence patterns with Gonthier

These short patterns come directly from the example sentences and show how the word is often embedded:

and georges gonthier formalized a 1×

Sentence openings and endings

Common sentence openings:

in 2005 benjamin 1×

Common sentence endings:

coq proof assistant 1×

Words around Gonthier

Just before it in the word index:

gontar 2 gonson 2 gonsolin 22 gonslow 2 gonski 6 gonshak 4

Just after it in the word index:

gontse 3 gonu 2 gonville 6 gony 2 gonyea 9 gonyeti 3

Similar in corpus frequency:

aabb 4 aabria 4 aacha 4 aacta 4 aadu 4 aafmaa 4

Corpus analysis for Gonthier

  • In this selection, "gonthier" usually appears in the middle of the sentence. The average example has 18 words, and this corpus slice is mostly made up of statements.
  • Around the word, georges and formalized stand out and add context to how "gonthier" is used.
  • Recognizable usage signals include and georges gonthier formalized a. That gives this page its own corpus information beyond isolated example sentences.
  • By corpus frequency, "gonthier" sits close to words such as aabb, aabria and aacha, which helps place it inside the broader word index.

Example types with gonthier

The same corpus examples are grouped by length and sentence type, making it easier to see the contexts in which the word appears:

Short example sentences

In 2005, Benjamin Werner and Georges Gonthier formalized a proof of the theorem inside the Coq proof assistant. (18 words)

Longer example sentences

In 2005, Benjamin Werner and Georges Gonthier formalized a proof of the theorem inside the Coq proof assistant. (18 words)

Example sentences (1)

In 2005, Benjamin Werner and Georges Gonthier formalized a proof of the theorem inside the Coq proof assistant.

Frequently asked questions

How do you use "gonthier" in a sentence?
An example: "In 2005, Benjamin Werner and Georges Gonthier formalized a proof of the theorem inside the Coq proof assistant." This page contains 1 example sentence with the word "gonthier" from authentic English texts.
How many example sentences with "gonthier" are there?
Voorbeeldzinnen.info contains 1 example sentence with "gonthier", drawn from a database of millions of English sentences.