Block 5: Past tense reasoning

Definition 10:

“{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}”

Example:

Variables:

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

Given:

“James was the father of Peter.”

Generated conclusions:

“Peter has no father anymore.”
“Peter had a father, called James.”

Definition 11:

“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}”

Example:

Variables:

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

Given:

“Every father is a man.”

Already known:

“James was a father.” (*)

Generated conclusion:

“James was a man.”

Block 5: Past tense reasoning

Example:

Variables:

proper noun 1 = “James”,

proper noun 2 = “Peter”,

singular noun = “father”

Given:

“James was the father of Peter.”

Generated conclusions:

“Peter has no father anymore.”

“Peter had a father, called James.”

Definition 11:

“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}”

Example:

Variables:

proper noun = “James”,

singular noun 1 = “father”,

singular noun 2 = “man”

Given:

“Every father is a man.”

Already known:

“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”.

Menu

Block 5: Past tense reasoning

Example:

​

Variables:

proper noun 1 = “James”,

proper noun 2 = “Peter”,

singular noun = “father”

​

Given:

“James was the father of Peter.”

Generated conclusions:

“Peter has no father anymore.”

“Peter had a father, called James.”

Definition 11: “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}”

Example:

​

Variables:

proper noun = “James”,

singular noun 1 = “father”,

singular noun 2 = “man”​

​​

Given:

“Every father is a man.”

Already known:

“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”.

Menu

Definition 11:

“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}”

singular noun 2 = “man”