---
title: logic — Judaism dictionary · trees and pragmatics
description: «logic» in the Judaism dictionary: Logic is careful, clear thinking where each step follows from the one before, so you reach a sensible answer. 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/L/logic/)

<!-- 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/) / [L](https://md.mova.elamur.ai/free/en/corpora/dictionaries/judaism/L/) / logic

# logic

<!-- .vintro -->
**Who acts:** Logic, step, you, I, true/false, computer · **What happens:** be, follow, reach, not see, step, adopt · **To what, where:** sensible answer, study, reason, logic, set, rules · **Speech:** someone speaks here

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

## Meaning 1 {#m1}

<!-- .ven lang=en -->
Logic is careful, clear thinking where each step follows from the one before, so you reach a sensible answer.

<!-- fold The tree, 19 words -->
```conllu
# sent_id = dict:judaism:logic:m1:1
# text = Logic is careful, clear thinking where each step follows from the one before, so you reach a sensible answer.
1	Logic	logic	NOUN	NN	Number=Sing	3	nsubj	_	_
2	is	be	AUX	VBZ	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	3	cop	_	_
3	careful	careful	ADJ	JJ	Degree=Pos	0	root	_	SpaceAfter=No
4	,	,	PUNCT	,	_	6	punct	_	_
5	clear	clear	ADJ	JJ	Degree=Pos	6	amod	_	_
6	thinking	thinking	NOUN	NN	Number=Sing	3	obl	_	_
7	where	where	ADV	WRB	PronType=Rel	10	advmod	_	_
8	each	each	DET	DT	PronType=Tot	9	det	_	_
9	step	step	NOUN	NN	Number=Sing	10	nsubj	_	_
10	follows	follow	VERB	VBZ	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	6	acl:relcl	_	_
11	from	from	ADP	IN	_	13	case	_	_
12	the	the	DET	DT	Definite=Def|PronType=Art	13	det	_	_
13	one	one	NOUN	NN	Number=Sing	10	obl	_	_
14	before	before	ADV	RB	_	10	advmod	_	SpaceAfter=No
15	,	,	PUNCT	,	_	18	punct	_	_
16	so	so	ADV	RB	_	18	advmod	_	_
17	you	you	PRON	PRP	Case=Nom|Person=2|PronType=Prs	18	nsubj	_	_
18	reach	reach	VERB	VBP	Mood=Ind|Number=Sing|Person=2|Tense=Pres|VerbForm=Fin	3	parataxis	_	_
19	a	a	DET	DT	Definite=Ind|PronType=Art	21	det	_	_
20	sensible	sensible	ADJ	JJ	Degree=Pos	21	amod	_	_
21	answer	answer	NOUN	NN	Number=Sing	18	obj	_	SpaceAfter=No
22	.	.	PUNCT	.	_	3	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **is** | present | Logic |  |  |  |  | clear thinking *obl*; careful *property* | tree rules |
| 2 | **follow** | present | each step |  |  |  |  | from the one; before *property* | vn chase-51.6 «NP V NP PP.location»: agent=Agent from one=Trajectory |
| 3 | **reach** | present | you | a sensible answer |  |  |  |  | vn body\_motion-49.2-1-1 «NP V NP ADV»: agent=Agent answer=Theme |

<!-- .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 -->
Logic is also the study of correct reasoning, a part of maths and philosophy.

<!-- fold The tree, 14 words -->
```conllu
# sent_id = dict:judaism:logic:m2:1
# text = Logic is also the study of correct reasoning, a part of maths and philosophy.
1	Logic	logic	NOUN	NN	Number=Sing	5	nsubj	_	_
2	is	be	AUX	VBZ	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	5	cop	_	_
3	also	also	ADV	RB	_	5	advmod	_	_
4	the	the	DET	DT	Definite=Def|PronType=Art	5	det	_	_
5	study	study	NOUN	NN	Number=Sing	0	root	_	_
6	of	of	ADP	IN	_	8	case	_	_
7	correct	correct	ADJ	JJ	Degree=Pos	8	amod	_	_
8	reasoning	reasoning	NOUN	NN	Number=Sing	5	nmod	_	SpaceAfter=No
9	,	,	PUNCT	,	_	11	punct	_	_
10	a	a	DET	DT	Definite=Ind|PronType=Art	11	det	_	_
11	part	part	NOUN	NN	Number=Sing	5	conj	_	_
12	of	of	ADP	IN	_	13	case	_	_
13	maths	math	NOUN	NNS	Number=Plur	11	nmod	_	_
14	and	and	CCONJ	CC	_	15	cc	_	_
15	philosophy	philosophy	NOUN	NN	Number=Sing	13	conj	_	SpaceAfter=No
16	.	.	PUNCT	.	_	5	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **is a** | present | Logic | the study and a part of maths and philosophy |  |  |  | of correct reasoning | tree rules |

## Meaning 3 {#m3}

<!-- .ven lang=en -->
The logic of something is the reason or sense behind it: «I don't see the logic of that plan».

<!-- fold The tree, 20 words -->
```conllu
# sent_id = dict:judaism:logic:m3:1
# text = The logic of something is the reason or sense behind it: «I don't see the logic of that plan».
1	The	the	DET	DT	Definite=Def|PronType=Art	2	det	_	_
2	logic	logic	NOUN	NN	Number=Sing	7	nsubj	_	_
3	of	of	ADP	IN	_	4	case	_	_
4	something	something	PRON	NN	Number=Sing|PronType=Ind	2	nmod	_	_
5	is	be	AUX	VBZ	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	7	cop	_	_
6	the	the	DET	DT	Definite=Def|PronType=Art	7	det	_	_
7	reason	reason	NOUN	NN	Number=Sing	0	root	_	_
8	or	or	CCONJ	CC	_	9	cc	_	_
9	sense	sense	NOUN	NN	Number=Sing	7	conj	_	_
10	behind	behind	ADP	IN	_	11	case	_	_
11	it	it	PRON	PRP	Case=Acc|Gender=Neut|Number=Sing|Person=3|PronType=Prs	9	nmod	_	SpaceAfter=No
12	:	:	PUNCT	:	_	17	punct	_	_
13	«	«	PUNCT	``	_	17	punct	_	SpaceAfter=No
14	I	I	PRON	PRP	Case=Nom|Number=Sing|Person=1|PronType=Prs	17	nsubj	_	_
15	do	do	AUX	VBP	Mood=Ind|Number=Sing|Person=1|Tense=Pres|VerbForm=Fin	17	aux	_	SpaceAfter=No
16	n't	not	PART	RB	Polarity=Neg	17	advmod	_	_
17	see	see	VERB	VB	VerbForm=Inf	7	parataxis	_	_
18	the	the	DET	DT	Definite=Def|PronType=Art	19	det	_	_
19	logic	logic	NOUN	NN	Number=Sing	17	obj	_	_
20	of	of	ADP	IN	_	22	case	_	_
21	that	that	DET	DT	Number=Sing|PronType=Dem	22	det	_	_
22	plan	plan	NOUN	NN	Number=Sing	19	nmod	_	SpaceAfter=No
23	»	»	PUNCT	''	_	17	punct	_	SpaceAfter=No
24	.	.	PUNCT	.	_	7	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **is a** | present | the logic of something | the reason or sense behind sense |  |  |  |  | tree rules |
| 2 | **not** **see** *in a quote* | present · do-support | I | the logic of that plan |  |  |  |  | vn comprehend-87.2-1-1 «NP V NP»: agent=Experiencer logic=Stimulus |

## Meaning 4 {#m4}

<!-- .note -->
Usage: computers — kept apart, not parsed.

<!-- .ven lang=en -->
Logic is the set of rules and true/false steps a computer or program follows.

<!-- fold The tree, 14 words -->
```conllu
# sent_id = dict:judaism:logic:m4:1
# text = Logic is the set of rules and true/false steps a computer or program follows.
1	Logic	logic	NOUN	NN	Number=Sing	4	nsubj	_	_
2	is	be	AUX	VBZ	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	4	cop	_	_
3	the	the	DET	DT	Definite=Def|PronType=Art	4	det	_	_
4	set	set	NOUN	NN	Number=Sing	0	root	_	_
5	of	of	ADP	IN	_	6	case	_	_
6	rules	rule	NOUN	NNS	Number=Plur	4	nmod	_	_
7	and	and	CCONJ	CC	_	9	cc	_	_
8	true/false	true/false	NOUN	NN	Number=Sing	9	nsubj	_	_
9	steps	step	VERB	VBZ	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	6	acl:relcl	_	_
10	a	a	DET	DT	Definite=Ind|PronType=Art	11	det	_	_
11	computer	computer	NOUN	NN	Number=Sing	14	nsubj	_	_
12	or	or	CCONJ	CC	_	13	cc	_	_
13	program	program	NOUN	NN	Number=Sing	11	conj	_	_
14	follows	follow	VERB	VBZ	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	9	advcl	_	SpaceAfter=No
15	.	.	PUNCT	.	_	4	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **is a** | present | Logic | the set |  |  |  | of rules | tree rules |
| 2 | **step** | present | true/false | rules *not said here* |  |  |  |  | vn run-51.3.2 «PP.location V NP»: agent=Initial\_Location rule=Theme |
| 3 | **follow** | present | a computer or program |  |  |  |  |  | vn occur-48.3-1 «NP V»: agent=Theme |

## Example 1 {#x1}

<!-- .ven lang=en -->
The translation adopted here follows a popular logic. (Sefer Yetzirah, Sefaria community translation)

<!-- .note -->
*Sentence 1:* The translation adopted here follows a popular logic.

```conllu
# sent_id = dict:judaism:logic:x1:1
# text = The translation adopted here follows a popular logic.
1	The	the	DET	DT	Definite=Def|PronType=Art	2	det	_	_
2	translation	translation	NOUN	NN	Number=Sing	5	nsubj	_	_
3	adopted	adopt	VERB	VBN	Tense=Past|VerbForm=Part|Voice=Pass	2	acl	_	_
4	here	here	ADV	RB	PronType=Dem	3	advmod	_	_
5	follows	follow	VERB	VBZ	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	0	root	_	_
6	a	a	DET	DT	Definite=Ind|PronType=Art	8	det	_	_
7	popular	popular	ADJ	JJ	Degree=Pos	8	amod	_	_
8	logic	logic	NOUN	NN	Number=Sing	5	obj	_	SpaceAfter=No
9	.	.	PUNCT	.	_	5	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **adopt** | participle |  | the translation *not said here* |  | here |  |  | vn appoint-29.1 «NP V NP»: agent=Agent |
| 2 | **follow** | present | the translation | a popular logic |  |  |  |  | vn chase-51.6 «NP V NP»: agent=Agent logic=Theme |

<!-- .note -->
*Sentence 2:* (Sefer Yetzirah, Sefaria community translation)

```conllu
# sent_id = dict:judaism:logic:x1:2
# text = (Sefer Yetzirah, Sefaria community translation)
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	,	_	7	punct	_	_
5	Sefaria	Sefaria	PROPN	NNP	Number=Sing	7	compound	_	_
6	community	community	NOUN	NN	Number=Sing	7	compound	_	_
7	translation	translation	NOUN	NN	Number=Sing	2	appos	_	SpaceAfter=No
8	)	)	PUNCT	-RRB-	_	2	punct	_	_
```

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

## Example 2 {#x2}

<!-- .ven lang=en -->
George Boole inThe Laws of Thought, London 1854, p. 48, also says: "The respective interpretations of the symbols 0 and 1 in the system of Logic are Nothing and Universe." (Mordell, The Origin of Letters and Numerals according to Sefer Yetzirah (1914))

<!-- .note -->
*Sentence 1:* George Boole inThe Laws of Thought, London 1854, p. 48, also says: "The respective interpretations of the symbols 0 and 1 in the system of Logic are Nothing and Universe."

<!-- fold The tree, 30 words -->
```conllu
# sent_id = dict:judaism:logic:x2:1
# text = George Boole inThe Laws of Thought, London 1854, p. 48, also says: "The respective interpretations of the symbols 0 and 1 in the system of Logic are Nothing and Universe."
1	George	George	PROPN	NNP	Number=Sing	4	compound	_	_
2	Boole	Boole	PROPN	NNP	Number=Sing	1	flat	_	_
3	inThe	inthe	NOUN	NN	Number=Sing	4	compound	_	_
4	Laws	law	NOUN	NNS	Number=Plur	15	ccomp	_	_
5	of	of	ADP	IN	_	6	case	_	_
6	Thought	Thought	PROPN	NNP	Number=Sing	4	nmod	_	SpaceAfter=No
7	,	,	PUNCT	,	_	9	punct	_	_
8	London	London	PROPN	NNP	Number=Sing	9	nmod:unmarked	_	_
9	1854	1854	NUM	CD	NumForm=Digit|NumType=Card	6	appos	_	SpaceAfter=No
10	,	,	PUNCT	,	_	11	punct	_	_
11	p.	P.	PROPN	NNP	Number=Sing	6	conj	_	_
12	48	48	NUM	CD	NumForm=Digit|NumType=Card	11	flat	_	SpaceAfter=No
13	,	,	PUNCT	,	_	15	punct	_	_
14	also	also	ADV	RB	_	15	advmod	_	_
15	says	say	VERB	VBZ	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	0	root	_	SpaceAfter=No
16	:	:	PUNCT	:	_	20	punct	_	_
17	"	"	PUNCT	``	_	20	punct	_	SpaceAfter=No
18	The	the	DET	DT	Definite=Def|PronType=Art	20	det	_	_
19	respective	respective	ADJ	JJ	Degree=Pos	20	amod	_	_
20	interpretations	interpretation	NOUN	NNS	Number=Plur	33	nsubj	_	_
21	of	of	ADP	IN	_	23	case	_	_
22	the	the	DET	DT	Definite=Def|PronType=Art	23	det	_	_
23	symbols	symbol	NOUN	NNS	Number=Plur	20	nmod	_	_
24	0	0	NUM	CD	NumForm=Digit|NumType=Card	23	appos	_	_
25	and	and	CCONJ	CC	_	26	cc	_	_
26	1	1	NUM	CD	NumForm=Digit|NumType=Card	24	conj	_	_
27	in	in	ADP	IN	_	29	case	_	_
28	the	the	DET	DT	Definite=Def|PronType=Art	29	det	_	_
29	system	system	NOUN	NN	Number=Sing	20	nmod	_	_
30	of	of	ADP	IN	_	31	case	_	_
31	Logic	Logic	PROPN	NNP	Number=Sing	29	nmod	_	_
32	are	be	AUX	VBP	Mood=Ind|Number=Plur|Person=3|Tense=Pres|VerbForm=Fin	33	cop	_	_
33	Nothing	nothing	ADJ	JJ	Degree=Pos	15	ccomp	_	_
34	and	and	CCONJ	CC	_	35	cc	_	_
35	Universe	Universe	PROPN	NNP	Number=Sing	33	conj	_	SpaceAfter=No
36	.	.	PUNCT	.	_	15	punct	_	SpaceAfter=No
37	"	"	PUNCT	''	_	15	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **say** *speech: assert* | present |  |  |  |  |  |  | vn say-37.7-1-1 «NP V that S»: agent=Agent |
| 2 | **is** *in a quote* | present | the respective interpretations of the symbols in the system of Logic |  |  |  |  | nothing *property* | tree rules |
| 3 | **interpret** *in a quote* |  |  | the symbols |  | the system of Logic |  |  | nom interpretation «cognition transitive»: of=patient in=place |

