Mova0.5 pre-release⌕
☰
home / corpora / dictionaries / school dictionary / P / proven

proven

Who acts: court verdict, enough evidence, It, Earth, This, She · What happens: show, be, test, know, prove, not prove · To what, where: court verdict, proven fact, proven way, spellings, rule, Nothing · Speech: someone speaks here

«proven» in the school dictionary: its 3 meanings for a pupil and its 6 examples, every sentence parsed by Mova itself — its syntax tree, a dependency tree in the style of Universal Dependencies, and its pragmatics clause by clause. The word in the dictionary, with its sense in the lessons: proven in the school dictionary.

Meaning 1

Shown to be true by facts or evidence.

markcopxcompcaseparataxisccconjpunctrootShownVERBtoPARTbeAUXtrueADJbyADPfactsNOUNorCCONJevidenceNOUN.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1ShownshowVERBTense=Past VerbForm=Part Voice=Passrootroot
2totoPART_4 truemark
3bebeAUXVerbForm=Inf4 truecop
4truetrueADJDegree=Pos1 Shownxcomp
5bybyADP_6 factscase
6factsfactNOUNNumber=Plur4 trueparataxis
7ororCCONJ_8 evidencecc
8evidenceevidenceNOUNNumber=Sing6 factsconj
9..PUNCT_1 Shownpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1showparticiplevn transfer_mesg-37.1.1-1-1 «NP V»: agent=Agent
2isto-infinitivetrue propertytree rules

One row per clause the reader finds. «not said here»: a role filled from the clause above. «roles by»: a VerbNet class and frame when one fits the verb, else the reader's rules on the tree.

Meaning 2

Tested and known to work: a proven method.

advclccconjcaseoblpunctdetamodpunctrootTestedVERBandCCONJknownVERBtoADPworkNOUN:PUNCTaDETprovenVERBmethodNOUN.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1TestedtestVERBTense=Past VerbForm=Part Voice=Pass9 methodadvcl
2andandCCONJ_3 knowncc
3knownknowVERBTense=Past VerbForm=Part Voice=Pass1 Testedconj
4totoADP_5 workcase
5workworkNOUNNumber=Sing3 knownobl
6::PUNCT_9 methodpunct
7aaDETDefinite=Ind PronType=Art9 methoddet
8provenproveVERBTense=Past VerbForm=Part Voice=Pass9 methodamod
9methodmethodNOUNNumber=Singrootroot
10..PUNCT_9 methodpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1testparticiplevn assessment-34.1 «NP V NP»: agent=Agent
2knowparticipleto workvn comprehend-87.2-1-1-1 «NP V»: agent=Experiencer
3proveparticiplevn declare-29.4-1-1 «NP V what S_INF»: agent=Agent

Meaning 3

Usage: law, Scotland — kept apart, not parsed.

«Not proven» is a court verdict meaning there was not enough evidence.

The tree, 12 words
punctadvmodcsubjpunctcopdetcompoundaclexplccompadvmodamodnsubjpunctroot«PUNCTNotPARTprovenVERB»PUNCTisAUXaDETcourtNOUNverdictNOUNmeaningVERBtherePRONwasVERBnotPARTenoughADJevidenceNOUN.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1««PUNCT_3 provenpunct
2NotnotPARTPolarity=Neg3 provenadvmod
3provenproveVERBTense=Past VerbForm=Part Voice=Pass8 verdictcsubj
4»»PUNCT_3 provenpunct
5isbeAUXMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin8 verdictcop
6aaDETDefinite=Ind PronType=Art8 verdictdet
7courtcourtNOUNNumber=Sing8 verdictcompound
8verdictverdictNOUNNumber=Singrootroot
9meaningmeanVERBVerbForm=Ger8 verdictacl
10theretherePRONPronType=Dem11 wasexpl
11wasbeVERBMood=Ind Number=Sing Person=3 Tense=Past VerbForm=Fin9 meaningccomp
12notnotPARTPolarity=Neg11 wasadvmod
13enoughenoughADJDegree=Pos14 evidenceamod
14evidenceevidenceNOUNNumber=Sing11 wasnsubj
15..PUNCT_8 verdictpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1not prove in a quoteparticiplevn declare-29.4-1-1 «NP V what S_INF»: agent=Agent
2is apresenta court verdicttree rules
3meangerunda court verdict not said herevn intend-61.2-1 «NP V S»: agent=Agent clause=Topic
4not bepastenough evidencetherevn exist-47.1 «NP V»: agent=Theme

Example 1

It is a proven fact that the Earth goes round the Sun.

nsubjcopdetamodmarkdetnsubjaclcasedetoblrootItPRONisAUXaDETprovenVERBfactNOUNthatSCONJtheDETEarthPROPNgoesVERBroundADPtheDETSun.PROPN
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1ItitPRONCase=Nom Gender=Neut Number=Sing Person=3 PronType=Prs5 factnsubj
2isbeAUXMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin5 factcop
3aaDETDefinite=Ind PronType=Art5 factdet
4provenproveVERBTense=Past VerbForm=Part Voice=Pass5 factamod
5factfactNOUNNumber=Singrootroot
6thatthatSCONJ_9 goesmark
7thetheDETDefinite=Def PronType=Art8 Earthdet
8EarthEarthPROPNNumber=Sing9 goesnsubj
9goesgoVERBMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin5 factacl
10roundroundADP_12 Sun.case
11thetheDETDefinite=Def PronType=Art12 Sun.det
12Sun.SundayPROPNNumber=Sing9 goesobl
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1proveparticiplevn declare-29.4-1-1 «NP V what S_INF»: agent=Agent
2is apresentIta proven facttree rules
3gopresentthe Eartha proven fact not said heresundayvn meander-47.7 «PP.location V NP»: agent=Location fact=Theme

