Mova0.5 pre-release⌕
☰
home / corpora / dictionaries / school dictionary / D / disprove

disprove

Who acts: idea, rule, experiment, heavy things, One example, number · What happens: show, be, give, not work, find, disprove · To what, where: facts, one counterexample, idea, rule, maths, claim · Speech: someone speaks here

«disprove» in the school dictionary: its 2 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: disprove in the school dictionary.

Meaning 1

To show that an idea or statement is false by giving facts or evidence.

The tree, 14 words
markmarkdetnsubjccconjcopccompmarkadvclobjccconjpunctrootToPARTshowVERBthatSCONJanDETideaNOUNorCCONJstatementNOUNisAUXfalseADJbySCONJgivingVERBfactsNOUNorCCONJevidenceNOUN.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1TotoPART_2 showmark
2showshowVERBMood=Imp VerbForm=Finrootroot
3thatthatSCONJ_9 falsemark
4anaDETDefinite=Ind PronType=Art5 ideadet
5ideaideaNOUNNumber=Sing9 falsensubj
6ororCCONJ_7 statementcc
7statementstatementNOUNNumber=Sing5 ideaconj
8isbeAUXMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin9 falsecop
9falsefalseADJDegree=Pos2 showccomp
10bybySCONJ_11 givingmark
11givinggiveVERBTense=Pres VerbForm=Part9 falseadvcl
12factsfactNOUNNumber=Plur11 givingobj
13ororCCONJ_14 evidencecc
14evidenceevidenceNOUNNumber=Sing12 factsconj
15..PUNCT_2 showpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1showto-infinitivevn transfer_mesg-37.1.1-1-1 «NP V»: agent=Agent
2ispresenta idea or statementfalse propertytree rules
3givegerunda idea or statement not said herefacts or evidencevn give-13.1-1 «NP V NP»: agent=Agent fact=Theme

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

Usage: maths and science — kept apart, not parsed.

To show a rule does not always work, often by finding one counterexample.

The tree, 13 words
markadvcldetnsubjauxadvmodadvmodpunctadvmodmarkadvclnummodobjpunctrootToPARTshowVERBaDETruleNOUNdoesAUXnotPARTalwaysADVworkVERB,PUNCToftenADVbySCONJfindingVERBoneNUMcounterexampleNOUN.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1TotoPART_2 showmark
2showshowVERBVerbForm=Inf8 workadvcl
3aaDETDefinite=Ind PronType=Art4 ruledet
4ruleruleNOUNNumber=Sing8 worknsubj
5doesdoAUXMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin8 workaux
6notnotPARTPolarity=Neg8 workadvmod
7alwaysalwaysADVPronType=Tot8 workadvmod
8workworkVERBVerbForm=Infrootroot
9,,PUNCT_12 findingpunct
10oftenoftenADV_12 findingadvmod
11bybySCONJ_12 findingmark
12findingfindVERBTense=Pres VerbForm=Part8 workadvcl
13oneoneNUMNumForm=Word NumType=Card14 counterexamplenummod
14counterexamplecounterexampleNOUNNumber=Sing12 findingobj
15..PUNCT_8 workpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1showto-infinitivea rule not said herevn transfer_mesg-37.1.1-1-1 «NP V»: agent=Agent
2not workpresent · do-supporta rulealways propertyvn employment-95.3 «NP V»: agent=Agent
3findgerunda rule not said hereone counterexampleoften propertyvn discover-84 «NP V NP»: agent=Agent counterexample=Topic

Example 1

The experiment disproved the idea that heavy things fall faster.

detnsubjdetobjmarkamodnsubjaclxcomppunctrootTheDETexperimentNOUNdisprovedVERBtheDETideaNOUNthatSCONJheavyADJthingsNOUNfallVERBfasterADJ.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1ThetheDETDefinite=Def PronType=Art2 experimentdet
2experimentexperimentNOUNNumber=Sing3 disprovednsubj
3disproveddisproveVERBMood=Ind Number=Sing Person=3 Tense=Past VerbForm=Finrootroot
4thetheDETDefinite=Def PronType=Art5 ideadet
5ideaideaNOUNNumber=Sing3 disprovedobj
6thatthatSCONJ_9 fallmark
7heavyheavyADJDegree=Pos8 thingsamod
8thingsthingNOUNNumber=Plur9 fallnsubj
9fallfallVERBMood=Ind Number=Plur Person=3 Tense=Pres VerbForm=Fin5 ideaacl
10fasterfastADJDegree=Cmp9 fallxcomp
11..PUNCT_3 disprovedpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1disprovepastthe experimentthe ideavn deduce-97.2 «NP V NP»: agent=Agent idea=Theme
2fallpresentheavy thingsthe idea not said herefast propertyvn become-109.1-1 «NP V ADJ»: agent=Patient idea=Result

Example 2

One example can disprove a rule in maths.

