--- title: It is given that the proposition "if it is Tuesday, swimming takes p… — Olympiad: logic traps and if-then ★★★ · tree and pragmatics description: It is given that the proposition "if it is Tuesday, swimming takes place" holds, and that no swimming takes place today. Determine what may be concluded. Exam question 1 of lesson 193 «Olympiad: logic traps and if-then ★★★» of the world course of Mova's primary school, with the dependency tree and p --- [Mova](https://md.mova.elamur.ai/free/en/) · [this page in HTML](https://mova.elamur.ai/free/en/corpora/questions/world/193-olympiad-logic-traps-and-if-then/e1/) [home](https://md.mova.elamur.ai/free/en/) / [corpora](https://md.mova.elamur.ai/free/en/corpora/) / [questions](https://md.mova.elamur.ai/free/en/corpora/questions/) / [World](https://md.mova.elamur.ai/free/en/corpora/questions/world/) / [Olympiad: logic traps and if-then ★★★](https://md.mova.elamur.ai/free/en/corpora/questions/world/193-olympiad-logic-traps-and-if-then/) / e1 # Exam question 1 · Olympiad: logic traps and if-then ★★★ It is given that the proposition "if it is Tuesday, swimming takes place" holds, and that no swimming takes place today. Determine what may be concluded. **Mova's choice:** option 1 · **The right answer:** option 1 · right ✓ · **Who acts:** proposition, swimming, you · **What happens:** give, be, take, hold, determine, conclude · **To what, where:** It, Tuesday, place This is exam question 1 of lesson 193 «Olympiad: logic traps and if-then ★★★» of the world course of Mova's primary school, asked in stiff, formal language. The page gives the question's syntax tree — a dependency tree in the style of Universal Dependencies — and its pragmatics clause by clause, then the 4 options as the student saw them, each with its tree and pragmatics. Every text is parsed by Mova itself. How the student answered it, with the score of every option and why: [the test at school](https://md.mova.elamur.ai/free/en/school-run/world/193-olympiad-logic-traps-and-if-then/#e1). ## The question {#question} *Sentence 1:* It is given that the proposition "if it is Tuesday, swimming takes place" holds, and that no swimming takes place today. ```conllu # sent_id = question:world:193-olympiad-logic-traps-and-if-then:e1:1 # text = It is given that the proposition "if it is Tuesday, swimming takes place" holds, and that no swimming takes place today. 1 It it PRON PRP Case=Nom|Gender=Neut|Number=Sing|Person=3|PronType=Prs 3 nsubj:pass _ _ 2 is be AUX VBZ Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin 3 aux:pass _ _ 3 given give VERB VBN Tense=Past|VerbForm=Part|Voice=Pass 0 root _ _ 4 that that SCONJ IN _ 14 mark _ _ 5 the the DET DT Definite=Def|PronType=Art 6 det _ _ 6 proposition proposition NOUN NN Number=Sing 14 nsubj _ _ 7 " " PUNCT `` _ 11 punct _ SpaceAfter=No 8 if if SCONJ IN _ 11 mark _ _ 9 it it PRON PRP Case=Nom|Gender=Neut|Number=Sing|Person=3|PronType=Prs 11 nsubj _ _ 10 is be AUX VBZ Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin 11 cop _ _ 11 Tuesday Tuesday PROPN NNP Number=Sing 6 appos _ SpaceAfter=No 12 , , PUNCT , _ 6 punct _ _ 13 swimming swimming NOUN NN Number=Sing 14 nsubj _ _ 14 takes take VERB VBZ Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin 17 advcl _ _ 15 place place NOUN NN Number=Sing 14 obj _ SpaceAfter=No 16 " " PUNCT '' _ 14 punct _ _ 17 holds hold VERB VBZ Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin 3 advcl _ SpaceAfter=No 18 , , PUNCT , _ 23 punct _ _ 19 and and CCONJ CC _ 23 cc _ _ 20 that that SCONJ IN _ 23 mark _ _ 21 no no DET DT PronType=Neg 22 det _ _ 22 swimming swimming NOUN NN Number=Sing 23 nsubj _ _ 23 takes take VERB VBZ Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin 3 conj _ _ 24 place place NOUN NN Number=Sing 23 obj _ _ 25 today today NOUN NN Number=Sing 23 obl:unmarked _ SpaceAfter=No 26 . . PUNCT . _ 3 punct _ _ ``` | # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by | | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | | 1 | **give** | present · passive | | It | | | | | vn give-13.1-1 «NP V NP»: subject=Theme | | 2 | **is a** *a condition, not said to happen, in a quote* | present | proposition | Tuesday | | | | | tree rules | | 3 | **take** *in a quote* | present | the proposition | place | | | | | vn bring-11.3 «NP V NP»: agent=Agent place=Theme | | 4 | **hold** | present | | | | | | | vn exist-47.1 «NP V»: agent=Theme | | 5 | **take** | present | no swimming | place | | | today | | vn bring-11.3 «NP V NP»: agent=Agent place=Theme | 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. *Sentence 2:* Determine what may be concluded. ```conllu # sent_id = question:world:193-olympiad-logic-traps-and-if-then:e1:2 # text = Determine what may be concluded. 1 Determine determine VERB VB Mood=Imp|VerbForm=Fin 0 root _ _ 2 what what PRON WP PronType=Int 5 nsubj:pass _ _ 3 may may AUX MD VerbForm=Fin 5 aux _ _ 4 be be AUX VB VerbForm=Inf 5 aux:pass _ _ 5 concluded conclude VERB VBN Tense=Past|VerbForm=Part|Voice=Pass 1 ccomp _ SpaceAfter=No 6 . . PUNCT . _ 1 punct _ _ ``` | # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by | | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | | 1 | **determine** | imperative | you *not said here* | | | | | | vn discover-84 «NP V how S»: agent=Agent clause=Topic | | 2 | **conclude** | may · passive | | | | | | | vn deduce-97.2 «NP V NP»: subject=Theme | ## The options {#options} ### Option 1 · ← Mova's choice · ✓ the right answer {#o1} Today is not Tuesday ```conllu # sent_id = question:world:193-olympiad-logic-traps-and-if-then:e1:o1:1 # text = Today is not Tuesday 1 Today today NOUN NN Number=Sing 4 nsubj _ _ 2 is be AUX VBZ Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin 4 cop _ _ 3 not not PART RB Polarity=Neg 4 advmod _ _ 4 Tuesday Tuesday PROPN NNP Number=Sing 0 root _ _ ``` | # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by | | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | | 1 | **not** **is a** | present | Today | Tuesday | | | | | tree rules | ### Option 2 {#o2} Today may be Tuesday ```conllu # sent_id = question:world:193-olympiad-logic-traps-and-if-then:e1:o2:1 # text = Today may be Tuesday 1 Today today NOUN NN Number=Sing 4 nsubj _ _ 2 may may AUX MD VerbForm=Fin 4 aux _ _ 3 be be AUX VB VerbForm=Inf 4 cop _ _ 4 Tuesday Tuesday PROPN NNP Number=Sing 0 root _ _ ``` | # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by | | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | | 1 | **is a** | may | Today | Tuesday | | | | | tree rules | ### Option 3 {#o3} Nothing may be concluded ```conllu # sent_id = question:world:193-olympiad-logic-traps-and-if-then:e1:o3:1 # text = Nothing may be concluded 1 Nothing nothing PRON NN Number=Sing|PronType=Neg 4 nsubj:pass _ _ 2 may may AUX MD VerbForm=Fin 4 aux _ _ 3 be be AUX VB VerbForm=Inf 4 aux:pass _ _ 4 concluded conclude VERB VBN Tense=Past|VerbForm=Part|Voice=Pass 0 root _ _ ``` | # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by | | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | | 1 | **conclude** | may · passive | | Nothing | | | | | vn deduce-97.2 «NP V NP»: subject=Theme | ### Option 4 {#o4} Today is Tuesday ```conllu # sent_id = question:world:193-olympiad-logic-traps-and-if-then:e1:o4:1 # text = Today is Tuesday 1 Today today NOUN NN Number=Sing 3 compound _ _ 2 is be AUX VBZ Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin 3 cop _ _ 3 Tuesday Tuesday PROPN NNP Number=Sing 0 root _ _ ``` | # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by | | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | | 1 | **is a** | present | | Today Tuesday | | | | | tree rules | **Text:** the tests of Mova's primary school, written for Mova (`world/data/school/`), as the course runner gave them to the student. **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 text read on its own. Elamur Cosmic License. - ← previous: [Olympiad: logic traps and if-then ★★★, test 11](https://md.mova.elamur.ai/free/en/corpora/questions/world/193-olympiad-logic-traps-and-if-then/t11/) - next →: [Olympiad: logic traps and if-then ★★★, exam 2](https://md.mova.elamur.ai/free/en/corpora/questions/world/193-olympiad-logic-traps-and-if-then/e2/) - ↑ back to [Olympiad: logic traps and if-then ★★★](https://md.mova.elamur.ai/free/en/corpora/questions/world/193-olympiad-logic-traps-and-if-then/)