<!-- .note -->
*Sentence 2:* (Mordell, The Origin of Letters and Numerals according to Sefer Yetzirah (1914))

<!-- fold The tree, 12 words -->
```conllu
# sent_id = dict:judaism:logic:x2:2
# text = (Mordell, The Origin of Letters and Numerals according to Sefer Yetzirah (1914))
1	(	(	PUNCT	-LRB-	_	2	punct	_	SpaceAfter=No
2	Mordell	Mordell	PROPN	NNP	Number=Sing	0	root	_	SpaceAfter=No
3	,	,	PUNCT	,	_	5	punct	_	_
4	The	the	DET	DT	Definite=Def|PronType=Art	5	det	_	_
5	Origin	Origin	PROPN	NNP	Number=Sing	2	appos	_	_
6	of	of	ADP	IN	_	7	case	_	_
7	Letters	letter	NOUN	NNS	Number=Plur	5	nmod	_	_
8	and	and	CCONJ	CC	_	9	cc	_	_
9	Numerals	numeral	NOUN	NNS	Number=Plur	7	conj	_	_
10	according	accord	VERB	VBG	ExtPos=ADP|Tense=Pres|VerbForm=Part	12	case	_	_
11	to	to	ADP	IN	_	10	fixed	_	_
12	Sefer	Sefer	PROPN	NNP	Number=Sing	2	nmod	_	_
13	Yetzirah	Yetzirah	PROPN	NNP	Number=Sing	12	flat	_	_
14	(	(	PUNCT	-LRB-	_	15	punct	_	SpaceAfter=No
15	1914	1914	NUM	CD	NumForm=Digit|NumType=Card	2	list	_	SpaceAfter=No
16	))	))	PUNCT	-RRB-	_	2	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **accord** | gerund |  |  |  |  |  |  | vn future\_having-13.3 «NP V NP.theme (PP)»: agent=Agent |

## Example 3 {#x3}

<!-- .ven lang=en -->
Use logic to solve the puzzle: the cat is not in the red house.

<!-- fold The tree, 14 words -->
```conllu
# sent_id = dict:judaism:logic:x3:1
# text = Use logic to solve the puzzle: the cat is not in the red house.
1	Use	use	VERB	VB	Mood=Imp|VerbForm=Fin	0	root	_	_
2	logic	logic	NOUN	NN	Number=Sing	1	obj	_	_
3	to	to	PART	TO	_	4	mark	_	_
4	solve	solve	VERB	VB	VerbForm=Inf	1	advcl	_	_
5	the	the	DET	DT	Definite=Def|PronType=Art	6	det	_	_
6	puzzle	puzzle	NOUN	NN	Number=Sing	4	obj	_	SpaceAfter=No
7	:	:	PUNCT	:	_	15	punct	_	_
8	the	the	DET	DT	Definite=Def|PronType=Art	9	det	_	_
9	cat	cat	NOUN	NN	Number=Sing	15	nsubj	_	_
10	is	be	AUX	VBZ	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	15	cop	_	_
11	not	not	PART	RB	Polarity=Neg	15	advmod	_	_
12	in	in	ADP	IN	_	15	case	_	_
13	the	the	DET	DT	Definite=Def|PronType=Art	15	det	_	_
14	red	red	ADJ	JJ	Degree=Pos	15	amod	_	_
15	house	house	NOUN	NN	Number=Sing	1	obl	_	SpaceAfter=No
16	.	.	PUNCT	.	_	1	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **use** | imperative | you *not said here* | logic |  |  |  |  | vn eat-39.1 «NP V NP»: agent=Agent logic=Patient |
| 2 | **solve** | to-infinitive | you *not said here* | the puzzle |  |  |  |  | vn discover-84 «NP V NP»: agent=Agent puzzle=Topic |
| 3 | **not** **is** | present | the cat |  |  | the red house |  |  | tree rules |

