The simple natural language parsers presented in Section 15.9 will accept grammatically correct sentences that may not have a commonsense meaning, such as “the man bites the dog.” These sentences may be eliminated from the grammar by augmenting the parser to include some notion of what is semantically plausible. Design a small “semantic network”

in PROLOG (see comments in text) to allow you to reason about some aspect of the possible interpretations of the English grammar rules, such as when it is reasonable for the man to bite the dog.