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}

 

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

 

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}

 

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