## Example 4 {#x4}

<!-- .ven lang=en -->
There is no logic in walking home in the rain without your coat.

```conllu
# sent_id = dict:judaism:logic:x4:1
# text = There is no logic in walking home in the rain without your coat.
1	There	there	PRON	EX	PronType=Dem	2	expl	_	_
2	is	be	VERB	VBZ	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	0	root	_	_
3	no	no	DET	DT	PronType=Neg	4	det	_	_
4	logic	logic	NOUN	NN	Number=Sing	2	nsubj	_	_
5	in	in	SCONJ	IN	_	6	mark	_	_
6	walking	walk	VERB	VBG	VerbForm=Ger	4	acl	_	_
7	home	home	ADV	RB	_	6	advmod	_	_
8	in	in	ADP	IN	_	10	case	_	_
9	the	the	DET	DT	Definite=Def|PronType=Art	10	det	_	_
10	rain	rain	NOUN	NN	Number=Sing	6	obl	_	_
11	without	without	ADP	IN	_	13	case	_	_
12	your	your	PRON	PRP$	Case=Gen|Person=2|Poss=Yes|PronType=Prs	13	nmod:poss	_	_
13	coat	coat	NOUN	NN	Number=Sing	6	obl	_	SpaceAfter=No
14	.	.	PUNCT	.	_	2	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **be** | present | no logic |  |  | there |  |  | vn exist-47.1 «NP V»: agent=Theme |
| 2 | **walk** | gerund | no logic *not said here* |  |  | the rain |  | without your coat; home *property* | vn run-51.3.2-2-1 «NP V PP.location»: agent=Theme in rain=Trajectory |

## Example 5 {#x5}

<!-- .ven lang=en -->
In coding, logic decides what the robot does next.

```conllu
# sent_id = dict:judaism:logic:x5:1
# text = In coding, logic decides what the robot does next.
1	In	in	ADP	IN	_	2	case	_	_
2	coding	coding	NOUN	NN	Number=Sing	5	obl	_	SpaceAfter=No
3	,	,	PUNCT	,	_	2	punct	_	_
4	logic	logic	NOUN	NN	Number=Sing	5	nsubj	_	_
5	decides	decide	VERB	VBZ	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	0	root	_	_
6	what	what	PRON	WP	PronType=Int	9	obj	_	_
7	the	the	DET	DT	Definite=Def|PronType=Art	8	det	_	_
8	robot	robot	NOUN	NN	Number=Sing	9	nsubj	_	_
9	does	do	VERB	VBZ	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	5	ccomp	_	_
10	next	next	ADV	RB	_	9	advmod	_	SpaceAfter=No
11	.	.	PUNCT	.	_	5	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **decide** | present | logic |  |  | coding |  |  | vn correspond-36.1-1 «NP V what S\_INF»: agent=Agent clause=Topic |
| 2 | **do** | present | the robot |  |  |  |  | next *property* | vn act-114-1 «NP V NP»: agent=Agent what=Eventuality |

