D
S | ⇒ | NP VP | rule 1 |
⇒ | ART N VP | rule 2 | |
⇒ | the N VP | rule 4 | |
⇒ | the cat VP | rule 5 | |
⇒ | the cat V | rule 3 | |
⇒ | the cat miaowed | rule 6 |
See also here.
Sometimes discourse entities have a more complex relation to the text. For example, in "Three boys each bought a pizza", clearly "Three boys" gives rise to a DE that is a set of three objects of type boy (B1: |B1| = 3 and B1 subset_of {x|Boy(x)}), but "a pizza", in this context, gives rise to a representation of a set P1 of three pizzas (whereas in the usual case "a pizza" would give rise to a DE representing a single pizza.)
P1 = {p | pizza(p) and exists(b) : Boy(b) and y = pizza_bought_by(b)}.
The function "pizza_bought_by" is the Skolem function referred to in lectures as "sk4".
Bitransitive verbs can appear with just one or even no syntactic objects ("I gave two dollars", "I gave at the office") - their distinguishing characteristic is that they can have two objects, unlike intransitive and transitive verbs.
Here is an incomplete list of ditransitive verbs in English.
E
Ellipsis causes problems for NLP since it is necessary to infer the rest of the sentence from the context.
"ellipsis" is also the name of the symbol "..." used when something is omitted from a piece of text, as in "Parts of speech include nouns, verbs, adjectives, adverbs, determiners, ... - the list goes on and on."
"elliptical" is the adjectival form of "ellipsis".
See also anaphor.
would be read as "for some entity X, X likes spinach" or just "something likes spinach". This might be too broad a statement, as it could be satisfied, for example, by a snail X that liked spinach. It is common therefore to restrict the proposition to something like:
i.e. "Some person likes icecream." That is, we are restricting the type of X to persons. In some cases, it is more reasonable to abbreviate the type restriction as follows:
See also forall, Skolem functions and this riddle.
F
"I" and "we" are first-person pronouns, as are "me", "us". Other words with the first-person feature include "mine", "my", "myself", "ours", "our", and "ourselves".
would be read as "for every entity X, X likes icecream" or just "everything likes icecream". This would be too broad a statement, as it would allege that, for example, rocks like icecream. It is usual therefore to restrict the proposition to something like:
i.e. "Every person likes icecream." That is, we are restricting the type of X to persons. In some cases, it is more reasonable to abbreviate the type restriction as follows:
See also exists.