---
title: proof — Judaism dictionary · trees and pragmatics
description: «proof» in the Judaism dictionary: Facts or evidence that show something is true. Every meaning for a pupil with its dependency tree and pragmatics.
---

<!-- md -->
[Mova](https://md.mova.elamur.ai/free/en/) · [this page in HTML](https://mova.elamur.ai/free/en/corpora/dictionaries/judaism/P/proof/)

<!-- crumbs -->
[home](https://md.mova.elamur.ai/free/en/) / [corpora](https://md.mova.elamur.ai/free/en/corpora/) / [dictionaries](https://md.mova.elamur.ai/free/en/corpora/dictionaries/) / [Judaism dictionary](https://md.mova.elamur.ai/free/en/corpora/dictionaries/judaism/) / [P](https://md.mova.elamur.ai/free/en/corpora/dictionaries/judaism/P/) / proof

# proof

<!-- .vintro -->
**Who acts:** evidence, Facts, clear steps, statement, signs, My · **What happens:** show, be, add, mean, protect, see · **To what, where:** something, men, Egypt, Me, participator, proof · **Speech:** someone speaks here

<!-- .vabout -->
«proof» in the Judaism dictionary: its 3 meanings for a pupil and its 10 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: [proof in the Judaism dictionary](https://md.mova.elamur.ai/free/en/dictionaries/judaism/w/proof.md).

## Meaning 1 {#m1}

<!-- .ven lang=en -->
Facts or evidence that show something is true.

```conllu
# sent_id = dict:judaism:proof:m1:1
# text = Facts or evidence that show something is true.
1	Facts	fact	NOUN	NNS	Number=Plur	8	nsubj	_	_
2	or	or	CCONJ	CC	_	3	cc	_	_
3	evidence	evidence	NOUN	NN	Number=Sing	1	conj	_	_
4	that	that	PRON	WDT	PronType=Rel	5	nsubj	_	_
5	show	show	VERB	VBP	Mood=Ind|Number=Plur|Person=3|Tense=Pres|VerbForm=Fin	3	acl	_	_
6	something	something	PRON	NN	Number=Sing|PronType=Ind	5	obj	_	_
7	is	be	AUX	VBZ	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	8	cop	_	_
8	true	true	ADJ	JJ	Degree=Pos	0	root	_	SpaceAfter=No
9	.	.	PUNCT	.	_	8	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **show** | present | evidence | something |  |  |  |  | vn transfer\_mesg-37.1.1-1-1 «NP V NP.recipient»: agent=Agent something=Recipient |
| 2 | **is** | present | Facts or evidence |  |  |  |  | true *property* | tree rules |

<!-- .note -->
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 {#m2}

<!-- .ven lang=en -->
In maths, a set of clear steps that shows a statement must be true.

<!-- fold The tree, 14 words -->
```conllu
# sent_id = dict:judaism:proof:m2:1
# text = In maths, a set of clear steps that shows a statement must be true.
1	In	in	ADP	IN	_	2	case	_	_
2	maths	math	NOUN	NNS	Number=Plur	0	root	_	SpaceAfter=No
3	,	,	PUNCT	,	_	5	punct	_	_
4	a	a	DET	DT	Definite=Ind|PronType=Art	5	det	_	_
5	set	set	NOUN	NN	Number=Sing	2	conj	_	_
6	of	of	ADP	IN	_	8	case	_	_
7	clear	clear	ADJ	JJ	Degree=Pos	8	amod	_	_
8	steps	step	NOUN	NNS	Number=Plur	5	nmod	_	_
9	that	that	PRON	WDT	PronType=Rel	10	nsubj	_	_
10	shows	show	VERB	VBZ	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	8	acl:relcl	_	_
11	a	a	DET	DT	Definite=Ind|PronType=Art	12	det	_	_
12	statement	statement	NOUN	NN	Number=Sing	15	nsubj	_	_
13	must	must	AUX	MD	VerbForm=Fin	15	aux	_	_
14	be	be	AUX	VB	VerbForm=Inf	15	cop	_	_
15	true	true	ADJ	JJ	Degree=Pos	10	ccomp	_	SpaceAfter=No
16	.	.	PUNCT	.	_	2	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **show** | present | clear steps |  |  |  |  |  | vn transfer\_mesg-37.1.1-1-1 «NP V»: agent=Agent |
| 2 | **is** | must | a statement |  |  |  |  | true *property* | tree rules |

## Meaning 3 {#m3}

<!-- .ven lang=en -->
Added to a word, "-proof" means protected against something: waterproof, soundproof, childproof.

<!-- fold The tree, 12 words -->
```conllu
# sent_id = dict:judaism:proof:m3:1
# text = Added to a word, "-proof" means protected against something: waterproof, soundproof, childproof.
1	Added	add	VERB	VBN	Tense=Past|VerbForm=Part|Voice=Pass	10	nsubj	_	_
2	to	to	ADP	IN	_	4	case	_	_
3	a	a	DET	DT	Definite=Ind|PronType=Art	4	det	_	_
4	word	word	NOUN	NN	Number=Sing	1	obl	_	SpaceAfter=No
5	,	,	PUNCT	,	_	8	punct	_	_
6	"	"	PUNCT	``	_	8	punct	_	SpaceAfter=No
7	-	-	PUNCT	HYPH	_	8	punct	_	SpaceAfter=No
8	proof	proof	NOUN	NN	Number=Sing	4	appos	_	SpaceAfter=No
9	"	"	PUNCT	''	_	8	punct	_	_
10	means	mean	VERB	VBZ	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	0	root	_	_
11	protected	protect	VERB	VBN	Tense=Past|VerbForm=Part|Voice=Pass	10	ccomp	_	_
12	against	against	ADP	IN	_	13	case	_	_
13	something	something	PRON	NN	Number=Sing|PronType=Ind	11	obl:agent	_	SpaceAfter=No
14	:	:	PUNCT	:	_	15	punct	_	_
15	waterproof	waterproof	ADJ	JJ	Degree=Pos	13	amod	_	SpaceAfter=No
16	,	,	PUNCT	,	_	17	punct	_	_
17	soundproof	soundproof	ADJ	JJ	Degree=Pos	15	conj	_	SpaceAfter=No
18	,	,	PUNCT	,	_	19	punct	_	_
19	childproof	childproof	ADJ	JJ	Degree=Pos	15	conj	_	SpaceAfter=No
20	.	.	PUNCT	.	_	10	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **add** *speech: assert* | participle |  |  |  |  |  | to a word | vn mix-22.1-2 «NP V ADVP-Middle PP»: agent=Patient to word=Co-Patient |
| 2 | **mean** | present |  |  |  |  |  |  | vn intend-61.2-1 «NP V S»: agent=Agent clause=Topic |
| 3 | **protect** | participle |  |  |  |  |  |  | vn defend-72.3 «NP V S\_ING»: agent=Agent |

## Example 1 {#x1}

<!-- .ven lang=en -->
surely all those men that have seen My glory, and My signs, which I wrought in Egypt and in the wilderness, yet have put Me to proof these ten times, and have not hearkened to My voice; (Torah NUM.14.22, JPS 1917)

<!-- fold The tree, 41 words -->
```conllu
# sent_id = dict:judaism:proof:x1:1
# text = surely all those men that have seen My glory, and My signs, which I wrought in Egypt and in the wilderness, yet have put Me to proof these ten times, and have not hearkened to My voice; (Torah NUM.14.22, JPS 1917)
1	surely	surely	ADV	RB	_	7	advmod	_	_
2	all	all	DET	PDT	PronType=Tot	4	det:predet	_	_
3	those	that	DET	DT	Number=Plur|PronType=Dem	4	det	_	_
4	men	man	NOUN	NNS	Number=Plur	7	nsubj:pass	_	_
5	that	that	PRON	WDT	PronType=Rel	7	nsubj	_	_
6	have	have	AUX	VBP	Mood=Ind|Number=Plur|Person=3|Tense=Pres|VerbForm=Fin	7	aux	_	_
7	seen	see	VERB	VBN	Tense=Past|VerbForm=Part|Voice=Pass	0	root	_	_
8	My	my	PRON	PRP$	Case=Gen|Number=Sing|Person=1|Poss=Yes|PronType=Prs	9	nmod:poss	_	_
9	glory	glory	NOUN	NN	Number=Sing	7	obj	_	SpaceAfter=No
10	,	,	PUNCT	,	_	13	punct	_	_
11	and	and	CCONJ	CC	_	13	cc	_	_
12	My	my	PRON	PRP$	Case=Gen|Number=Sing|Person=1|Poss=Yes|PronType=Prs	13	nmod:poss	_	_
13	signs	sign	NOUN	NNS	Number=Plur	7	parataxis	_	SpaceAfter=No
14	,	,	PUNCT	,	_	17	punct	_	_
15	which	which	PRON	WDT	PronType=Rel	17	nsubj	_	_
16	I	I	PRON	PRP	Case=Nom|Number=Sing|Person=1|PronType=Prs	17	nsubj	_	_
17	wrought	wrought	VERB	VBD	Mood=Ind|Number=Sing|Person=3|Tense=Past|VerbForm=Fin	13	parataxis	_	_
18	in	in	ADP	IN	_	19	case	_	_
19	Egypt	Egypt	PROPN	NNP	Number=Sing	17	obl	_	_
20	and	and	CCONJ	CC	_	23	cc	_	_
21	in	in	ADP	IN	_	23	case	_	_
22	the	the	DET	DT	Definite=Def|PronType=Art	23	det	_	_
23	wilderness	wilderness	NOUN	NN	Number=Sing	19	conj	_	SpaceAfter=No
24	,	,	PUNCT	,	_	27	punct	_	_
25	yet	yet	CCONJ	CC	_	27	cc	_	_
26	have	have	AUX	VBP	Mood=Ind|Number=Plur|Person=3|Tense=Pres|VerbForm=Fin	27	aux	_	_
27	put	put	VERB	VBN	Tense=Past|VerbForm=Part	17	conj	_	_
28	Me	I	PRON	PRP	Case=Acc|Number=Sing|Person=1|PronType=Prs	27	obj	_	_
29	to	to	PART	TO	_	30	mark	_	_
30	proof	proof	VERB	VB	VerbForm=Inf	27	advcl	_	_
31	these	this	DET	DT	Number=Plur|PronType=Dem	33	det	_	_
32	ten	ten	NUM	CD	NumForm=Word|NumType=Card	33	nummod	_	_
33	times	time	NOUN	NNS	Number=Plur	30	obl:unmarked	_	SpaceAfter=No
34	,	,	PUNCT	,	_	38	punct	_	_
35	and	and	CCONJ	CC	_	38	cc	_	_
36	have	have	AUX	VBP	Mood=Ind|Number=Plur|Person=3|Tense=Pres|VerbForm=Fin	38	aux	_	_
37	not	not	PART	RB	Polarity=Neg	38	advmod	_	_
38	hearkened	hearken	VERB	VBN	Tense=Past|VerbForm=Part	27	conj	_	_
39	to	to	ADP	IN	_	41	case	_	_
40	My	my	PRON	PRP$	Case=Gen|Number=Sing|Person=1|Poss=Yes|PronType=Prs	41	nmod:poss	_	_
41	voice	voice	NOUN	NN	Number=Sing	38	obl	_	SpaceAfter=No
42	;	;	PUNCT	:	_	45	punct	_	_
43	(	(	PUNCT	-LRB-	_	45	punct	_	SpaceAfter=No
44	Torah	Torah	PROPN	NNP	Number=Sing	45	compound	_	_
45	NUM.14.22	NUM.14.22	PROPN	NNP	Number=Sing	7	obl	_	SpaceAfter=No
46	,	,	PUNCT	,	_	47	punct	_	_
47	JPS	JPS	PROPN	NNP	Number=Sing	45	appos	_	_
48	1917	1917	NUM	CD	NumForm=Digit|NumType=Card	47	flat	_	SpaceAfter=No
49	)	)	PUNCT	-RRB-	_	47	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **see** | present · perfect · passive |  | all men |  |  |  | Torah NUM.14.22 *obl*; surely *property* | tree rules |
| 2 | **wrought** | past | My signs |  |  | Egypt and the wilderness |  |  | tree rules |
| 3 | **put** | present · perfect | My signs *not said here* |  | Me |  |  |  | vn invest-13.5.4-1 «NP V PP»: agent=Agent i=Goal |
| 4 | **proof** | to-infinitive | My signs *not said here* |  |  |  | time |  | tree rules |
| 5 | **not** **hearken** | present · perfect | My signs *not said here* |  |  |  |  | to My voice | tree rules |
| 6 | **glory** |  | My |  |  |  |  |  | nom glory «state intransitive»: poss=agent |
| 7 | **sign** |  | My |  |  |  |  |  | nom sign «communication transitive»: poss=agent |

## Example 2 {#x2}

<!-- .ven lang=en -->
Proofed, formatted and Unicode transliteration by John Bruno Hare. (Sefer Yetzirah, Kalisch 1877)

<!-- .note -->
*Sentence 1:* Proofed, formatted and Unicode transliteration by John Bruno Hare.

```conllu
# sent_id = dict:judaism:proof:x2:1
# text = Proofed, formatted and Unicode transliteration by John Bruno Hare.
1	Proofed	proof	VERB	VBN	Tense=Past|VerbForm=Part|Voice=Pass	0	root	_	SpaceAfter=No
2	,	,	PUNCT	,	_	3	punct	_	_
3	formatted	format	VERB	VBN	Tense=Past|VerbForm=Part|Voice=Pass	1	conj	_	_
4	and	and	CCONJ	CC	_	6	cc	_	_
5	Unicode	Unicode	PROPN	NNP	Number=Sing	6	compound	_	_
6	transliteration	transliteration	NOUN	NN	Number=Sing	3	conj	_	_
7	by	by	ADP	IN	_	8	case	_	_
8	John	John	PROPN	NNP	Number=Sing	6	nmod	_	_
9	Bruno	Bruno	PROPN	NNP	Number=Sing	8	flat	_	_
10	Hare	Hare	PROPN	NNP	Number=Sing	8	flat	_	SpaceAfter=No
11	.	.	PUNCT	.	_	1	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **proof** | participle |  |  |  |  |  |  | tree rules |
| 2 | **format** | participle |  |  |  |  |  |  | vn establish-55.5-1 «NP V NP»: agent=Agent |
| 3 | **transliterate** |  | John |  |  |  |  |  | nom transliteration «communication transitive»: by=agent |

<!-- .note -->
*Sentence 2:* (Sefer Yetzirah, Kalisch 1877)

```conllu
# sent_id = dict:judaism:proof:x2:2
# text = (Sefer Yetzirah, Kalisch 1877)
1	(	(	PUNCT	-LRB-	_	2	punct	_	SpaceAfter=No
2	Sefer	Sefer	PROPN	NNP	Number=Sing	0	root	_	_
3	Yetzirah	Yetzirah	PROPN	NNP	Number=Sing	2	flat	_	SpaceAfter=No
4	,	,	PUNCT	,	_	5	punct	_	_
5	Kalisch	Kalisch	PROPN	NNP	Number=Sing	2	conj	_	_
6	1877	1877	NUM	CD	NumForm=Digit|NumType=Card	5	flat	_	SpaceAfter=No
7	)	)	PUNCT	-RRB-	_	2	punct	_	_
```

<!-- .note -->
The frames reader finds no event or fact in this sentence.

## Example 3 {#x3}

<!-- .ven lang=en -->
The proof of which is that air is a participator with both. (Sefer Yetzirah, Westcott 1887)

<!-- .note -->
*Sentence 1:* The proof of which is that air is a participator with both.

```conllu
# sent_id = dict:judaism:proof:x3:1
# text = The proof of which is that air is a participator with both.
1	The	the	DET	DT	Definite=Def|PronType=Art	2	det	_	_
2	proof	proof	NOUN	NN	Number=Sing	10	nsubj	_	_
3	of	of	ADP	IN	_	7	case	_	_
4	which	which	PRON	WDT	PronType=Rel	7	nsubj	_	_
5	is	be	AUX	VBZ	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	7	cop	_	_
6	that	that	DET	DT	Number=Sing|PronType=Dem	7	det	_	_
7	air	air	NOUN	NN	Number=Sing	2	nmod	_	_
8	is	be	AUX	VBZ	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	10	cop	_	_
9	a	a	DET	DT	Definite=Ind|PronType=Art	10	det	_	_
10	participator	participator	NOUN	NN	Number=Sing	0	root	_	_
11	with	with	ADP	IN	_	12	case	_	_
12	both	both	DET	DT	PronType=Tot	10	nmod	_	SpaceAfter=No
13	.	.	PUNCT	.	_	10	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **is** | present | the proof |  |  |  |  | of that air | tree rules |
| 2 | **is a** | present | the proof | a participator |  |  |  | with both | tree rules |

<!-- .note -->
*Sentence 2:* (Sefer Yetzirah, Westcott 1887)

```conllu
# sent_id = dict:judaism:proof:x3:2
# text = (Sefer Yetzirah, Westcott 1887)
1	(	(	PUNCT	-LRB-	_	2	punct	_	SpaceAfter=No
2	Sefer	Sefer	PROPN	NNP	Number=Sing	0	root	_	_
3	Yetzirah	Yetzirah	PROPN	NNP	Number=Sing	2	flat	_	SpaceAfter=No
4	,	,	PUNCT	,	_	5	punct	_	_
5	Westcott	Westcott	PROPN	NNP	Number=Sing	2	conj	_	_
6	1887	1887	NUM	CD	NumForm=Digit|NumType=Card	5	flat	_	SpaceAfter=No
7	)	)	PUNCT	-RRB-	_	2	punct	_	_
```

<!-- .note -->
The frames reader finds no event or fact in this sentence.

## Example 4 {#x4}

<!-- .ven lang=en -->
Do you have proof that you finished your homework?

```conllu
# sent_id = dict:judaism:proof:x4:1
# text = Do you have proof that you finished your homework?
1	Do	do	AUX	VBP	Mood=Ind|Number=Sing|Person=2|Tense=Pres|VerbForm=Fin	3	aux	_	_
2	you	you	PRON	PRP	Case=Nom|Person=2|PronType=Prs	3	nsubj	_	_
3	have	have	VERB	VB	VerbForm=Inf	0	root	_	_
4	proof	proof	NOUN	NN	Number=Sing	3	obj	_	_
5	that	that	PRON	WDT	PronType=Rel	7	obj	_	_
6	you	you	PRON	PRP	Case=Nom|Person=2|PronType=Prs	7	nsubj	_	_
7	finished	finish	VERB	VBD	Mood=Ind|Number=Sing|Person=2|Tense=Past|VerbForm=Fin	4	acl:relcl	_	_
8	your	your	PRON	PRP$	Case=Gen|Person=2|Poss=Yes|PronType=Prs	9	nmod:poss	_	_
9	homework	homework	NOUN	NN	Number=Sing	7	obj	_	SpaceAfter=No
10	?	?	PUNCT	.	_	3	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **have** | present · do-support | you | proof |  |  |  |  | vn birth-28.2-1 «NP V NP»: agent=Agent proof=Patient |
| 2 | **finish** | past | you | proof |  |  |  |  | tree rules |

## Example 5 {#x5}

<!-- .ven lang=en -->
The footprints were proof that a fox had visited.

```conllu
# sent_id = dict:judaism:proof:x5:1
# text = The footprints were proof that a fox had visited.
1	The	the	DET	DT	Definite=Def|PronType=Art	2	det	_	_
2	footprints	footprint	NOUN	NNS	Number=Plur	4	nsubj	_	_
3	were	be	AUX	VBD	Mood=Ind|Number=Plur|Person=3|Tense=Past|VerbForm=Fin	4	cop	_	_
4	proof	proof	NOUN	NN	Number=Sing	0	root	_	_
5	that	that	SCONJ	IN	_	9	mark	_	_
6	a	a	DET	DT	Definite=Ind|PronType=Art	7	det	_	_
7	fox	fox	NOUN	NN	Number=Sing	9	nsubj	_	_
8	had	have	AUX	VBD	Mood=Ind|Number=Sing|Person=3|Tense=Past|VerbForm=Fin	9	aux	_	_
9	visited	visit	VERB	VBN	Tense=Past|VerbForm=Part	4	acl	_	SpaceAfter=No
10	.	.	PUNCT	.	_	4	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **is a** | past | the footprints | proof |  |  |  |  | tree rules |
| 2 | **visit** | past · perfect | a fox | proof *not said here* |  |  |  |  | vn meet-36.3-1 «NP V NP»: agent=Agent proof=Co-Agent |

## Example 6 {#x6}

<!-- .ven lang=en -->
My coat is waterproof, so I stayed dry.

```conllu
# sent_id = dict:judaism:proof:x6:1
# text = My coat is waterproof, so I stayed dry.
1	My	my	PRON	PRP$	Case=Gen|Number=Sing|Person=1|Poss=Yes|PronType=Prs	2	nmod:poss	_	_
2	coat	coat	NOUN	NN	Number=Sing	4	nsubj	_	_
3	is	be	AUX	VBZ	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	4	cop	_	_
4	waterproof	waterproof	ADJ	JJ	Degree=Pos	0	root	_	SpaceAfter=No
5	,	,	PUNCT	,	_	8	punct	_	_
6	so	so	ADV	RB	_	8	advmod	_	_
7	I	I	PRON	PRP	Case=Nom|Number=Sing|Person=1|PronType=Prs	8	nsubj	_	_
8	stayed	stay	VERB	VBD	Mood=Ind|Number=Sing|Person=1|Tense=Past|VerbForm=Fin	4	conj	_	_
9	dry	dry	ADJ	JJ	Degree=Pos	8	xcomp	_	SpaceAfter=No
10	.	.	PUNCT	.	_	4	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **is** | present | My coat |  |  |  |  | waterproof *property* | tree rules |
| 2 | **stay** | past | I |  |  |  |  | dry *property* | vn exist-47.1 «NP V»: agent=Theme |

## Example 7 {#x7}

<!-- .ven lang=en -->
Medicine bottles have childproof lids.

```conllu
# sent_id = dict:judaism:proof:x7:1
# text = Medicine bottles have childproof lids.
1	Medicine	medicine	NOUN	NN	Number=Sing	2	compound	_	_
2	bottles	bottle	NOUN	NNS	Number=Plur	3	nsubj	_	_
3	have	have	VERB	VBP	Mood=Ind|Number=Plur|Person=3|Tense=Pres|VerbForm=Fin	0	root	_	_
4	childproof	childproof	ADJ	JJ	Degree=Pos	5	amod	_	_
5	lids	lid	NOUN	NNS	Number=Plur	3	obj	_	SpaceAfter=No
6	.	.	PUNCT	.	_	3	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **have** | present | Medicine bottles | childproof lids |  |  |  |  | vn birth-28.2-1 «NP V NP»: agent=Agent lid=Patient |

## Example 8 {#x8}

<!-- .ven lang=en -->
The teacher showed a proof that the angles of a triangle add up to 180 degrees.

<!-- fold The tree, 16 words -->
```conllu
# sent_id = dict:judaism:proof:x8:1
# text = The teacher showed a proof that the angles of a triangle add up to 180 degrees.
1	The	the	DET	DT	Definite=Def|PronType=Art	2	det	_	_
2	teacher	teacher	NOUN	NN	Number=Sing	3	nsubj	_	_
3	showed	show	VERB	VBD	Mood=Ind|Number=Sing|Person=3|Tense=Past|VerbForm=Fin	0	root	_	_
4	a	a	DET	DT	Definite=Ind|PronType=Art	5	det	_	_
5	proof	proof	NOUN	NN	Number=Sing	3	obj	_	_
6	that	that	SCONJ	IN	_	12	mark	_	_
7	the	the	DET	DT	Definite=Def|PronType=Art	8	det	_	_
8	angles	angle	NOUN	NNS	Number=Plur	12	nsubj	_	_
9	of	of	ADP	IN	_	11	case	_	_
10	a	a	DET	DT	Definite=Ind|PronType=Art	11	det	_	_
11	triangle	triangle	NOUN	NN	Number=Sing	8	nmod	_	_
12	add	add	VERB	VBP	Mood=Ind|Number=Plur|Person=3|Tense=Pres|VerbForm=Fin	5	acl	_	_
13	up	up	ADP	RP	_	12	compound:prt	_	_
14	to	to	ADP	IN	_	16	case	_	_
15	180	180	NUM	CD	NumForm=Digit|NumType=Card	16	nummod	_	_
16	degrees	degree	NOUN	NNS	Number=Plur	12	obl	_	SpaceAfter=No
17	.	.	PUNCT	.	_	3	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **show** | past | the teacher | a proof |  |  |  |  | vn transfer\_mesg-37.1.1-1-1 «NP V NP.recipient»: agent=Agent proof=Recipient |
| 2 | **add up** *speech: assert* | present | the angles of a triangle | a proof *not said here* |  |  |  | to 180 degrees | vn mix-22.1-2 «NP V NP PP.co-patient»: agent=Agent proof=Patient to degree=Co-Patient |

## Example 9 {#x9}

<!-- .ven lang=en -->
Keep the receipt as proof that you paid.

```conllu
# sent_id = dict:judaism:proof:x9:1
# text = Keep the receipt as proof that you paid.
1	Keep	keep	VERB	VB	Mood=Imp|VerbForm=Fin	0	root	_	_
2	the	the	DET	DT	Definite=Def|PronType=Art	3	det	_	_
3	receipt	receipt	NOUN	NN	Number=Sing	1	obj	_	_
4	as	as	ADP	IN	_	5	case	_	_
5	proof	proof	NOUN	NN	Number=Sing	1	obl	_	_
6	that	that	SCONJ	IN	_	8	mark	_	_
7	you	you	PRON	PRP	Case=Nom|Person=2|PronType=Prs	8	nsubj	_	_
8	paid	pay	VERB	VBD	Mood=Ind|Number=Sing|Person=2|Tense=Past|VerbForm=Fin	1	advcl	_	SpaceAfter=No
9	.	.	PUNCT	.	_	1	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **keep** | imperative | you *not said here* | the receipt |  |  |  | as proof | vn keep-15.2 «NP V NP»: agent=Agent receipt=Theme |
| 2 | **pay** | past | you |  |  |  |  |  | vn pay-68-1 «NP V NP»: agent=Agent |

## Example 10 {#x10}

<!-- .ven lang=en -->
One example is not proof that a rule always works.

```conllu
# sent_id = dict:judaism:proof:x10:1
# text = One example is not proof that a rule always works.
1	One	one	NUM	CD	NumForm=Word|NumType=Card	2	nummod	_	_
2	example	example	NOUN	NN	Number=Sing	5	nsubj	_	_
3	is	be	AUX	VBZ	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	5	cop	_	_
4	not	not	PART	RB	Polarity=Neg	5	advmod	_	_
5	proof	proof	NOUN	NN	Number=Sing	0	root	_	_
6	that	that	SCONJ	IN	_	10	mark	_	_
7	a	a	DET	DT	Definite=Ind|PronType=Art	8	det	_	_
8	rule	rule	NOUN	NN	Number=Sing	10	nsubj	_	_
9	always	always	ADV	RB	PronType=Tot	10	advmod	_	_
10	works	work	VERB	VBZ	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	5	acl	_	SpaceAfter=No
11	.	.	PUNCT	.	_	5	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **not** **is a** | present | One example | proof |  |  |  |  | tree rules |
| 2 | **work** | present | a rule | proof *not said here* |  |  |  | always *property* | vn knead-26.5 «NP V NP.material»: agent=Agent proof=Material |

<!-- div src -->

**Text:** the Judaism 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.

<!-- /div -->

<!-- pn -->
- ← previous: [pronunciation](https://md.mova.elamur.ai/free/en/corpora/dictionaries/judaism/P/pronunciation/)
- next →: [proofread](https://md.mova.elamur.ai/free/en/corpora/dictionaries/judaism/P/proofread/)
- ↑ back to [P in Judaism dictionary](https://md.mova.elamur.ai/free/en/corpora/dictionaries/judaism/P/)