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

proposition

Who acts: statement, 7, hill, squares, 10, pirate · What happens: suggest, be, deal, describe, make, have · To what, where: idea, true proposition, task, certain way, tough proposition, improper suggestion · Speech: someone speaks here

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

Meaning 1

An idea, plan or offer that is suggested, especially in business: a business proposition.

The tree, 14 words
detnsubj:passpunctnsubj:passccconjnsubj:passaux:passpunctadvmodcaseparataxispunctdetcompoundconjpunctrootAnDETideaNOUN,PUNCTplanNOUNorCCONJofferNOUNthatPRONisAUXsuggestedVERB,PUNCTespeciallyADVinADPbusinessNOUN:PUNCTaDETbusinessNOUNpropositionNOUN.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1AnaDETDefinite=Ind PronType=Art2 ideadet
2ideaideaNOUNNumber=Sing9 suggestednsubj:pass
3,,PUNCT_4 planpunct
4planplanNOUNNumber=Sing9 suggestednsubj:pass
5ororCCONJ_6 offercc
6offerofferNOUNNumber=Sing4 planconj
7thatthatPRONPronType=Rel9 suggestednsubj:pass
8isbeAUXMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin9 suggestedaux:pass
9suggestedsuggestVERBTense=Past VerbForm=Part Voice=Passrootroot
10,,PUNCT_13 businesspunct
11especiallyespeciallyADV_13 businessadvmod
12ininADP_13 businesscase
13businessbusinessNOUNNumber=Sing9 suggestedparataxis
14::PUNCT_17 propositionpunct
15aaDETDefinite=Ind PronType=Art17 propositiondet
16businessbusinessNOUNNumber=Sing17 propositioncompound
17propositionpropositionNOUNNumber=Sing13 businessconj
18..PUNCT_9 suggestedpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1suggest speech: suggestpresent · passivea ideavn say-37.7-1-1-1 «NP V NP.topic»: subject=Topic

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, logic — kept apart, not parsed.

A statement that is either true or false: «7 is odd» is a true proposition.

The tree, 15 words
detnsubjnsubjcopcc:preconjacl:relclccconjpunctpunctnsubjcopparataxispunctcopdetamodpunctrootADETstatementNOUNthatPRONisAUXeitherCCONJtrueADJorCCONJfalseADJ:PUNCT«PUNCT7NUMisAUXoddADJ»PUNCTisAUXaDETtrueADJpropositionNOUN.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1AaDETDefinite=Ind PronType=Art2 statementdet
2statementstatementNOUNNumber=Sing18 propositionnsubj
3thatthatPRONPronType=Rel6 truensubj
4isbeAUXMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin6 truecop
5eithereitherCCONJ_6 truecc:preconj
6truetrueADJDegree=Pos2 statementacl:relcl
7ororCCONJ_8 falsecc
8falsefalseADJDegree=Pos6 trueconj
9::PUNCT_13 oddpunct
10««PUNCT_13 oddpunct
1177NUMNumForm=Digit NumType=Card13 oddnsubj
12isbeAUXMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin13 oddcop
13oddoddADJDegree=Pos6 trueparataxis
14»»PUNCT_13 oddpunct
15isbeAUXMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin18 propositioncop
16aaDETDefinite=Ind PronType=Art18 propositiondet
17truetrueADJDegree=Pos18 propositionamod
18propositionpropositionNOUNNumber=Singrootroot
19..PUNCT_18 propositionpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1ispresenta statementtrue propertytree rules
2bea statement not said heretree rules
3is in a quotepresent7odd propertytree rules
4is apresenta statementa true propositiontree rules

Meaning 3

A task or thing to deal with, described in a certain way: «That hill is a tough proposition».

The tree, 18 words
detccconjmarkacloblpunctaclcasedetamodoblpunctpunctdetnsubjcopdetamodappospunctpunctrootADETtaskNOUNorCCONJthingNOUNtoPARTdealVERBwithADP,PUNCTdescribedVERBinADPaDETcertainADJwayNOUN:PUNCT«PUNCTThatDEThillNOUNisAUXaDETtoughADJpropositionNOUN»PUNCT.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1AaDETDefinite=Ind PronType=Art2 taskdet
2tasktaskNOUNNumber=Singrootroot
3ororCCONJ_4 thingcc
4thingthingNOUNNumber=Sing2 taskconj
5totoPART_6 dealmark
6dealdealVERBVerbForm=Inf4 thingacl
7withwithADP_6 dealobl
8,,PUNCT_9 describedpunct
9describeddescribeVERBTense=Past VerbForm=Part Voice=Pass2 taskacl
10ininADP_13 waycase
11aaDETDefinite=Ind PronType=Art13 waydet
12certaincertainADJDegree=Pos13 wayamod
13waywayNOUNNumber=Sing9 describedobl
14::PUNCT_21 propositionpunct
15««PUNCT_21 propositionpunct
16ThatthatDETNumber=Sing PronType=Dem17 hilldet
17hillhillNOUNNumber=Sing21 propositionnsubj
18isbeAUXMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin21 propositioncop
19aaDETDefinite=Ind PronType=Art21 propositiondet
20toughtoughADJDegree=Pos21 propositionamod
21propositionpropositionNOUNNumber=Sing13 wayappos
22»»PUNCT_21 propositionpunct
23..PUNCT_2 taskpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1dealto-infinitivevn cope-83 «NP V PP.theme»: agent=Agent
2describeparticiplea task or thing not said herea certain wayvn characterize-29.2-1-1 «NP V S_ING»: agent=Agent
3is a in a quotepresentthat hilla tough propositiontree rules

