CONSTRAINTS : Check Syntax

Overview

This is a new (to nl9701) constraint to check that the proposed fuse is compatible with the current syntactic model. It is required to ensure that the syntactic and semantic models are kept consistent with each other.

Proposal

The constraint is proposed according to the type of fuse and the operator annotated with this fuse type. Constraints are currently proposed for verb- external, internal, and internal2 (i.e., an external, internal, or internal2 fuse to a verb), as well as internal path, predicate-nominal, property and preposition fuses.

Implementation

General

Because there may be more than one way in which the u-model may support a particular fuse, there are multiple productions for ascertaining whether a constraint passes or fails. For each possible syntactic configuration that would justify the fuse there is a 'pass' production which fires if that configuration is present and an inverse 'fail' production that fires if any of the pass configuration is not present.

In order to simplify the constraint checking productions a variety of productions are used to annotate the syntactic structure. These annotations include annotation-to-ip to identify the subject of a possibly multi-tensed verb, comp-of-verb for predicate nominals, n-cp-verb for object control verbs, and adjoined-to for adjuncts. Some of these are actually valued attributes and not annotations, so they can be used as direct pointers in checking syntactic structure.

N.B. That we recognize that this constraint is a very heavy-handed approach to guiding semantic interpretation. We use it because it helps constrain interpretation, but we recognize that other approaches might be more plausible.

Verb external links

Used to check that a verb external fuse (i.e., agent of an verb) is justified by the u-model. This constraint passes depending on the value of the ^annotation-to-ip pointer, which finds the subject of the verb.

Verb internal links

There are 5 ways this constraint currently passes.

Verb internal2 fuses

This constraint passes when the receiver is the comp2 of the verb.

Properties

This constraint is for checking fuses where the assigner is of category property. There are several ways the constraint can pass because there are several different syntactic categories that can take property roles. We have broken the conditions into these: possessive, adverb, adjective, predicate nominals, pp isalinks, and prepositions. Each of these has its own particular pass and fail conditions. For more details, see the code.