## Example 6 {#x6}

<!-- .ven lang=en -->
Sherlock Holmes solved crimes with logic.

```conllu
# sent_id = dict:judaism:logic:x6:1
# text = Sherlock Holmes solved crimes with logic.
1	Sherlock	Sherlock	PROPN	NNP	Number=Sing	3	nsubj	_	_
2	Holmes	Holmes	PROPN	NNP	Number=Sing	1	flat	_	_
3	solved	solve	VERB	VBD	Mood=Ind|Number=Sing|Person=3|Tense=Past|VerbForm=Fin	0	root	_	_
4	crimes	crime	NOUN	NNS	Number=Plur	3	obj	_	_
5	with	with	ADP	IN	_	6	case	_	_
6	logic	logic	NOUN	NN	Number=Sing	3	obl	_	SpaceAfter=No
7	.	.	PUNCT	.	_	3	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **solve** | past | Sherlock | crimes |  |  |  | with logic | vn discover-84 «NP V NP»: agent=Agent crime=Topic |

## Example 7 {#x7}

<!-- .ven lang=en -->
Her logic was good, but one fact was wrong.

```conllu
# sent_id = dict:judaism:logic:x7:1
# text = Her logic was good, but one fact was wrong.
1	Her	her	PRON	PRP$	Case=Gen|Gender=Fem|Number=Sing|Person=3|Poss=Yes|PronType=Prs	2	nmod:poss	_	_
2	logic	logic	NOUN	NN	Number=Sing	4	nsubj	_	_
3	was	be	AUX	VBD	Mood=Ind|Number=Sing|Person=3|Tense=Past|VerbForm=Fin	4	cop	_	_
4	good	good	ADJ	JJ	Degree=Pos	0	root	_	SpaceAfter=No
5	,	,	PUNCT	,	_	10	punct	_	_
6	but	but	CCONJ	CC	_	10	cc	_	_
7	one	one	NUM	CD	NumForm=Word|NumType=Card	8	nummod	_	_
8	fact	fact	NOUN	NN	Number=Sing	10	nsubj	_	_
9	was	be	AUX	VBD	Mood=Ind|Number=Sing|Person=3|Tense=Past|VerbForm=Fin	10	cop	_	_
10	wrong	wrong	ADJ	JJ	Degree=Pos	4	conj	_	SpaceAfter=No
11	.	.	PUNCT	.	_	4	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **is** | past | Her logic |  |  |  |  | good *property* | tree rules |
| 2 | **is** | past | one fact |  |  |  |  | wrong *property* | tree rules |

