Mova0.5 pre-release⌕
☰
home / corpora / dictionaries / school dictionary / V / verifier

verifier

Who acts: person, something, program, verifier, signature, computer verifier · What happens: check, be, answer, make, use, sign up · To what, where: answers, age verifier, rules, maths proof, code, gate

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

Meaning 1

A person who checks that something is true, correct or real.

detnsubjacl:relclmarknsubjcopccomppunctconjccconjpunctrootADETpersonNOUNwhoPRONchecksVERBthatSCONJsomethingPRONisAUXtrueADJ,PUNCTcorrectADJorCCONJrealADJ.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1AaDETDefinite=Ind PronType=Art2 persondet
2personpersonNOUNNumber=Singrootroot
3whowhoPRONPronType=Rel4 checksnsubj
4checkscheckVERBMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin2 personacl:relcl
5thatthatSCONJ_8 truemark
6somethingsomethingPRONNumber=Sing PronType=Ind8 truensubj
7isbeAUXMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin8 truecop
8truetrueADJDegree=Pos4 checksccomp
9,,PUNCT_10 correctpunct
10correctcorrectADJDegree=Pos8 trueconj
11ororCCONJ_12 realcc
12realrealADJDegree=Pos8 trueconj
13..PUNCT_2 personpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1checkpresenta personvn assessment-34.1 «NP V NP»: agent=Agent
2ispresentsomethingtrue propertytree rules
3be speech: disagreesomething not said heretree rules
4besomething not said heretree 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

Usage: computing — kept apart, not parsed.

A program or tool that checks automatically whether something is correct, such as a password, a document or the answer to a problem.

The tree, 23 words
detccconjnsubjacl:relcladvmodmarknsubjcopccomppunctcasefixeddetoblpunctdetapposccdetconjcasedetnmodpunctrootADETprogramNOUNorCCONJtoolNOUNthatPRONchecksVERBautomaticallyADVwhetherSCONJsomethingPRONisAUXcorrectADJ,PUNCTsuchADJasADPaDETpasswordNOUN,PUNCTaDETdocumentNOUNorCCONJtheDETanswerNOUNtoADPaDETproblemNOUN.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1AaDETDefinite=Ind PronType=Art2 programdet
2programprogramNOUNNumber=Singrootroot
3ororCCONJ_4 toolcc
4tooltoolNOUNNumber=Sing2 programconj
5thatthatPRONPronType=Rel6 checksnsubj
6checkscheckVERBMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin2 programacl:relcl
7automaticallyautomaticallyADV_6 checksadvmod
8whetherwhetherSCONJ_11 correctmark
9somethingsomethingPRONNumber=Sing PronType=Ind11 correctnsubj
10isbeAUXMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin11 correctcop
11correctcorrectADJDegree=Pos6 checksccomp
12,,PUNCT_16 passwordpunct
13suchsuchADJDegree=Pos ExtPos=ADP16 passwordcase
14asasADP_13 suchfixed
15aaDETDefinite=Ind PronType=Art16 passworddet
16passwordpasswordNOUNNumber=Sing11 correctobl
17,,PUNCT_19 documentpunct
18aaDETDefinite=Ind PronType=Art19 documentdet
19documentdocumentNOUNNumber=Sing16 passwordappos
20ororCCONJ_22 answercc
21thetheDETDefinite=Def PronType=Art22 answerdet
22answeranswerNOUNNumber=Sing19 documentconj
23totoADP_25 problemcase
24aaDETDefinite=Ind PronType=Art25 problemdet
25problemproblemNOUNNumber=Sing22 answernmod
26..PUNCT_2 programpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1checkpresenta program or toolautomatically propertyvn assessment-34.1 «NP V NP»: agent=Agent
2ispresentsomethingsuch a password; correct propertytree rules

Example 1

The verifier checked that the signature was real.

detnsubjmarkdetnsubjcopccomppunctrootTheDETverifierNOUNcheckedVERBthatSCONJtheDETsignatureNOUNwasAUXrealADJ.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1ThetheDETDefinite=Def PronType=Art2 verifierdet
2verifierverifierNOUNNumber=Sing3 checkednsubj
3checkedcheckVERBMood=Ind Number=Sing Person=3 Tense=Past VerbForm=Finrootroot
4thatthatSCONJ_8 realmark
5thetheDETDefinite=Def PronType=Art6 signaturedet
6signaturesignatureNOUNNumber=Sing8 realnsubj
7wasbeAUXMood=Ind Number=Sing Person=3 Tense=Past VerbForm=Fin8 realcop
8realrealADJDegree=Pos3 checkedccomp
9..PUNCT_3 checkedpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1checkpastthe verifiervn assessment-34.1 «NP V NP»: agent=Agent
2ispastthe signaturereal propertytree rules

Example 2

A computer verifier checked all our answers in seconds.

detcompoundnsubjdet:predetnmod:possobjcaseoblpunctrootADETcomputerNOUNverifierNOUNcheckedVERBallDETourPRONanswersNOUNinADPsecondsNOUN.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1AaDETDefinite=Ind PronType=Art3 verifierdet
2computercomputerNOUNNumber=Sing3 verifiercompound
3verifierverifierNOUNNumber=Sing4 checkednsubj
4checkedcheckVERBMood=Ind Number=Sing Person=3 Tense=Past VerbForm=Finrootroot
5allallDETPronType=Tot7 answersdet:predet
6ourourPRONCase=Gen Number=Plur Person=1 Poss=Yes PronType=Prs7 answersnmod:poss
7answersanswerNOUNNumber=Plur4 checkedobj
8ininADP_9 secondscase
9secondssecondNOUNNumber=Plur4 checkedobl
10..PUNCT_4 checkedpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1checkpasta computer verifierour answerssecondvn assessment-34.1 «NP V NP»: agent=Agent answer=Theme
2answerournom answer «communication transitive»: poss=agent

