Follow project on Twitter
NederlandsEnglish

Block 4: Past tense reasoning

The algebra of language listed below, applies structure words: “the”, “was”, “has”, “had”, “of”, “called” and “no […] anymore”.


“{proper noun 1} was {definite article + singular noun} of {proper noun 2}”
from which can be concluded
“{proper noun 2} has no {singular noun} anymore


“{proper noun 1} was {definite or indefinite article + singular noun} of {proper noun 2}”
from which can be concluded
“{proper noun 2} had {indefinite article + singular noun} called {proper noun 1}”


Every {singular noun 1} is {indefinite article + singular noun 2}”
and
“{proper noun} is {indefinite article + singular noun 1}” 1
from which can be concluded
“{proper noun} is {indefinite article + singular noun 2}”


Implementation:
> Given: “James was the father of Peter.

• Generated conclusions:
< “Peter has no father anymore.
< “Peter had a father, called James.
>
> Given: “Every father is a man.

• Generated conclusion:
< “James was a man.


1 Sentence “James was the father of Peter” must be recognized as “James was a father”.