Example 2

This is a proven way to learn spellings.

nsubjcopdetamodmarkaclobjpunctrootThisPRONisAUXaDETprovenVERBwayNOUNtoPARTlearnVERBspellingsNOUN.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1ThisthisPRONNumber=Sing PronType=Dem5 waynsubj
2isbeAUXMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin5 waycop
3aaDETDefinite=Ind PronType=Art5 waydet
4provenproveVERBTense=Past VerbForm=Part Voice=Pass5 wayamod
5waywayNOUNNumber=Singrootroot
6totoPART_7 learnmark
7learnlearnVERBVerbForm=Inf5 wayacl
8spellingsspellingNOUNNumber=Plur7 learnobj
9..PUNCT_5 waypunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1proveparticiplevn declare-29.4-1-1 «NP V what S_INF»: agent=Agent
2is apresentThisa proven waytree rules
3learnto-infinitivespellingsvn learn-14-2-1 «NP V NP»: agent=Agent spelling=Topic

Example 3

The rule has been proven for all whole numbers.

detnsubj:passauxaux:passcasedetamodoblpunctrootTheDETruleNOUNhasAUXbeenAUXprovenVERBforADPallDETwholeADJnumbersNOUN.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1ThetheDETDefinite=Def PronType=Art2 ruledet
2ruleruleNOUNNumber=Sing5 provennsubj:pass
3hashaveAUXMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin5 provenaux
4beenbeAUXTense=Past VerbForm=Part5 provenaux:pass
5provenproveVERBTense=Past VerbForm=Part Voice=Passrootroot
6forforADP_9 numberscase
7allallDETPronType=Tot9 numbersdet
8wholewholeADJDegree=Pos9 numbersamod
9numbersnumberNOUNNumber=Plur5 provenobl
10..PUNCT_5 provenpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1provepresent · perfect · passivethe rulefor all whole numbersvn deduce-97.2 «NP V NP»: subject=Theme

Example 4

Nothing has been proven yet.

nsubj:passauxaux:passadvmodpunctrootNothingPRONhasAUXbeenAUXprovenVERByetADV.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1NothingnothingPRONNumber=Sing PronType=Neg4 provennsubj:pass
2hashaveAUXMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin4 provenaux
3beenbeAUXTense=Past VerbForm=Part4 provenaux:pass
4provenproveVERBTense=Past VerbForm=Part Voice=Passrootroot
5yetyetADV_4 provenadvmod
6..PUNCT_4 provenpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1provepresent · perfect · passiveNothingyetvn deduce-97.2 «NP V NP»: subject=Theme

Example 5

She is a proven winner.

nsubjcopdetamodpunctrootShePRONisAUXaDETprovenVERBwinnerNOUN.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1SheshePRONCase=Nom Gender=Fem Number=Sing Person=3 PronType=Prs5 winnernsubj
2isbeAUXMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin5 winnercop
3aaDETDefinite=Ind PronType=Art5 winnerdet
4provenproveVERBTense=Past VerbForm=Part Voice=Pass5 winneramod
5winnerwinnerNOUNNumber=Singrootroot
6..PUNCT_5 winnerpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1proveparticiplevn declare-29.4-1-1 «NP V what S_INF»: agent=Agent
2is apresentShea proven winnertree rules

Example 6

The advert says it is clinically proven.

detnsubjnsubj:passaux:passadvmodccomppunctrootTheDETadvertNOUNsaysVERBitPRONisAUXclinicallyADVprovenVERB.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1ThetheDETDefinite=Def PronType=Art2 advertdet
2advertadvertNOUNNumber=Sing3 saysnsubj
3sayssayVERBMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Finrootroot
4ititPRONCase=Nom Gender=Neut Number=Sing Person=3 PronType=Prs7 provennsubj:pass
5isbeAUXMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin7 provenaux:pass
6clinicallyclinicallyADV_7 provenadvmod
7provenproveVERBTense=Past VerbForm=Part Voice=Pass3 saysccomp
8..PUNCT_3 sayspunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1say speech: assertpresentthe advertvn say-37.7-1-1 «NP V that S»: agent=Agent clause=Topic
2provepresent · passiveadvertclinically propertyvn deduce-97.2 «NP V NP»: subject=Theme

Text: the school dictionary of Mova's schools (world/data/dictionary-schools/), written for Mova. Trees: Mova's own parse — the en model on the CPU, when the site is built — not checked by a teacher; they may be wrong. Frames: Mova's frames reader (prag), each meaning and example read on its own. Elamur Cosmic License.

This page in Markdown → https://md.mova.elamur.ai/free/en/corpora/dictionaries/school/P/proven/