---
title: Some answers came first from pure reasoning: Neptune was found in 18… — How we know: measuring the sky · tree and pragmatics
description: Some answers came first from pure reasoning: Neptune was found in 1846 exactly where maths said a hidden planet must be pulling Uranus. Who acts: answers, maths, hidden planet. A sentence of the lesson «How we know: measuring the sky» of the space course of Mova's primary school with its dependency 
---

<!-- md -->
[Mova](https://md.mova.elamur.ai/free/en/) · [this page in HTML](https://mova.elamur.ai/free/en/corpora/school/space/28-how-we-know-measuring-the-sky/6/)

<!-- crumbs -->
[home](https://md.mova.elamur.ai/free/en/) / [corpora](https://md.mova.elamur.ai/free/en/corpora/) / [school](https://md.mova.elamur.ai/free/en/corpora/school/) / [Space](https://md.mova.elamur.ai/free/en/corpora/school/space/) / [How we know: measuring the sky](https://md.mova.elamur.ai/free/en/corpora/school/space/28-how-we-know-measuring-the-sky/) / 6

# How we know: measuring the sky, sentence 6

<!-- .ven lang=en -->
Some answers came first from pure reasoning: Neptune was found in 1846 exactly where maths said a hidden planet must be pulling Uranus.

<!-- .vintro -->
**Who acts:** answers, maths, hidden planet · **What happens:** come, find, say, pull · **To what, where:** pure reasoning, Neptune, 1846, Uranus · **Speech:** someone speaks here

<!-- .vabout -->
This is a sentence of the lesson «How we know: measuring the sky» of the space course of Mova's primary school. The page gives its syntax tree — a dependency tree in the style of Universal Dependencies — and its pragmatics clause by clause: who acts (answers, maths, hidden planet), what happens, when and where, as Mova's frames read it from the tree.

## The tree {#tree}

```conllu
# sent_id = school:space:028-how-we-know-measuring-the-sky.lesson:6
# text = Some answers came first from pure reasoning: Neptune was found in 1846 exactly where maths said a hidden planet must be pulling Uranus.
# source = school lesson (ours)
# course = space
# lesson = 028-how-we-know-measuring-the-sky.lesson
# annotation = Mova annot: Rust (en) → Haiku 5.5 (medium, Batches API) patches; gates UD 2.18; agreed by treeagree rules (Stanza, Trankit, spaCy trf): no change
1	Some	some	DET	DT	PronType=Ind	2	det	_	_
2	answers	answer	NOUN	NNS	Number=Plur	3	nsubj	_	_
3	came	come	VERB	VBD	Mood=Ind|Number=Plur|Person=3|Tense=Past|VerbForm=Fin	0	root	_	_
4	first	first	ADV	RB	NumForm=Word|NumType=Ord	3	advmod	_	_
5	from	from	ADP	IN	_	7	case	_	_
6	pure	pure	ADJ	JJ	Degree=Pos	7	amod	_	_
7	reasoning	reasoning	NOUN	NN	Number=Sing	3	obl	_	_
8	:	:	PUNCT	:	_	11	punct	_	_
9	Neptune	Neptune	PROPN	NNP	Number=Sing	11	nsubj	_	_
10	was	be	AUX	VBD	Mood=Ind|Number=Sing|Person=3|Tense=Past|VerbForm=Fin	11	aux:pass	_	_
11	found	find	VERB	VBN	Tense=Past|VerbForm=Part|Voice=Pass	3	parataxis	_	_
12	in	in	ADP	IN	_	13	case	_	_
13	1846	1846	NUM	CD	NumForm=Digit|NumType=Card	11	obl	_	_
14	exactly	exactly	ADV	RB	_	17	advmod	_	_
15	where	where	ADV	WRB	PronType=Rel	17	advmod	_	_
16	maths	math	NOUN	NNS	Number=Plur	17	nsubj	_	_
17	said	say	VERB	VBD	Mood=Ind|Number=Plur|Person=3|Tense=Past|VerbForm=Fin	11	advcl	_	_
18	a	a	DET	DT	Definite=Ind|PronType=Art	20	det	_	_
19	hidden	hidden	ADJ	JJ	Degree=Pos	20	amod	_	_
20	planet	planet	NOUN	NN	Number=Sing	23	nsubj	_	_
21	must	must	AUX	MD	VerbForm=Fin	23	aux	_	_
22	be	be	AUX	VB	VerbForm=Inf	23	aux	_	_
23	pulling	pull	VERB	VBG	Tense=Pres|VerbForm=Part	17	ccomp	_	_
24	Uranus	Uranus	PROPN	NNP	Number=Sing	23	obj	_	_
25	.	.	PUNCT	.	_	3	punct	_	_
```

## Pragmatics {#pragmatics}

<!-- .note -->
No stored speech act for this sentence.

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **come** | past | some answers |  |  | pure reasoning |  | first *property* | vn escape-51.1-1 «NP V PP.initial\_location»: agent=Theme from reasoning=Initial\_Location |
| 2 | **find** | past · passive |  | Neptune |  | 1846 |  |  | vn discover-84 «NP V NP»: subject=Topic |
| 3 | **say** *speech: assert* | past | maths |  |  |  |  | exactly *property* | vn say-37.7-1-1 «NP V that S»: agent=Agent clause=Topic |
| 4 | **pull** | must · progressive | a hidden planet | Uranus |  |  |  |  | vn push-12-1 «NP V NP ADJP-Result»: agent=Agent uranus=Result |

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

<!-- div src -->

**Licence: [CC BY-SA 4.0](https://creativecommons.org/licenses/by-sa/4.0/)**, as the whole of Mova corpus 0.4, of which this treebank (the agreed school, `mova-school-agreed-en.conllu`) is part. The lessons were written for Mova's primary school. Sentence `school:space:028-how-we-know-measuring-the-sky.lesson:6`.

**The tree:** Mova annot: Rust (en) → Haiku 5.5 (medium, Batches API) patches; gates UD 2.18; agreed by treeagree rules (Stanza, Trankit, spaCy trf): no change. **The frames** are read from the tree by Mova's frames reader (`prag`) when this page is built, the lesson read in order, so a pronoun may be resolved from an earlier sentence.

See the [release 0.4](https://md.mova.elamur.ai/free/en/releases/0.4/).

<!-- /div -->

<!-- pn -->
- ← previous: [How we know: measuring the sky, 5](https://md.mova.elamur.ai/free/en/corpora/school/space/28-how-we-know-measuring-the-sky/5/)
- next →: [How we know: measuring the sky, 7](https://md.mova.elamur.ai/free/en/corpora/school/space/28-how-we-know-measuring-the-sky/7/)
- ↑ back to [the lesson](https://md.mova.elamur.ai/free/en/corpora/school/space/28-how-we-know-measuring-the-sky/)