## Example 8 {#x8}

<!-- .ven lang=en -->
We learned about «and», «or» and «not» in logic.

<!-- fold The tree, 9 words -->
```conllu
# sent_id = dict:judaism:logic:x8:1
# text = We learned about «and», «or» and «not» in logic.
1	We	we	PRON	PRP	Case=Nom|Number=Plur|Person=1|PronType=Prs	2	nsubj	_	_
2	learned	learn	VERB	VBD	Mood=Ind|Number=Plur|Person=1|Tense=Past|VerbForm=Fin	0	root	_	_
3	about	about	ADP	IN	_	5	case	_	_
4	«	«	PUNCT	``	_	5	punct	_	SpaceAfter=No
5	and	and	CCONJ	CC	_	2	cc	_	SpaceAfter=No
6	»	»	PUNCT	''	_	2	punct	_	SpaceAfter=No
7	,	,	PUNCT	,	_	16	punct	_	_
8	«	«	PUNCT	``	_	16	punct	_	SpaceAfter=No
9	or	or	CCONJ	CC	_	16	cc	_	SpaceAfter=No
10	»	»	PUNCT	''	_	9	punct	_	_
11	and	and	CCONJ	CC	_	16	cc	_	_
12	«	«	PUNCT	``	_	13	punct	_	SpaceAfter=No
13	not	not	PART	RB	Polarity=Neg	16	advmod	_	SpaceAfter=No
14	»	»	PUNCT	''	_	13	punct	_	_
15	in	in	ADP	IN	_	16	case	_	_
16	logic	logic	NOUN	NN	Number=Sing	2	obl	_	SpaceAfter=No
17	.	.	PUNCT	.	_	2	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **learn** | past | We |  |  | logic |  |  | vn learn-14-1 «NP V»: agent=Agent |

## Example 9 {#x9}

<!-- .ven lang=en -->
I can't follow the logic of this rule.

```conllu
# sent_id = dict:judaism:logic:x9:1
# text = I can't follow the logic of this rule.
1	I	I	PRON	PRP	Case=Nom|Number=Sing|Person=1|PronType=Prs	4	nsubj	_	_
2	ca	can	AUX	MD	VerbForm=Fin	4	aux	_	SpaceAfter=No
3	n't	not	PART	RB	Polarity=Neg	4	advmod	_	_
4	follow	follow	VERB	VB	VerbForm=Inf	0	root	_	_
5	the	the	DET	DT	Definite=Def|PronType=Art	6	det	_	_
6	logic	logic	NOUN	NN	Number=Sing	4	obj	_	_
7	of	of	ADP	IN	_	9	case	_	_
8	this	this	DET	DT	Number=Sing|PronType=Dem	9	det	_	_
9	rule	rule	NOUN	NN	Number=Sing	6	nmod	_	SpaceAfter=No
10	.	.	PUNCT	.	_	4	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **not** **follow** | can | I | the logic of this rule |  |  |  |  | vn chase-51.6 «NP V NP»: agent=Agent logic=Theme |

<!-- 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: [log](https://md.mova.elamur.ai/free/en/corpora/dictionaries/judaism/L/log/)
- next →: [logically](https://md.mova.elamur.ai/free/en/corpora/dictionaries/judaism/L/logically/)
- ↑ back to [L in Judaism dictionary](https://md.mova.elamur.ai/free/en/corpora/dictionaries/judaism/L/)