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

prove

Who acts: something, you, test, She, muddy paws, dog · What happens: show, be, turn out, do, let, rise · To what, where: baking, herself, 7, prime number, dog, pool · Speech: someone speaks here

«prove» in the school dictionary: its 4 meanings for a pupil and its 8 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: prove in the school dictionary.

Meaning 1

To show with facts or reasons that something is true.

markcaseoblccconjmarknsubjcopccomppunctrootToPARTshowVERBwithADPfactsNOUNorCCONJreasonsNOUNthatSCONJsomethingPRONisAUXtrueADJ.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1TotoPART_2 showmark
2showshowVERBMood=Imp VerbForm=Finrootroot
3withwithADP_4 factscase
4factsfactNOUNNumber=Plur2 showobl
5ororCCONJ_6 reasonscc
6reasonsreasonNOUNNumber=Plur4 factsconj
7thatthatSCONJ_10 truemark
8somethingsomethingPRONNumber=Sing PronType=Ind10 truensubj
9isbeAUXMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin10 truecop
10truetrueADJDegree=Pos2 showccomp
11..PUNCT_2 showpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1showto-infinitivewith facts or reasonsvn transfer_mesg-37.1.1-1-1 «NP V»: agent=Agent
2ispresentsomethingtrue 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

To turn out to be.

markcompound:prtmarkadvclpunctrootToPARTturnVERBoutADPtoPARTbeAUX.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1TotoPART_2 turnmark
2turnturnVERBMood=Imp VerbForm=Finrootroot
3outoutADP_2 turncompound:prt
4totoPART_5 bemark
5bebeAUXVerbForm=Inf2 turnadvcl
6..PUNCT_2 turnpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1turn outto-infinitivevn appear-48.1.1 «NP V»: agent=Theme

The example in this meaning, parsed on its own:

"The test proved easy."

punctdetnsubjxcomppunctpunctroot"PUNCTTheDETtestNOUNprovedVERBeasyADJ.PUNCT"PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1""PUNCT_4 provedpunct
2ThetheDETDefinite=Def PronType=Art3 testdet
3testtestNOUNNumber=Sing4 provednsubj
4provedproveVERBMood=Ind Number=Sing Person=3 Tense=Past VerbForm=Finrootroot
5easyeasyADJDegree=Pos4 provedxcomp
6..PUNCT_4 provedpunct
7""PUNCT_4 provedpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1prove in a quotepastthe testeasy propertyvn declare-29.4-1-1 «NP V what S_INF»: agent=Agent

Meaning 3

To show what you can do.

markobjnsubjauxccomppunctrootToPARTshowVERBwhatPRONyouPRONcanAUXdoVERB.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1TotoPART_2 showmark
2showshowVERBMood=Imp VerbForm=Finrootroot
3whatwhatPRONPronType=Int6 doobj
4youyouPRONCase=Nom Person=2 PronType=Prs6 donsubj
5cancanAUXVerbForm=Fin6 doaux
6dodoVERBVerbForm=Inf2 showccomp
7..PUNCT_2 showpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1showto-infinitivevn transfer_mesg-37.1.1-1-1 «NP V how S»: agent=Agent clause=Topic
2docanyouvn act-114-1 «NP V NP»: agent=Agent what=Eventuality

The example in this meaning, parsed on its own:

"She proved herself a good captain."

punctnsubjobjdetamodobjpunctpunctroot"PUNCTShePRONprovedVERBherselfPRONaDETgoodADJcaptainNOUN.PUNCT"PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1""PUNCT_3 provedpunct
2SheshePRONCase=Nom Gender=Fem Number=Sing Person=3 PronType=Prs3 provednsubj
3provedproveVERBMood=Ind Number=Sing Person=3 Tense=Past VerbForm=Finrootroot
4herselfherselfPRONCase=Acc Gender=Fem Number=Sing Person=3 PronType=Prs Reflex=Yes3 provedobj
5aaDETDefinite=Ind PronType=Art7 captaindet
6goodgoodADJDegree=Pos7 captainamod
7captaincaptainNOUNNumber=Sing3 provedobj
8..PUNCT_3 provedpunct
9""PUNCT_3 provedpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1prove in a quotepastSheherself = shevn declare-29.4-1-1 «NP V NP ADJ»: agent=Agent herself=Theme captain=Attribute

Meaning 4

In baking, to let dough rise before cooking.

