top of page

Block 5: Past tense reasoning

Block 5: Past tense reasoning

Definition 6:

“{proper noun 1} was a/an/the {singular noun} of {proper noun 2}”
from which can be concluded“
{proper noun 2} has no {singular noun} anymore”

“{proper noun 1} was a/an/the {singular noun} of {proper noun 2}”
from which can be concluded“
{proper noun 2} had a/an {singular noun}, called {proper noun 1}”

Block 5: Definition 6

Example:

Variables:

proper noun 1 = “James”,
proper noun 2 = “Peter”,
singular noun = “father”

Result:

Given: “James was the father of Peter.”
Generated conclusions:
- “Peter has no father anymore.”
- “Peter had a father, called James.”

Block 5: Example 6

Definition 7:

“Every {singular noun 1} is a/an {singular noun 2}”
and
“{proper noun} was a/an {singular noun 1}”
from which can be concluded
“{proper noun} was a/an {singular noun 2}”

Block 5: Definition 7

Example:

Variables:

proper noun = “James”,
singular noun 1 = “father”,
singular noun 2 = “man”

Result:

Given: “Every father is a man.”
Given: “James was a father.” (*)
Generated conclusion: “James was a man.”

(*) Sentence “James was the father of Peter” of the previous example should be recognized as “James was a father”.

Block 5: Example 7

Menu

Scientific challenge

bottom of page