nummodnsubjauxdetobjcasenmodpunctrootOneNUMexampleNOUNcanAUXdisproveVERBaDETruleNOUNinADPmathsNOUN.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1OneoneNUMNumForm=Word NumType=Card2 examplenummod
2exampleexampleNOUNNumber=Sing4 disprovensubj
3cancanAUXVerbForm=Fin4 disproveaux
4disprovedisproveVERBVerbForm=Infrootroot
5aaDETDefinite=Ind PronType=Art6 ruledet
6ruleruleNOUNNumber=Sing4 disproveobj
7ininADP_8 mathscase
8mathsmathNOUNNumber=Plur6 rulenmod
9..PUNCT_4 disprovepunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1disprovecanOne examplea rulemathsvn deduce-97.2 «NP V NP»: agent=Agent rule=Theme

Example 3

The number 9 disproves the claim that all odd numbers are prime.

detnsubjflatdetobjmarkdetamodnsubjcopaclpunctrootTheDETnumberNOUN9NUMdisprovesVERBtheDETclaimNOUNthatSCONJallDEToddADJnumbersNOUNareAUXprimeADJ.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1ThetheDETDefinite=Def PronType=Art2 numberdet
2numbernumberNOUNNumber=Sing4 disprovesnsubj
399NUMNumForm=Digit NumType=Card2 numberflat
4disprovesdisproveVERBMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Finrootroot
5thetheDETDefinite=Def PronType=Art6 claimdet
6claimclaimNOUNNumber=Sing4 disprovesobj
7thatthatSCONJ_12 primemark
8allallDETPronType=Tot10 numbersdet
9oddoddADJDegree=Pos10 numbersamod
10numbersnumberNOUNNumber=Plur12 primensubj
11arebeAUXMood=Ind Number=Plur Person=3 Tense=Pres VerbForm=Fin12 primecop
12primeprimeADJDegree=Pos6 claimacl
13..PUNCT_4 disprovespunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1disprovepresentthe numberthe claimvn deduce-97.2 «NP V NP»: agent=Agent claim=Theme
2ispresentall odd numbersthe claim not said hereprime propertytree rules

Example 4

No one could disprove his story.

detnsubjauxnmod:possobjpunctrootNoDEToneNOUNcouldAUXdisproveVERBhisPRONstoryNOUN.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1NonoDETPronType=Neg2 onedet
2oneoneNOUNNumber=Sing4 disprovensubj
3couldcouldAUXVerbForm=Fin4 disproveaux
4disprovedisproveVERBVerbForm=Infrootroot
5hishisPRONCase=Gen Gender=Masc Number=Sing Person=3 Poss=Yes PronType=Prs6 storynmod:poss
6storystoryNOUNNumber=Sing4 disproveobj
7..PUNCT_4 disprovepunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1disprovecouldno onehis storyvn deduce-97.2 «NP V NP»: agent=Agent story=Theme

Example 5

Galileo helped disprove old ideas about the sky.

nsubjxcompamodobjcasedetnmodpunctrootGalileoPROPNhelpedVERBdisproveVERBoldADJideasNOUNaboutADPtheDETskyNOUN.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1GalileoGalileoPROPNNumber=Sing2 helpednsubj
2helpedhelpVERBMood=Ind Number=Sing Person=3 Tense=Past VerbForm=Finrootroot
3disprovedisproveVERBVerbForm=Inf2 helpedxcomp
4oldoldADJDegree=Pos5 ideasamod
5ideasideaNOUNNumber=Plur3 disproveobj
6aboutaboutADP_8 skycase
7thetheDETDefinite=Def PronType=Art8 skydet
8skyskyNOUNNumber=Sing5 ideasnmod
9..PUNCT_2 helpedpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1helppastGalileovn help-72.1-1-1 «NP V NP S_INF»: agent=Agent clause=Theme
2disproveinfinitiveGalileo not said hereold ideasabout the skyvn deduce-97.2 «NP V NP»: agent=Agent idea=Theme

Example 6

The detective used the CCTV to disprove the alibi.

detnsubjdetobjmarkadvcldetobjpunctrootTheDETdetectiveNOUNusedVERBtheDETCCTVPROPNtoPARTdisproveVERBtheDETalibiNOUN.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1ThetheDETDefinite=Def PronType=Art2 detectivedet
2detectivedetectiveNOUNNumber=Sing3 usednsubj
3useduseVERBMood=Ind Number=Sing Person=3 Tense=Past VerbForm=Finrootroot
4thetheDETDefinite=Def PronType=Art5 CCTVdet
5CCTVCCTVPROPNNumber=Sing3 usedobj
6totoPART_7 disprovemark
7disprovedisproveVERBVerbForm=Inf3 usedadvcl
8thetheDETDefinite=Def PronType=Art9 alibidet
9alibialibiNOUNNumber=Sing7 disproveobj
10..PUNCT_3 usedpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1usepastthe detectivethe CCTVvn eat-39.1 «NP V NP»: agent=Agent cctv=Patient
2disproveto-infinitivethe detective not said herethe alibivn deduce-97.2 «NP V NP»: agent=Agent alibi=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/D/disprove/