caseoblpunctmarkcompoundxcompmarkadvclpunctrootInADPbakingNOUN,PUNCTtoPARTletVERBdoughNOUNriseVERBbeforeSCONJcookingVERB.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1IninADP_2 bakingcase
2bakingbakingNOUNNumber=Sing5 letobl
3,,PUNCT_5 letpunct
4totoPART_5 letmark
5letletVERBMood=Imp VerbForm=Finrootroot
6doughdoughNOUNNumber=Sing7 risecompound
7riseriseVERBVerbForm=Inf5 letxcomp
8beforebeforeSCONJ_9 cookingmark
9cookingcookVERBTense=Pres VerbForm=Part7 riseadvcl
10..PUNCT_5 letpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1letto-infinitivebakingtree rules
2riseinfinitivevn assuming_position-50 «NP V»: agent=Agent
3cookgerundvn cooking-45.3 «NP.patient V»: agent=Patient

Example 1

Can you prove that 7 is a prime number?

auxnsubjmarkobjcopdetamodccomppunctrootCanAUXyouPRONproveVERBthatSCONJ7NUMisAUXaDETprimeADJnumberNOUN?PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1CancanAUXVerbForm=Fin3 proveaux
2youyouPRONCase=Nom Person=2 PronType=Prs3 provensubj
3proveproveVERBVerbForm=Infrootroot
4thatthatSCONJ_5 7mark
577NUMNumForm=Digit NumType=Card3 proveobj
6isbeAUXMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin9 numbercop
7aaDETDefinite=Ind PronType=Art9 numberdet
8primeprimeADJDegree=Pos9 numberamod
9numbernumberNOUNNumber=Sing3 proveccomp
10??PUNCT_3 provepunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1provecanyou7vn deduce-97.2 «NP V NP»: agent=Agent 7=Theme
2is apresentyou not said herea prime numbertree rules

Example 2

The muddy paws proved the dog had been outside.

detamodnsubjdetobjauxcopacl:relclpunctrootTheDETmuddyADJpawsNOUNprovedVERBtheDETdogNOUNhadAUXbeenAUXoutsideADV.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1ThetheDETDefinite=Def PronType=Art3 pawsdet
2muddymuddyADJDegree=Pos3 pawsamod
3pawspawNOUNNumber=Plur4 provednsubj
4provedproveVERBMood=Ind Number=Plur Person=3 Tense=Past VerbForm=Finrootroot
5thetheDETDefinite=Def PronType=Art6 dogdet
6dogdogNOUNNumber=Sing4 provedobj
7hadhaveAUXMood=Ind Number=Sing Person=3 Tense=Past VerbForm=Fin9 outsideaux
8beenbeAUXTense=Past VerbForm=Part9 outsidecop
9outsideoutsideADV_6 dogacl:relcl
10..PUNCT_4 provedpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1provepastthe muddy pawsthe dogvn deduce-97.2 «NP V NP»: agent=Agent dog=Theme
2ispast · perfectthe dog not said hereoutside propertytree rules

Example 3

He wanted to prove that he could swim across the pool.

nsubjmarkxcompmarknsubjauxccompcasedetoblpunctrootHePRONwantedVERBtoPARTproveVERBthatSCONJhePRONcouldAUXswimVERBacrossADPtheDETpoolNOUN.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1HehePRONCase=Nom Gender=Masc Number=Sing Person=3 PronType=Prs2 wantednsubj
2wantedwantVERBMood=Ind Number=Sing Person=3 Tense=Past VerbForm=Finrootroot
3totoPART_4 provemark
4proveproveVERBVerbForm=Inf2 wantedxcomp
5thatthatSCONJ_8 swimmark
6hehePRONCase=Nom Gender=Masc Number=Sing Person=3 PronType=Prs8 swimnsubj
7couldcouldAUXVerbForm=Fin8 swimaux
8swimswimVERBVerbForm=Inf4 proveccomp
9acrossacrossADP_11 poolcase
10thetheDETDefinite=Def PronType=Art11 pooldet
11poolpoolNOUNNumber=Sing8 swimobl
12..PUNCT_2 wantedpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1wantpastHevn want-32.1-1-1 «NP V NP S_INF»: agent=Pivot clause=Theme
2prove not said to happento-infinitiveHe not said herevn declare-29.4-1-1 «NP V what S_INF»: agent=Agent clause=Theme
3swimcouldhethe poolvn run-51.3.2-1 «NP V PP.location»: agent=Theme across pool=Trajectory

Example 4

The map proved very useful on the hike.