Meaning 4

Usage: verb, informal — kept apart, not parsed.

To make an improper suggestion to someone (adult use).

markdetamodobjcasenmodpunctamodappospunctpunctrootToPARTmakeVERBanDETimproperADJsuggestionNOUNtoADPsomeonePRON(PUNCTadultADJuseNOUN)PUNCT.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1TotoPART_2 makemark
2makemakeVERBMood=Imp VerbForm=Finrootroot
3anaDETDefinite=Ind PronType=Art5 suggestiondet
4improperimproperADJDegree=Pos5 suggestionamod
5suggestionsuggestionNOUNNumber=Sing2 makeobj
6totoADP_7 someonecase
7someonesomeonePRONNumber=Sing PronType=Ind5 suggestionnmod
8((PUNCT_10 usepunct
9adultadultADJDegree=Pos10 useamod
10useuseNOUNNumber=Sing7 someoneappos
11))PUNCT_10 usepunct
12..PUNCT_2 makepunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1maketo-infinitivea improper suggestionto someonevn build-26.1-1 «NP.asset V NP»: agent=Asset suggestion=Product

Example 1

«All squares have four sides» is a true proposition.

punctdetnsubjparataxisnummodobjpunctcopdetamodpunctroot«PUNCTAllDETsquaresNOUNhaveVERBfourNUMsidesNOUN»PUNCTisAUXaDETtrueADJpropositionNOUN.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1««PUNCT_4 havepunct
2AllallDETPronType=Tot3 squaresdet
3squaressquareNOUNNumber=Plur4 havensubj
4havehaveVERBMood=Ind Number=Plur Person=3 Tense=Pres VerbForm=Fin11 propositionparataxis
5fourfourNUMNumForm=Word NumType=Card6 sidesnummod
6sidessideNOUNNumber=Plur4 haveobj
7»»PUNCT_4 havepunct
8isbeAUXMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin11 propositioncop
9aaDETDefinite=Ind PronType=Art11 propositiondet
10truetrueADJDegree=Pos11 propositionamod
11propositionpropositionNOUNNumber=Singrootroot
12..PUNCT_11 propositionpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1have in a quotepresentall squaresfour sidesvn birth-28.2-1 «NP V NP»: agent=Agent side=Patient
2is apresenta true propositiontree rules

Example 2

Is the proposition «10 is odd» true or false?

copdetpunctnsubjcopacl:relclpunctconjccconjpunctrootIsAUXtheDETpropositionNOUN«PUNCT10NUMisAUXoddADJ»PUNCTtrueADJorCCONJfalseADJ?PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1IsbeAUXMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin3 propositioncop
2thetheDETDefinite=Def PronType=Art3 propositiondet
3propositionpropositionNOUNNumber=Singrootroot
4««PUNCT_7 oddpunct
51010NUMNumForm=Digit NumType=Card7 oddnsubj
6isbeAUXMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin7 oddcop
7oddoddADJDegree=Pos3 propositionacl:relcl
8»»PUNCT_7 oddpunct
9truetrueADJDegree=Pos7 oddconj
10ororCCONJ_11 falsecc
11falsefalseADJDegree=Pos7 oddconj
12??PUNCT_3 propositionpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1is apresentthe propositiontree rules
2is in a quotepresent10the proposition not said hereodd propertytree rules
3be10 not said heretree rules
4be10 not said heretree rules

Example 3

The pirate had a proposition for the sailors.

detnsubjdetobjcasedetoblpunctrootTheDETpirateNOUNhadVERBaDETpropositionNOUNforADPtheDETsailorsNOUN.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1ThetheDETDefinite=Def PronType=Art2 piratedet
2piratepirateNOUNNumber=Sing3 hadnsubj
3hadhaveVERBMood=Ind Number=Sing Person=3 Tense=Past VerbForm=Finrootroot
4aaDETDefinite=Ind PronType=Art5 propositiondet
5propositionpropositionNOUNNumber=Sing3 hadobj
6forforADP_8 sailorscase
7thetheDETDefinite=Def PronType=Art8 sailorsdet
8sailorssailorNOUNNumber=Plur3 hadobl
9..PUNCT_3 hadpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1havepastthe piratea propositionfor the sailorsvn birth-28.2-1 «NP V NP»: agent=Agent proposition=Patient

Example 4

Climbing the mountain in winter is a tough proposition.