Example 3

Fact verifiers make sure the news report is true.

compoundnsubjxcompdetcompoundnsubjcopccomppunctrootFactNOUNverifiersNOUNmakeVERBsureADJtheDETnewsNOUNreportNOUNisAUXtrueADJ.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1FactfactNOUNNumber=Sing2 verifierscompound
2verifiersverifierNOUNNumber=Plur3 makensubj
3makemakeVERBMood=Ind Number=Plur Person=3 Tense=Pres VerbForm=Finrootroot
4suresureADJDegree=Pos3 makexcomp
5thetheDETDefinite=Def PronType=Art7 reportdet
6newsnewsNOUNNumber=Sing7 reportcompound
7reportreportNOUNNumber=Sing9 truensubj
8isbeAUXMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin9 truecop
9truetrueADJDegree=Pos4 sureccomp
10..PUNCT_3 makepunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1makepresentFact verifierssure propertyvn build-26.1-1 «NP.asset V NP»: agent=Asset
2ispresentthe news reporttrue propertytree rules

Example 4

The website uses an age verifier before you can sign up.

detnsubjdetcompoundobjmarknsubjauxadvclcompound:prtpunctrootTheDETwebsiteNOUNusesVERBanDETageNOUNverifierNOUNbeforeSCONJyouPRONcanAUXsignVERBupADP.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1ThetheDETDefinite=Def PronType=Art2 websitedet
2websitewebsiteNOUNNumber=Sing3 usesnsubj
3usesuseVERBMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Finrootroot
4anaDETDefinite=Ind PronType=Art6 verifierdet
5ageageNOUNNumber=Sing6 verifiercompound
6verifierverifierNOUNNumber=Sing3 usesobj
7beforebeforeSCONJ_10 signmark
8youyouPRONCase=Nom Person=2 PronType=Prs10 signnsubj
9cancanAUXVerbForm=Fin10 signaux
10signsignVERBVerbForm=Inf3 usesadvcl
11upupADP_10 signcompound:prt
12..PUNCT_3 usespunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1usepresentthe websitea age verifiervn eat-39.1 «NP V NP»: agent=Agent verifier=Patient
2sign upcanyouvn volunteer-95.4-1 «NP V PP.attribute»: agent=Agent

Example 5

A proof verifier can check that each step of a maths proof follows the rules.

The tree, 15 words
detamodnsubjauxmarkdetnsubjcasedetcompoundnmodccompdetobjpunctrootADETproofADJverifierNOUNcanAUXcheckVERBthatSCONJeachDETstepNOUNofADPaDETmathsNOUNproofNOUNfollowsVERBtheDETrulesNOUN.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1AaDETDefinite=Ind PronType=Art3 verifierdet
2proofproofADJDegree=Pos3 verifieramod
3verifierverifierNOUNNumber=Sing5 checknsubj
4cancanAUXVerbForm=Fin5 checkaux
5checkcheckVERBVerbForm=Infrootroot
6thatthatSCONJ_13 followsmark
7eacheachDETPronType=Tot8 stepdet
8stepstepNOUNNumber=Sing13 followsnsubj
9ofofADP_12 proofcase
10aaDETDefinite=Ind PronType=Art12 proofdet
11mathsmathsNOUNNumber=Sing12 proofcompound
12proofproofNOUNNumber=Sing8 stepnmod
13followsfollowVERBMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin5 checkccomp
14thetheDETDefinite=Def PronType=Art15 rulesdet
15rulesruleNOUNNumber=Plur13 followsobj
16..PUNCT_5 checkpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1checkcana proof verifiertree rules
2followpresenteach step of a maths proofthe rulesvn chase-51.6 «NP V NP»: agent=Agent rule=Theme
3stepa maths proofnom step «act transitive»: of=patient

Example 6

The ticket verifier scanned my code at the gate.

detcompoundnsubjnmod:possobjcasedetoblpunctrootTheDETticketNOUNverifierNOUNscannedVERBmyPRONcodeNOUNatADPtheDETgateNOUN.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1ThetheDETDefinite=Def PronType=Art3 verifierdet
2ticketticketNOUNNumber=Sing3 verifiercompound
3verifierverifierNOUNNumber=Sing4 scannednsubj
4scannedscanVERBMood=Ind Number=Sing Person=3 Tense=Past VerbForm=Finrootroot
5mymyPRONCase=Gen Number=Sing Person=1 Poss=Yes PronType=Prs6 codenmod:poss
6codecodeNOUNNumber=Sing4 scannedobj
7atatADP_9 gatecase
8thetheDETDefinite=Def PronType=Art9 gatedet
9gategateNOUNNumber=Sing4 scannedobl
10..PUNCT_4 scannedpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1scanpastthe ticket verifiermy codethe gatevn assessment-34.1 «NP V NP»: agent=Agent code=Theme
2codemynom code «communication transitive»: poss=agent

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/V/verifier/