Paper on Automatic Reasoning

Many tests of semantic properties that linguists use in their everyday life rely on reasoning. For example, if you know that all space aliens love chocolate, and you learn that Mary is a space alien, then you also know that Mary loves chocolate. This does not only tell you something important about space aliens, on closer inspection and after some serious linguistic analyzing it also reveals certain properties of the meaning of the determiner all. Continue reading Paper on Automatic Reasoning