---
title: solver — school dictionary · trees and pragmatics
description: «solver» in the school dictionary: A solver is a person who solves something, like a problem, puzzle or crime: a problem solver. 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/school/S/solver/)

<!-- 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/) / [school dictionary](https://md.mova.elamur.ai/free/en/corpora/dictionaries/school/) / [S](https://md.mova.elamur.ai/free/en/corpora/dictionaries/school/S/) / solver

# solver

<!-- .vintro -->
**Who acts:** solver, person, program, She, Crossword solvers, fastest solver · **What happens:** be, solve, find, enjoy, win, practise · **To what, where:** person, something, program, computing, answers, brilliant problem solver

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

## Meaning 1 {#m1}

<!-- .ven lang=en -->
A solver is a person who solves something, like a problem, puzzle or crime: a problem solver.

<!-- fold The tree, 17 words -->
```conllu
# sent_id = dict:school:solver:m1:1
# text = A solver is a person who solves something, like a problem, puzzle or crime: a problem solver.
1	A	a	DET	DT	Definite=Ind|PronType=Art	2	det	_	_
2	solver	solver	NOUN	NN	Number=Sing	5	nsubj	_	_
3	is	be	AUX	VBZ	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	5	cop	_	_
4	a	a	DET	DT	Definite=Ind|PronType=Art	5	det	_	_
5	person	person	NOUN	NN	Number=Sing	0	root	_	_
6	who	who	PRON	WP	PronType=Rel	7	nsubj	_	_
7	solves	solve	VERB	VBZ	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	5	acl:relcl	_	_
8	something	something	PRON	NN	Number=Sing|PronType=Ind	7	obj	_	SpaceAfter=No
9	,	,	PUNCT	,	_	12	punct	_	_
10	like	like	ADP	IN	_	12	case	_	_
11	a	a	DET	DT	Definite=Ind|PronType=Art	12	det	_	_
12	problem	problem	NOUN	NN	Number=Sing	7	obl	_	SpaceAfter=No
13	,	,	PUNCT	,	_	14	punct	_	_
14	puzzle	puzzle	NOUN	NN	Number=Sing	12	nmod	_	_
15	or	or	CCONJ	CC	_	16	cc	_	_
16	crime	crime	NOUN	NN	Number=Sing	14	conj	_	SpaceAfter=No
17	:	:	PUNCT	:	_	20	punct	_	_
18	a	a	DET	DT	Definite=Ind|PronType=Art	20	det	_	_
19	problem	problem	NOUN	NN	Number=Sing	20	compound	_	_
20	solver	solver	NOUN	NN	Number=Sing	5	conj	_	SpaceAfter=No
21	.	.	PUNCT	.	_	5	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **is a** | present | a solver | a person and a problem solver |  |  |  |  | tree rules |
| 2 | **solve** | present | a person and a problem solver | something |  |  |  | like a problem  puzzle or crime | vn discover-84 «NP V NP»: agent=Agent something=Topic |

<!-- .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 computing and maths, a solver is a program that finds answers to equations or puzzles.

<!-- fold The tree, 16 words -->
```conllu
# sent_id = dict:school:solver:m2:1
# text = In computing and maths, a solver is a program that finds answers to equations or puzzles.
1	In	in	ADP	IN	_	2	case	_	_
2	computing	computing	NOUN	NN	Number=Sing	10	obl	_	_
3	and	and	CCONJ	CC	_	4	cc	_	_
4	maths	math	NOUN	NNS	Number=Plur	2	conj	_	SpaceAfter=No
5	,	,	PUNCT	,	_	2	punct	_	_
6	a	a	DET	DT	Definite=Ind|PronType=Art	7	det	_	_
7	solver	solver	NOUN	NN	Number=Sing	10	nsubj	_	_
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	program	program	NOUN	NN	Number=Sing	0	root	_	_
11	that	that	PRON	WDT	PronType=Rel	12	nsubj	_	_
12	finds	find	VERB	VBZ	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	10	acl:relcl	_	_
13	answers	answer	NOUN	NNS	Number=Plur	12	obj	_	_
14	to	to	ADP	IN	_	15	case	_	_
15	equations	equation	NOUN	NNS	Number=Plur	12	obl	_	_
16	or	or	CCONJ	CC	_	17	cc	_	_
17	puzzles	puzzle	NOUN	NNS	Number=Plur	15	conj	_	SpaceAfter=No
18	.	.	PUNCT	.	_	10	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **is a** | present | a solver | a program |  | computing and maths |  |  | tree rules |
| 2 | **find** | present | a program | answers |  |  |  | to equations or puzzles | vn discover-84 «NP V NP»: agent=Agent answer=Topic |

## Example 1 {#x1}

<!-- .ven lang=en -->
She is a brilliant problem solver.

```conllu
# sent_id = dict:school:solver:x1:1
# text = She is a brilliant problem solver.
1	She	she	PRON	PRP	Case=Nom|Gender=Fem|Number=Sing|Person=3|PronType=Prs	6	nsubj	_	_
2	is	be	AUX	VBZ	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	6	cop	_	_
3	a	a	DET	DT	Definite=Ind|PronType=Art	6	det	_	_
4	brilliant	brilliant	ADJ	JJ	Degree=Pos	6	amod	_	_
5	problem	problem	NOUN	NN	Number=Sing	6	compound	_	_
6	solver	solver	NOUN	NN	Number=Sing	0	root	_	SpaceAfter=No
7	.	.	PUNCT	.	_	6	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **is a** | present | She | a brilliant problem solver |  |  |  |  | tree rules |

## Example 2 {#x2}

<!-- .ven lang=en -->
Crossword solvers enjoy tricky clues.

```conllu
# sent_id = dict:school:solver:x2:1
# text = Crossword solvers enjoy tricky clues.
1	Crossword	crossword	NOUN	NN	Number=Sing	2	compound	_	_
2	solvers	solver	NOUN	NNS	Number=Plur	3	nsubj	_	_
3	enjoy	enjoy	VERB	VBP	Mood=Ind|Tense=Pres|VerbForm=Fin	0	root	_	_
4	tricky	tricky	ADJ	JJ	Degree=Pos	5	amod	_	_
5	clues	clue	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 | **enjoy** | present | Crossword solvers | tricky clues |  |  |  |  | vn admire-31.2 «NP V NP»: agent=Experiencer clue=Stimulus |

## Example 3 {#x3}

<!-- .ven lang=en -->
The fastest solver of the Rubik's cube won a prize.

```conllu
# sent_id = dict:school:solver:x3:1
# text = The fastest solver of the Rubik's cube won a prize.
1	The	the	DET	DT	Definite=Def|PronType=Art	3	det	_	_
2	fastest	fast	ADJ	JJS	Degree=Sup	3	amod	_	_
3	solver	solver	NOUN	NN	Number=Sing	9	nsubj	_	_
4	of	of	ADP	IN	_	8	case	_	_
5	the	the	DET	DT	Definite=Def|PronType=Art	6	det	_	_
6	Rubik	Rubik	PROPN	NNP	Number=Sing	8	nmod:poss	_	SpaceAfter=No
7	's	's	PART	POS	_	6	case	_	_
8	cube	cube	NOUN	NN	Number=Sing	3	nmod	_	_
9	won	win	VERB	VBD	Mood=Ind|Number=Sing|Person=3|Tense=Past|VerbForm=Fin	0	root	_	_
10	a	a	DET	DT	Definite=Ind|PronType=Art	11	det	_	_
11	prize	prize	NOUN	NN	Number=Sing	9	obj	_	SpaceAfter=No
12	.	.	PUNCT	.	_	9	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **win** | past | the fastest solver of the Rubik's cube | a prize |  |  |  |  | vn succeed-74-2 «NP V NP»: agent=Agent prize=Eventuality |

## Example 4 {#x4}

<!-- .ven lang=en -->
Our class practised being good maths solvers.

```conllu
# sent_id = dict:school:solver:x4:1
# text = Our class practised being good maths solvers.
1	Our	our	PRON	PRP$	Case=Gen|Number=Plur|Person=1|Poss=Yes|PronType=Prs	2	nmod:poss	_	_
2	class	class	NOUN	NN	Number=Sing	3	nsubj	_	_
3	practised	practise	VERB	VBD	Mood=Ind|Number=Sing|Person=3|Tense=Past|VerbForm=Fin	0	root	_	_
4	being	be	AUX	VBG	Tense=Pres|VerbForm=Part	5	cop	_	_
5	good	good	ADJ	JJ	Degree=Pos	7	amod	_	_
6	maths	math	NOUN	NNS	Number=Plur	7	compound	_	_
7	solvers	solver	NOUN	NNS	Number=Plur	3	obj	_	SpaceAfter=No
8	.	.	PUNCT	.	_	3	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **practise** | past | Our class | good maths solvers |  |  |  |  | tree rules |
| 2 | **is** | gerund |  |  |  |  |  | good *property* | tree rules |

## Example 5 {#x5}

<!-- .ven lang=en -->
The computer solver found the answer in one second.

```conllu
# sent_id = dict:school:solver:x5:1
# text = The computer solver found the answer in one second.
1	The	the	DET	DT	Definite=Def|PronType=Art	3	det	_	_
2	computer	computer	NOUN	NN	Number=Sing	3	compound	_	_
3	solver	solver	NOUN	NN	Number=Sing	4	nsubj	_	_
4	found	find	VERB	VBD	Mood=Ind|Number=Sing|Person=3|Tense=Past|VerbForm=Fin	0	root	_	_
5	the	the	DET	DT	Definite=Def|PronType=Art	6	det	_	_
6	answer	answer	NOUN	NN	Number=Sing	4	obj	_	_
7	in	in	ADP	IN	_	9	case	_	_
8	one	one	NUM	CD	NumForm=Word|NumType=Card	9	nummod	_	_
9	second	second	NOUN	NN	Number=Sing	4	obl	_	SpaceAfter=No
10	.	.	PUNCT	.	_	4	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **find** | past | the computer solver | the answer |  |  | second |  | vn discover-84 «NP V NP»: agent=Agent answer=Topic |

## Example 6 {#x6}

<!-- .ven lang=en -->
A good solver checks their answer at the end.

```conllu
# sent_id = dict:school:solver:x6:1
# text = A good solver checks their answer at the end.
1	A	a	DET	DT	Definite=Ind|PronType=Art	3	det	_	_
2	good	good	ADJ	JJ	Degree=Pos	3	amod	_	_
3	solver	solver	NOUN	NN	Number=Sing	4	nsubj	_	_
4	checks	check	VERB	VBZ	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	0	root	_	_
5	their	their	PRON	PRP$	Case=Gen|Number=Plur|Person=3|Poss=Yes|PronType=Prs	6	nmod:poss	_	_
6	answer	answer	NOUN	NN	Number=Sing	4	obj	_	_
7	at	at	ADP	IN	_	9	case	_	_
8	the	the	DET	DT	Definite=Def|PronType=Art	9	det	_	_
9	end	end	NOUN	NN	Number=Sing	4	obl	_	SpaceAfter=No
10	.	.	PUNCT	.	_	4	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **check** | present | a good solver | their answer |  |  | at the end |  | vn assessment-34.1 «NP V NP»: agent=Agent answer=Theme |
| 2 | **answer** |  | their *= they* |  |  |  |  |  | nom answer «communication transitive»: poss=agent |

## Example 7 {#x7}

<!-- .ven lang=en -->
The detective was a famous solver of mysteries.

```conllu
# sent_id = dict:school:solver:x7:1
# text = The detective was a famous solver of mysteries.
1	The	the	DET	DT	Definite=Def|PronType=Art	2	det	_	_
2	detective	detective	NOUN	NN	Number=Sing	6	nsubj	_	_
3	was	be	AUX	VBD	Mood=Ind|Number=Sing|Person=3|Tense=Past|VerbForm=Fin	6	cop	_	_
4	a	a	DET	DT	Definite=Ind|PronType=Art	6	det	_	_
5	famous	famous	ADJ	JJ	Degree=Pos	6	amod	_	_
6	solver	solver	NOUN	NN	Number=Sing	0	root	_	_
7	of	of	ADP	IN	_	8	case	_	_
8	mysteries	mystery	NOUN	NNS	Number=Plur	6	nmod	_	SpaceAfter=No
9	.	.	PUNCT	.	_	6	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **is a** | past | the detective | a famous solver |  |  |  | of mysteries | tree rules |

<!-- div src -->

**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.

<!-- /div -->

<!-- pn -->
- ← previous: [solvent](https://md.mova.elamur.ai/free/en/corpora/dictionaries/school/S/solvent/)
- next →: [som](https://md.mova.elamur.ai/free/en/corpora/dictionaries/school/S/som/)
- ↑ back to [S in school dictionary](https://md.mova.elamur.ai/free/en/corpora/dictionaries/school/S/)