detnsubjadvmodxcompcasedetoblpunctrootTheDETmapNOUNprovedVERBveryADVusefulADJonADPtheDEThikeNOUN.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1ThetheDETDefinite=Def PronType=Art2 mapdet
2mapmapNOUNNumber=Sing3 provednsubj
3provedproveVERBMood=Ind Number=Sing Person=3 Tense=Past VerbForm=Finrootroot
4veryveryADV_5 usefuladvmod
5usefulusefulADJDegree=Pos3 provedxcomp
6ononADP_8 hikecase
7thetheDETDefinite=Def PronType=Art8 hikedet
8hikehikeNOUNNumber=Sing5 usefulobl
9..PUNCT_3 provedpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1provepastthe mapuseful propertyvn declare-29.4-1-1 «NP V what S_INF»: agent=Agent

Example 5

She proved everyone wrong by winning the race.

nsubjobjxcompmarkadvcldetobjpunctrootShePRONprovedVERBeveryonePRONwrongADJbySCONJwinningVERBtheDETraceNOUN.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1SheshePRONCase=Nom Gender=Fem Number=Sing Person=3 PronType=Prs2 provednsubj
2provedproveVERBMood=Ind Number=Sing Person=3 Tense=Past VerbForm=Finrootroot
3everyoneeveryonePRONNumber=Sing PronType=Tot2 provedobj
4wrongwrongADJDegree=Pos2 provedxcomp
5bybySCONJ_6 winningmark
6winningwinVERBTense=Pres VerbForm=Part2 provedadvcl
7thetheDETDefinite=Def PronType=Art8 racedet
8raceraceNOUNNumber=Sing6 winningobj
9..PUNCT_2 provedpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1provepastSheeveryonewrong propertyvn deduce-97.2 «NP V NP»: agent=Agent everyone=Theme
2wingerundShe not said herethe racevn succeed-74-2 «NP V NP»: agent=Agent race=Eventuality

Example 6

Let the bread dough prove for an hour.

detcompoundobjxcompcasedetoblpunctrootLetVERBtheDETbreadNOUNdoughNOUNproveVERBforADPanDEThourNOUN.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1LetletVERBMood=Imp VerbForm=Finrootroot
2thetheDETDefinite=Def PronType=Art4 doughdet
3breadbreadNOUNNumber=Sing4 doughcompound
4doughdoughNOUNNumber=Sing1 Letobj
5proveproveVERBVerbForm=Inf1 Letxcomp
6forforADP_8 hourcase
7anaDETDefinite=Ind PronType=Art8 hourdet
8hourhourNOUNNumber=Sing5 proveobl
9..PUNCT_1 Letpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1letimperativeyou not said herethe bread doughtree rules
2proveinfinitivethe bread dough not said herehourvn declare-29.4-1-1 «NP V what S_INF»: agent=Agent

Example 7

Show your working to prove your answer.

nmod:possobjmarkccompnmod:possobjpunctrootShowVERByourPRONworkingNOUNtoPARTproveVERByourPRONanswerNOUN.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1ShowshowVERBMood=Imp VerbForm=Finrootroot
2youryourPRONCase=Gen Person=2 Poss=Yes PronType=Prs3 workingnmod:poss
3workingworkingNOUNNumber=Sing1 Showobj
4totoPART_5 provemark
5proveproveVERBVerbForm=Inf1 Showccomp
6youryourPRONCase=Gen Person=2 Poss=Yes PronType=Prs7 answernmod:poss
7answeranswerNOUNNumber=Sing5 proveobj
8..PUNCT_1 Showpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1showimperativeyou not said hereyour workingvn transfer_mesg-37.1.1-1-1 «NP V NP S_INF»: agent=Agent working=Recipient clause=Topic
2proveto-infinitiveyour answervn deduce-97.2 «NP V NP»: agent=Agent answer=Theme
3answeryournom answer «communication transitive»: poss=agent

Example 8

Then our innocence will be proved.”

advmodnmod:possnsubjauxaux:passpunctpunctrootThenADVourPRONinnocenceNOUNwillAUXbeAUXprovedVERB.PUNCT”PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1ThenthenADVPronType=Dem6 provedadvmod
2ourourPRONCase=Gen Number=Plur Person=1 Poss=Yes PronType=Prs3 innocencenmod:poss
3innocenceinnocenceNOUNNumber=Sing6 provednsubj
4willwillAUXVerbForm=Fin6 provedaux
5bebeAUXVerbForm=Inf6 provedaux:pass
6provedproveVERBTense=Past VerbForm=Part Voice=Passrootroot
7..PUNCT_6 provedpunct
8”"PUNCT_6 provedpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1provefuture · passiveour innocencethenvn 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/prove/