Q
NL quantifiers are typically restricted in the range of objects that the variable ranges over. In Most dogs bark the variable in the MOST1 quantifier is restricted to dog1 objects: most1(d1 : dog1(d1), barks1(d1))
See also determiners.
R
The process is as follows with context free grammars: pick a non-terminal X in the current string (or sentential form) and a grammar rule whose left-hand side is that non-terminal X. Replace X in the current string by the right-hand side of the grammar rule, to obtain a new current string. This definition also works for regular grammars. A single step in the rewriting process is called a direct derivation. For an example, see derivation.
The process is similar with context-sensitive grammarsand unrestricted grammars, except that instead of picking a non-terminal X in the current string, we find a substring of the current string that matches the left-hand side of some context-sensitive or unrestricted grammar rule, and replace it with the right-hand side of that grammar rule.
S
"you", "thou" and "ye" are second-person pronouns, as is "thee". Other words with the second-person feature include "yours", "thine", "your", "thy", "yourself", "yourselves", and "thyself".
The problem with semantic grammar is that for coverage of a significantportion of a language, a huge number of rules would be required, and a massiveanalysis of the meanings that those rules could encode would be included in their development.
See also logical form.
Sentences are sometimes classified into simple, compound, complex, and compound-complex, according to the absence or presence of conjunctions, relative clauses (phrases with verb groups that are introduced by "which", "that", etc.) or both. They may also be analysed into subject and predicate.
Sentence is often abbreviated to S (see also start symbol).
S is a phrasal grammatical category.
In its simplest form, skolemization replaces the variable with a new constant, called a Skolem constant. For example, the formula:
would be encoded as an expression such as
where sk1 is a new constant that stands for the object that is asserted to exist, i.e. the person (or whatever) that is loved by every X.
Quantifier scoping dependencies are shown using new functions called Skolem functions. For example, the formula:
would be encoded as an expression such as
where sk2 is a new function that produces a potentially new object for each value of Y.
. Not covered in COMP9414, except to point out that it is ultimately vital to understanding language. For some discussion, see Allen p. 542 ff., and compare surface speech act.