top of page

Block 4: Past tense reasoning

Block 4: Block 4: Past tense reasoning

Definition 5:

​

“{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 4: Definition 5

Example 5:

 

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

Block 4: Example 5

Definition 6:

 

“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 4: Definition 6

Example 6:

​

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

 

Given:

  • “Every father is a man.”

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 4: Example 6
bottom of page