11.3 Co-nesting

Introduction

We have learned what it means for a concept to be nested or immediately nested in another concept. Now we apply these notions to define what it means for two concepts to be co-nested.

Definition

Two concepts A and B are said to be co-nested if:

  • Either A=B (that is, a concept is co-nested with itself)
  • Or there exists some concept C in which both A and B are immediately nested. That is, both must be at the same level of nesting.

Example

Consider the following graph:

   [Situation: [PartyLight: [PartyLight]->(Attr)->[Blue] ]-
                  <-(Agnt)<-[Blink] ]

Here, the concept [Blink] and the outermost [PartyLight] concept are co-nested. And the innermost [PartyLight] and [Blue] are co-nested. However, [Blue] is not co-nested with [Blink] because they are not both immediately nested in the same concept.

Next

Next, we look at scope rules. Scope rules are important for understanding how much of a graph a quantifier or coreference link applies to. We will use the notion of co-nesting when we define the scope rules.


Prev: 11.2 Nesting
Up: 11 Nested graphs
Next: 11.4 Scope rules