csubjdetobjcaseoblcopdetamodpunctrootClimbingVERBtheDETmountainNOUNinADPwinterNOUNisAUXaDETtoughADJpropositionNOUN.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1ClimbingclimbVERBVerbForm=Ger9 propositioncsubj
2thetheDETDefinite=Def PronType=Art3 mountaindet
3mountainmountainNOUNNumber=Sing1 Climbingobj
4ininADP_5 wintercase
5winterwinterNOUNNumber=Sing1 Climbingobl
6isbeAUXMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin9 propositioncop
7aaDETDefinite=Ind PronType=Art9 propositiondet
8toughtoughADJDegree=Pos9 propositionamod
9propositionpropositionNOUNNumber=Singrootroot
10..PUNCT_9 propositionpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1climbgerundthe mountainwintervn run-51.3.2 «PP.location V NP»: agent=Initial_Location mountain=Theme
2is apresentClimbinga tough propositiontree rules

Example 5

Selling lemonade was a good business proposition.

csubjobjcopdetamodcompoundpunctrootSellingVERBlemonadeNOUNwasAUXaDETgoodADJbusinessNOUNpropositionNOUN.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1SellingsellVERBTense=Pres VerbForm=Part7 propositioncsubj
2lemonadelemonadeNOUNNumber=Sing1 Sellingobj
3wasbeAUXMood=Ind Number=Sing Person=3 Tense=Past VerbForm=Fin7 propositioncop
4aaDETDefinite=Ind PronType=Art7 propositiondet
5goodgoodADJDegree=Pos7 propositionamod
6businessbusinessNOUNNumber=Sing7 propositioncompound
7propositionpropositionNOUNNumber=Singrootroot
8..PUNCT_7 propositionpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1sellgerundlemonadevn give-13.1-1 «NP V NP»: agent=Agent lemonade=Theme
2is apastSellinga good business propositiontree rules

Example 6

The idea of a free trip was an attractive proposition.

detnsubjcasedetamodnmodcopdetamodpunctrootTheDETideaNOUNofADPaDETfreeADJtripNOUNwasAUXanDETattractiveADJpropositionNOUN.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1ThetheDETDefinite=Def PronType=Art2 ideadet
2ideaideaNOUNNumber=Sing10 propositionnsubj
3ofofADP_6 tripcase
4aaDETDefinite=Ind PronType=Art6 tripdet
5freefreeADJDegree=Pos6 tripamod
6triptripNOUNNumber=Sing2 ideanmod
7wasbeAUXMood=Ind Number=Sing Person=3 Tense=Past VerbForm=Fin10 propositioncop
8anaDETDefinite=Ind PronType=Art10 propositiondet
9attractiveattractiveADJDegree=Pos10 propositionamod
10propositionpropositionNOUNNumber=Singrootroot
11..PUNCT_10 propositionpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1is apastthe idea of a free tripa attractive propositiontree rules

Example 7

Prove the proposition step by step.

detcompoundobjcaseoblpunctrootProveVERBtheDETpropositionNOUNstepNOUNbyADPstepNOUN.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1ProveproveVERBMood=Imp VerbForm=Finrootroot
2thetheDETDefinite=Def PronType=Art4 stepdet
3propositionpropositionNOUNNumber=Sing4 stepcompound
4stepstepNOUNNumber=Sing1 Proveobj
5bybyADP_6 stepcase
6stepstepNOUNNumber=Sing1 Proveobl
7..PUNCT_1 Provepunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1proveimperativeyou not said herethe proposition stepby stepvn deduce-97.2 «NP V NP»: agent=Agent step=Theme

Example 8

The proposition pleased the two others, and they set out on their way together.

The tree, 14 words
detnsubjamoddetnummodobl:unmarkedpunctccnsubjcompound:prtcasenmod:possobladvmodpunctrootTheDETpropositionNOUNpleasedADJtheDETtwoNUMothersNOUN,PUNCTandCCONJtheyPRONsetVERBoutADPonADPtheirPRONwayNOUNtogetherADV.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1ThetheDETDefinite=Def PronType=Art2 propositiondet
2propositionpropositionNOUNNumber=Sing10 setnsubj
3pleasedpleasedADJDegree=Pos2 propositionamod
4thetheDETDefinite=Def PronType=Art6 othersdet
5twotwoNUMNumForm=Word NumType=Card6 othersnummod
6othersotherNOUNNumber=Plur3 pleasedobl:unmarked
7,,PUNCT_10 setpunct
8andandCCONJ_10 setcc
9theytheyPRONCase=Nom Number=Plur Person=3 PronType=Prs10 setnsubj
10setsetVERBMood=Ind Number=Plur Person=3 Tense=Past VerbForm=Finrootroot
11outoutADP_10 setcompound:prt
12ononADP_14 waycase
13theirtheirPRONCase=Gen Number=Plur Person=3 Poss=Yes PronType=Prs14 waynmod:poss
14waywayNOUNNumber=Sing10 setobl
15togethertogetherADV_10 setadvmod
16..PUNCT_10 setpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1set outpastthe propositionothers's waytogether propertyvn escape-51.1-1 «NP V»: agent=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/proposition/