# Patent

## Title
Method for computing all occurrences of a compound event from occurrences of primitive events

## Abstract

A method for computing all occurrences of a compound event from occurrences of primitive events where the compound event is a defined combination of the primitive events. The method includes the steps of: (a) defining primitive event types; (b) defining combinations of the primitive event types as a compound event type; (c) inputting the primitive event occurrences, such occurrences being specified as the set of temporal intervals over which a given primitive event type is true; and (d) computing the compound event occurrences, such occurrences being specified as the set of temporal intervals over which the compound event type is true, where the sets of temporal intervals in steps (c) and (d) are specified as smaller sets of spanning intervals, each spanning interval representing a set of intervals.

## Background
CROSS-REFERENCE TO RELATED APPLICATION
This application claims the benefit of U.S. Provisional Application No. 60/247,474 filed Nov. 10, 2000.


FIELD OF THE INVENTION
The present invention relates generally to methods for computing occurrences of compound events and, more particularly, to methods for computing occurrences of compound events from occurrences of primitive events where such occurrences are specified as a set of temporal intervals over which the compound event type is true.
BACKGROUND OF THE INVENTION
Event logic provides a calculus for forming compound event types as expressions over primitive event types. The syntax and semantics of event logic will be described momentarily. Event-logic expressions denote event types, not event occurrences. As such, they do not have truth values. Rather, they are predicates that describe the truth conditions that must hold of an interval for an event to occur. In contrast, an event-occurrence formula does have a truth value. If Φ is an event-logic expression that denotes a primitive or compound event type, and i is an interval, then Φ@i is an atomic event-occurrence formula that is true if and only if the truth conditions for the event type Φ hold of the interval i.
Φ@i denotes coincidental occurrence, the fact that an occurrence of Φ started at the beginning of i and finished at the end of i. Φ@i would not hold if an occurrence of Φ did not precisely coincide with i, but instead overlapped with i. Event types have internal temporal structure that render this distinction important. In the case of primitive event types, that structure is simple. Each primitive event type is derived from a static predicate. A primitive event type Φ holds of an interval if the corresponding static predicate φ holds of every instant in that interval. This means that ({overscore (φ)}@i) and {overscore (φ)}@i might have different truth values. For example, if φ is true of every instant in [0,2) and false of every other instant, then ({overscore (φ)}@[1,3)) is true while {overscore (φ)}@[1, 3) is false. Event logic takes coincidental occurrence to be a primitive notion. As will be demonstrated below, overlapping occurrence is a derived notion that can be expressed in terms of coincidental occurrence using compound event-logic expressions.
Two auxiliary notions are needed to define the syntax and semantics of event logic. First, there are thirteen possible relations between two intervals. These relations are denoted as =, <, >, m, mi, o, oi, s, si, f, fi, d, and di and referred to collectively as Allen relations throughout this disclosure. Second, the span of two intervals i and j, denoted SPAN (i,j), is defined as the smallest super-interval of both i and j.
The syntax of event logic is defined as follows. We are given finite disjoint sets of constant and variable symbols along with a finite set of primitive event-type symbols, each of a specified arity. Constant symbols, such as red-block and hand, denote objects while primitive event-type symbols, such as SUPPORTS, denote parameterized primitive event types. An atomic event-logic expression is a primitive event-type symbol of arity n applied to a sequence of n constants or variables. For example, SUPPORTS (green-block, x). An event-logic expression is either an atomic event-logic expression or one of the compound event-logic expressions Φ, ΦΨ, ∀xΦ, ∃xΦ, ΦR Ψ, or ⋄RΦ, where Φ and Ψare event-logic expressions, x is a variable, and

R⊂{=, <, >, m, mi, o, oi, s, si, f, fi, d, di}.

Informally, the semantics of compound event-logic expressions is defined as follows:

    
    
        Φ denotes the non-occurrence of Φ. An occurrence of Φ coincides with i if no occurrence of Φ coincides with i. Note that (Φ)@i could be true, even if an occurrence of Φ overlapped with i, so long as no occurrence of Φ coincided with i.
        ΦΨ denotes the occurrence of either Φ or Ψ.
        ∀xΦ denotes the simultaneous occurrence of Φ for all objects.
        ∃xΦ denotes the occurrence of Φ for some object.
        ΦR Ψ denotes the occurrence of both Φ and Ψ. The occurrences of Φ and Ψ need not be simultaneous. The subscript R specifies a set of allowed Allen relations between the occurrences of Φ and Ψ. If occurrences of Φ and Ψ coincide with i and j respectively, and i r j for some r ε R ,then an occurrence of ΦR Ψ coincides with the span of i and j. The special case Φ{=} Ψ is abbreviated simply as ΦΨ without any subscript. ΦΨ describes an aggregate event where both Φ and Ψ occur simultaneously. The special case Φ{m} Ψ is also abbreviated as (Φ;Ψ. Φ;Ψ describes an aggregate event where an occurrence of Φ is immediately followed by an occurrence of Ψ.
        An occurrence of ⋄RΦ coinciding with i denotes an occurrence of Φ at some other interval j such that j r i for some r ε R. ⋄R can act as a tense operator. Expressions such as ⋄{<}Φ, ⋄{>}Φ, ⋄{m}Φ, and ⋄{mi}Φ specify that Φ happened in the noncontiguous past, noncontiguous future, contiguous past, or contiguous future respectively. The ⋄R operator can also be used to derive overlapped occurrence from coincidental occurrence. An occurrence of ⋄{=, o, oi, s, si, f, fi, d, di}Φ coincides with i if an occurrence of Φ overlaps with i. I abbreviate ⋄{=, o, oi, s, si, f, fi, d, di}Φ simply as ⋄Φ without any subscript. Note that while (Φ)@i indicates that no occurrence of Φ coincided with i, (⋄Φ)@i indicates that no occurrence of Φ overlapped with i.
    
    


Formally, the truth of an atomic event-occurrence formula Φ@i is defined relative to a model. Let I be the set of all intervals. A model M is a triple <O,T,P>, where 0 is a set of objects, T is a map from constants and variables to objects from O, and P is map from primitive event-type symbols of arity n to subsets of 



  I
  ×
  
    
      
        O
        ×
        ...
        ×
        O
      
      
        }
        n
      
    
    .
  




P thus maps primitive event-type symbols to relations that take an interval as their first argument, in addition to the remaining object parameters. T[x:=o] denotes a map that is identical to T except that it maps the variable x to the object o. The semantics of event logic is formally defined by specifying an entailment relation MΦ@i as follows:

    <O,T,P>p(t1, . . . ,tn)@i if and only if <i, T(t1), . . . ,T(tn)>εP(p).
    M(Φ)@i if and only if M|≠Φ@i.
    M(ΦΨ)@i if and only if MΦ@i or MΨ@i.
    <O,T,P>(∀xΦ)@i if and only if <O,T[x:=o],P>Φ@i for every o ε O.
    <O,T,P>(∃xΦ)@i if and only if <O,T[x:=o],P>Φ@i for some o ε O.
    M(ΦR Ψ)@i if and only if there exist two intervals j and k such that i=SPAN (j, k), j r k for some r ε R,MΦ@j, and MΨ@k.
    M(⋄RΦ)@i if and only if there exists some interval j such that j r i for some r ε R and MΦ@j.


The overall goal of the event-classification component is to infer all occurrences of a given set of compound event types from a given set of primitive event occurrences. Let us define ε(M,Φ) to be {i|MΦ@i}. In principle, ε(M,Φ) could by implemented as a straightforward application of the formal semantics for event logic as specified above. There is a difficulty in doing so, however. Primitive event types often have the property that they are liquid. Liquid events have the following two properties. First, if they are true during an interval i, then they are also true during any subinterval of i. Second, if they are true during two overlapping intervals i and j, then they are also true during SPAN(i,j). When primitive event types are liquid, they will hold over an infinite number of subintervals. This renders the formal semantics inappropriate for a computational implementation. Even if one limits oneself to intervals with integral endpoints, liquid primitive event types will hold over quadratically many subintervals of the scene sequence. And a straightforward computational implementation of the formal semantics would be inefficient. A central result of this disclosure is a novel representation, called spanning intervals, that allows an efficient representation of the infinite sets of subintervals over which liquid event types hold along with an efficient inference procedure that operates on that representation. This representation, and the inference procedure that implements ε(M,Φ), are presented below.
SUMMARY OF THE INVENTION
Therefore it is an object of the present invention to provide a method for computing all occurrences of a compound event from occurrences of primitive events which overcomes the problems associated with the prior art methods.
Accordingly, a method for computing all occurrences of a compound event from occurrences of primitive events is provided where the compound event is a defined combination of the primitive events. The method comprises the steps of: (a) defining primitive event types; (b) defining combinations of the primitive event types as a compound event type; (c) inputting the primitive event occurrences, such occurrences being specified as the set of temporal intervals over which a given primitive event type is true; and (d) computing the compound event occurrences, such occurrences being specified as the set of temporal intervals over which the compound event type is true, where the set of temporal intervals in steps (c) and (d) are specified as smaller sets of spanning intervals, each spanning interval representing a set of intervals. Preferably, the spanning intervals take the form α[γ[i,j]δ, ε[k,l]ζ]β, where α, β, γ, δ, ε, and ζ are Boolean values, i, j, k, and l are real numbers, α[γ[i,j]δ,ε[k,l]ζ]β represents the set of all intervals α[p,q]β, where i≦γp≦δj and k≦εq≦ζl, α[p,q]β represents the set of all points r, where p≦αr≦βq, and x≦θy means x≦y when θ is true and x<y when θ is false.
The methods of the present invention provide an efficient implementation of ε(M,Φ) along with six subroutines used by ε(M,Φ), namely <i>,i1 ∩ i2,i, SPAN(i1, i2), (r, i), and (i,r,j).
Also provided are a computer program product for carrying out the methods of the present invention and a program storage device for the storage of the computer program product therein.



BRIEF DESCRIPTION OF THE DRAWINGS
These and other features, aspects, and advantages of the methods of the present invention will become better understood with regard to the following description, appended claims, and accompanying drawings where:
FIG. 1 illustrates a flowchart of a preferred implementation of the methods steps of the present invention;
FIG. 2 illustrates a flowchart of the structural induction process used to implement step 108 of FIG. 1;
FIG. 3 illustrates the primitive event types used by the computer-system implementation of one application of the methods of the present invention as discussed in the “Example” section below;
FIG. 4 illustrates the lexicon of compound event types used by the computer-system implementation of one application of the methods of the present invention as discussed in the “Example” section below;
FIGS. 5A and 5B illustrate sequences of video frames depicting a pick up and put down event respectively, wherein the results of performing segmentation, tracking, and model reconstruction have been overlayed on the video frames;
FIGS. 6A and 6B illustrate the output of the event-classification methods of the present invention applied to the model sequences from FIGS. 5A and 5B, respectively;
FIGS. 7A, 7B, 7C, 7D, and 7E illustrate sequences of video frames depicting stack, unstack, move, assemble and disassemble events, wherein the results of performing segmentation, tracking, and model reconstruction have been overlayed on the video frames;
FIGS. 8A, 8B, 8C, 8D, and 8E illustrate the output of the event-classification methods of the present invention applied to the model sequences from FIGS. 7A, 7B, 7C, 7D, and 7E, respectively;
FIGS. 9A, 9B, 9C, and 9D illustrate sequences of video frames depicting: a pick up event from the left instead of from the right; a pick up event with extraneous objects in the field of view; a sequence of a pick up event followed by a put down event followed by another pick up event followed by another put down event; and two simultaneous pick up events, respectively, wherein the results of performing segmentation, tracking, and model reconstruction have been overlayed on the video frames;
FIGS. 10A, 10B, 10C, and 10D illustrate the output of the event-classification methods of the present invention applied to the model sequences from FIGS. 9A, 9B, 9C, and 9D, respectively;
FIGS. 11A and 11B illustrate sequences of video frames depicting non-events, wherein the results of performing segmentation, tracking, and model reconstruction have been overlayed on the video frames; and
FIGS. 12A and 12B illustrate the output of the event-classification methods of the present invention applied to the model sequences from FIGS. 11A and 11B, respectively.



DETAILED DESCRIPTION OF THE PREFERRED EMBODIMENT
Referring now to FIG. 1, there is illustrated a flowchart presenting a general overview of the method steps for computing all occurrences of a compound event from occurrences of primitive events, where the compound event is a defined combination of the primitive events. The method comprises defining primitive event types at step 102. At step 104 combinations of the primitive event types are defined as a compound event type. At step 106, the primitive event occurrences are input, such occurrences being specified as the set of temporal intervals over which a given primitive event type is true. Lastly, at step 108, the compound event occurrences are computed. Such occurrences being specified as the set of temporal intervals over which the compound event type is true, where, the set of temporal intervals in steps 106 and 108 are specified as smaller sets of spanning intervals, each spanning interval representing a set of intervals.
A detailed explanation of the general method steps in FIG. 1 will now be discussed.
Intervals
One might try to implement event logic using only closed intervals of the form [q,r], where q≦r. Such a closed interval would represent the set {p|q≦p≦r} of real numbers. With such closed intervals, one would define the Allen relations as follows: 



  
    
      
        
          [
          
            
              q
              1
            
            ,
            
              r
              1
            
          
          ]
        
        =
        
          [
          
            
              q
              2
            
            ,
            
              r
              2
            
          
          ]
        
      
    
    
      
        Δ
        
          _
          _
        
      
    
    
      
        
        ⁢
        
          
            q
            1
          
          =
          
            
              
                q
                2
              
              ⋀
              
                r
                1
              
            
            =
            
              r
              2
            
          
        
      
    
  
  
    
      
        
          [
          
            
              q
              1
            
            ,
            
              r
              1
            
          
          ]
        
        <
        
          [
          
            
              q
              2
            
            ,
            
              r
              2
            
          
          ]
        
      
    
    
      
        Δ
        
          _
          _
        
      
    
    
      
        
        ⁢
        
          
            r
            1
          
          <
          
            q
            2
          
        
      
    
  
  
    
      
        
          [
          
            
              q
              1
            
            ,
            
              r
              1
            
          
          ]
        
        >
        
          [
          
            
              q
              2
            
            ,
            
              r
              2
            
          
          ]
        
      
    
    
      
        Δ
        
          _
          _
        
      
    
    
      
        
        ⁢
        
          
            q
            1
          
          >
          
            r
            2
          
        
      
    
  
  
    
      
        
          [
          
            
              q
              1
            
            ,
            
              r
              1
            
          
          ]
        
        ⁢
        
          m
          ⁡
          
            [
            
              
                q
                2
              
              ,
              
                r
                2
              
            
            ]
          
        
      
    
    
      
        Δ
        
          _
          _
        
      
    
    
      
        
        ⁢
        
          
            r
            1
          
          =
          
            q
            2
          
        
      
    
  
  
    
      
        
          [
          
            
              q
              1
            
            ,
            
              r
              1
            
          
          ]
        
        ⁢
        m
        ⁢
        
           
        
        ⁢
        
          i
          ⁡
          
            [
            
              
                q
                2
              
              ,
              
                r
                2
              
            
            ]
          
        
      
    
    
      
        Δ
        
          _
          _
        
      
    
    
      
        
        ⁢
        
          
            q
            1
          
          =
          
            r
            2
          
        
      
    
  
  
    
      
        
          [
          
            
              q
              1
            
            ,
            
              r
              1
            
          
          ]
        
        ⁢
        
          o
          ⁡
          
            [
            
              
                q
                2
              
              ,
              
                r
                2
              
            
            ]
          
        
      
    
    
      
        Δ
        
          _
          _
        
      
    
    
      
        
        ⁢
        
          
            q
            1
          
          <
          
            q
            2
          
          <
          
            r
            1
          
          <
          
            r
            2
          
        
      
    
  
  
    
      
        
          [
          
            
              q
              1
            
            ,
            
              r
              1
            
          
          ]
        
        ⁢
        o
        ⁢
        
           
        
        ⁢
        
          i
          ⁡
          
            [
            
              
                q
                2
              
              ,
              
                r
                2
              
            
            ]
          
        
      
    
    
      
        Δ
        
          _
          _
        
      
    
    
      
        
        ⁢
        
          
            r
            1
          
          >
          
            r
            2
          
          >
          
            q
            1
          
          >
          
            q
            2
          
        
      
    
  
  
    
      
        
          [
          
            
              q
              1
            
            ,
            
              r
              1
            
          
          ]
        
        ⁢
        
          s
          ⁡
          
            [
            
              
                q
                2
              
              ,
              
                r
                2
              
            
            ]
          
        
      
    
    
      
        Δ
        
          _
          _
        
      
    
    
      
        
        ⁢
        
          
            q
            1
          
          =
          
            
              
                q
                2
              
              ⋀
              
                r
                1
              
            
            <
            
              r
              2
            
          
        
      
    
  
  
    
      
        
          [
          
            
              q
              1
            
            ,
            
              r
              1
            
          
          ]
        
        ⁢
        s
        ⁢
        
           
        
        ⁢
        
          i
          ⁡
          
            [
            
              
                q
                2
              
              ,
              
                r
                2
              
            
            ]
          
        
      
    
    
      
        Δ
        
          _
          _
        
      
    
    
      
        
        ⁢
        
          
            q
            1
          
          =
          
            
              
                q
                2
              
              ⋀
              
                r
                1
              
            
            >
            
              r
              2
            
          
        
      
    
  
  
    
      
        
          [
          
            
              q
              1
            
            ,
            
              r
              1
            
          
          ]
        
        ⁢
        
          f
          ⁡
          
            [
            
              
                q
                2
              
              ,
              
                r
                2
              
            
            ]
          
        
      
    
    
      
        Δ
        
          _
          _
        
      
    
    
      
        
        ⁢
        
          
            
              q
              1
            
            >
            
              
                q
                2
              
              ⋀
              
                r
                1
              
            
          
          =
          
            r
            2
          
        
      
    
  
  
    
      
        
          [
          
            
              q
              1
            
            ,
            
              r
              1
            
          
          ]
        
        ⁢
        
          fi
          ⁡
          
            [
            
              
                q
                2
              
              ,
              
                r
                2
              
            
            ]
          
        
      
    
    
      
        Δ
        
          _
          _
        
      
    
    
      
        
        ⁢
        
          
            
              q
              1
            
            <
            
              
                q
                2
              
              ⋀
              
                r
                1
              
            
          
          =
          
            r
            2
          
        
      
    
  
  
    
      
        
          [
          
            
              q
              1
            
            ,
            
              r
              1
            
          
          ]
        
        ⁢
        
          d
          ⁡
          
            [
            
              
                q
                2
              
              ,
              
                r
                2
              
            
            ]
          
        
      
    
    
      
        Δ
        
          _
          _
        
      
    
    
      
        
        ⁢
        
          
            q
            1
          
          >
          
            
              q
              2
            
            ⋀
            
              r
              1
            
          
          <
          
            r
            2
          
        
      
    
  
  
    
      
        
           
        
        ⁢
        
          
            [
            
              
                q
                1
              
              ,
              
                r
                1
              
            
            ]
          
          ⁢
          
            di
            ⁡
            
              [
              
                
                  q
                  2
                
                ,
                
                  r
                  2
                
              
              ]
            
          
        
      
    
    
      
        Δ
        
          _
          _
        
      
    
    
      
        
        ⁢
        
          
            q
            1
          
          <
          
            
              q
              2
            
            ⋀
            
              r
              1
            
          
          >
          
            r
            2
          
        
      
    
  




One difficulty with doing so is that it would possible for more than one Allen relation to hold between two intervals when one or both of them are instantaneous intervals, such as [q, q]. Both m and s and would hold between [q, q] and [q, r], both mi and si would hold between [q, r] and [q, q], both m and fi would hold between [q, r] and [r, r], both mi and f would hold between [r, r] and [q, r], and =, m, and mi would all hold between [q, q] and itself. To create a domain where exactly one Allen relation holds between any pair of intervals, let us consider both open and closed intervals. The intervals (q, r], [q, r), and (q, r), where q<r, represent the sets {p|q<p≦r}, {p|q≦p<r} and {p|q<p<r} of real numbers respectively. The various kinds of open and closed intervals can be unified into a single representation α[q,r]β, where α and β are true or false to indicate the interval being closed or open on the left or right respectively. To do this, let us use q≦αr to mean q≦r when α is true and q<r when α is false. Similarly, let us use q≧αr to mean q≧r when α is true and q>r when α is false. With these, α[q,r]β represents the set {p|q≦αp≦βr} of real numbers. Given this, one can define the Allen relations as follows: 



  
    
      
        
          
            
              
                
                  
                    
                       
                    
                    
                      α
                      1
                    
                  
                  ⁡
                  
                    [
                    
                      
                        q
                        1
                      
                      ,
                      
                        r
                        1
                      
                    
                    ]
                  
                
                
                  β
                  1
                
              
              ⁢
              
                =
                
                  α
                  2
                
              
              ⁢
              
                
                  [
                  
                    
                      q
                      2
                    
                    ,
                    
                      r
                      2
                    
                  
                  ]
                
                
                  β
                  2
                
              
            
          
          
            
              
                
                ⁢
                Δ
              
              
                _
                _
              
            
          
          
            
              
              ⁢
              
                
                  q
                  1
                
                =
                
                  
                    
                      q
                      2
                    
                    ⋀
                    
                      α
                      1
                    
                  
                  =
                  
                    
                      
                        α
                        2
                      
                      ⋀
                      
                        r
                        1
                      
                    
                    =
                    
                      
                        
                          r
                          2
                        
                        ⋀
                        
                          β
                          1
                        
                      
                      =
                      
                        β
                        2
                      
                    
                  
                
              
            
          
        
      
    
    
      
        (
        1
        )
      
    
  
  
    
      
        
          
            
              
                
                  
                    
                    ⁢
                    
                      
                         
                      
                      
                        α
                        1
                      
                    
                  
                  ⁡
                  
                    [
                    
                      
                        q
                        1
                      
                      ,
                      
                        r
                        1
                      
                    
                    ]
                  
                
                
                  β
                  1
                
              
              ⁢
              
                <
                
                  α
                  2
                
              
              ⁢
              
                
                  [
                  
                    
                      q
                      2
                    
                    ,
                    
                      r
                      2
                    
                  
                  ]
                
                
                  β
                  2
                
              
            
          
          
            
              
              ⁢
              
                Δ
                
                  _
                  _
                
              
            
          
          
            
              
              ⁢
              
                
                  r
                  1
                
                ⁢
                
                  ≤
                  
                    ⫬
                    
                      
                        β
                        1
                      
                      ⋀
                      
                        ⫬
                        
                          α
                          2
                        
                      
                    
                  
                
                ⁢
                
                  q
                  2
                
              
            
          
        
      
    
    
      
        (
        2
        )
      
    
  
  
    
      
        
          
            
              
                
                  
                    
                    ⁢
                    
                      
                         
                      
                      
                        α
                        1
                      
                    
                  
                  ⁡
                  
                    [
                    
                      
                        q
                        1
                      
                      ,
                      
                        r
                        1
                      
                    
                    ]
                  
                
                
                  β
                  1
                
              
              ⁢
              
                >
                
                  α
                  2
                
              
              ⁢
              
                
                  [
                  
                    
                      q
                      2
                    
                    ,
                    
                      r
                      2
                    
                  
                  ]
                
                
                  β
                  2
                
              
            
          
          
            
              
                
                ⁢
                Δ
              
              
                _
                _
              
            
          
          
            
              
              ⁢
              
                
                  q
                  1
                
                ⁢
                
                  ≥
                  
                    ⫬
                    
                      
                        α
                        1
                      
                      ⋀
                      
                        ⫬
                        
                          β
                          2
                        
                      
                    
                  
                
                ⁢
                
                  r
                  2
                
              
            
          
        
      
    
    
      
        (
        3
        )
      
    
  
  
    
      
        
          
            
              
                
                  
                    
                    ⁢
                    
                      
                         
                      
                      
                        α
                        1
                      
                    
                  
                  ⁡
                  
                    [
                    
                      
                        q
                        1
                      
                      ,
                      
                        r
                        1
                      
                    
                    ]
                  
                
                
                  β
                  1
                
              
              ⁢
              
                
                  
                    m
                    
                      α
                      2
                    
                  
                  ⁡
                  
                    [
                    
                      
                        q
                        2
                      
                      ,
                      
                        r
                        2
                      
                    
                    ]
                  
                
                
                  β
                  2
                
              
            
          
          
            
              
              ⁢
              
                Δ
                
                  _
                  _
                
              
            
          
          
            
              
              ⁢
              
                
                  r
                  1
                
                =
                
                  
                    
                      q
                      2
                    
                    ⋀
                    
                      β
                      1
                    
                  
                  ≠
                  
                    α
                    2
                  
                
              
            
          
        
      
    
    
      
        (
        4
        )
      
    
  
  
    
      
        
          
            
              
                
                  
                    
                    ⁢
                    
                      
                         
                      
                      
                        α
                        1
                      
                    
                  
                  ⁡
                  
                    [
                    
                      
                        q
                        1
                      
                      ,
                      
                        r
                        1
                      
                    
                    ]
                  
                
                
                  β
                  1
                
              
              ⁢
              m
              ⁢
              
                 
              
              ⁢
              
                
                  
                    i
                    
                      α
                      2
                    
                  
                  ⁡
                  
                    [
                    
                      
                        q
                        2
                      
                      ,
                      
                        r
                        2
                      
                    
                    ]
                  
                
                
                  β
                  2
                
              
            
          
          
            
              
              ⁢
              
                Δ
                
                  _
                  _
                
              
            
          
          
            
              
              ⁢
              
                
                  q
                  1
                
                =
                
                  
                    
                      r
                      2
                    
                    ⋀
                    
                      α
                      1
                    
                  
                  ≠
                  
                    β
                    2
                  
                
              
            
          
        
      
    
    
      
        (
        5
        )
      
    
  
  
    
      
        
          
            
              
                
                  
                    
                       
                    
                    
                      
                      ⁢
                      
                        α
                        1
                      
                    
                  
                  ⁡
                  
                    [
                    
                      
                        q
                        1
                      
                      ,
                      
                        r
                        1
                      
                    
                    ]
                  
                
                
                  β
                  1
                
              
              ⁢
              
                
                  
                    o
                    
                      α
                      2
                    
                  
                  ⁡
                  
                    [
                    
                      
                        q
                        2
                      
                      ,
                      
                        r
                        2
                      
                    
                    ]
                  
                
                
                  β
                  2
                
              
            
          
          
            
              
              ⁢
              
                Δ
                
                  _
                  _
                
              
            
          
          
            
              
              ⁢
              
                
                  q
                  1
                
                ⁢
                
                  ≤
                  
                    
                      α
                      1
                    
                    ⋀
                    
                      ⫬
                      
                        α
                        2
                      
                    
                  
                
                ⁢
                
                  q
                  2
                
                ⁢
                
                  ≤
                  
                    
                      β
                      1
                    
                    ⋀
                    
                      α
                      2
                    
                  
                
                ⁢
                
                  r
                  1
                
                ⁢
                
                  ≤
                  
                    ⫬
                    
                      
                        β
                        1
                      
                      ⋀
                      
                        β
                        2
                      
                    
                  
                
                ⁢
                
                  r
                  2
                
              
            
          
        
      
    
    
      
        (
        6
        )
      
    
  
  
    
      
        
          
            
              
                
                  
                    
                    ⁢
                    
                      
                         
                      
                      
                        α
                        1
                      
                    
                  
                  ⁡
                  
                    [
                    
                      
                        q
                        1
                      
                      ,
                      
                        r
                        1
                      
                    
                    ]
                  
                
                
                  β
                  1
                
              
              ⁢
              o
              ⁢
              
                 
              
              ⁢
              
                
                  
                    i
                    
                      α
                      2
                    
                  
                  ⁡
                  
                    [
                    
                      
                        q
                        2
                      
                      ,
                      
                        r
                        2
                      
                    
                    ]
                  
                
                
                  β
                  2
                
              
            
          
          
            
              
              ⁢
              
                Δ
                
                  _
                  _
                
              
            
          
          
            
              
              ⁢
              
                
                  r
                  1
                
                ⁢
                
                  ≥
                  
                    
                      β
                      1
                    
                    ⋀
                    
                      ⫬
                      
                        β
                        2
                      
                    
                  
                
                ⁢
                
                  r
                  2
                
                ⁢
                
                  ≥
                  
                    
                      α
                      1
                    
                    ⋀
                    
                      β
                      2
                    
                  
                
                ⁢
                
                  q
                  1
                
                ⁢
                
                  ≥
                  
                    ⫬
                    
                      
                        α
                        1
                      
                      ⋀
                      
                        α
                        2
                      
                    
                  
                
                ⁢
                
                  q
                  2
                
              
            
          
        
      
    
    
      
        (
        7
        )
      
    
  
  
    
      
        
          
            
              
                
                  
                    
                    ⁢
                    
                      
                         
                      
                      
                        α
                        1
                      
                    
                  
                  ⁡
                  
                    [
                    
                      
                        q
                        1
                      
                      ,
                      
                        r
                        1
                      
                    
                    ]
                  
                
                
                  β
                  1
                
              
              ⁢
              
                
                  
                    s
                    
                      α
                      2
                    
                  
                  ⁡
                  
                    [
                    
                      
                        q
                        2
                      
                      ,
                      
                        r
                        2
                      
                    
                    ]
                  
                
                
                  β
                  2
                
              
            
          
          
            
              
              ⁢
              
                Δ
                
                  _
                  _
                
              
            
          
          
            
              
              ⁢
              
                
                  q
                  1
                
                =
                
                  
                    
                      q
                      2
                    
                    ⋀
                    
                      α
                      1
                    
                  
                  =
                  
                    
                      
                        α
                        2
                      
                      ⋀
                      
                        r
                        1
                      
                    
                    ⁢
                    
                      ≤
                      
                        ⫬
                        
                          
                            β
                            1
                          
                          ⋀
                          
                            β
                            2
                          
                        
                      
                    
                    ⁢
                    
                      r
                      2
                    
                  
                
              
            
          
        
      
    
    
      
        (
        8
        )
      
    
  
  
    
      
        
          
            
              
                
                  
                    
                    ⁢
                    
                      
                         
                      
                      
                        α
                        1
                      
                    
                  
                  ⁡
                  
                    [
                    
                      
                        q
                        1
                      
                      ,
                      
                        r
                        1
                      
                    
                    ]
                  
                
                
                  β
                  1
                
              
              ⁢
              s
              ⁢
              
                 
              
              ⁢
              
                
                  
                    i
                    
                      α
                      2
                    
                  
                  ⁡
                  
                    [
                    
                      
                        q
                        2
                      
                      ,
                      
                        r
                        2
                      
                    
                    ]
                  
                
                
                  β
                  2
                
              
            
          
          
            
              
              ⁢
              
                Δ
                
                  _
                  _
                
              
            
          
          
            
              
                q
                1
              
              =
              
                
                  
                    q
                    2
                  
                  ⋀
                  
                    α
                    1
                  
                
                =
                
                  
                    
                      α
                      2
                    
                    ⋀
                    
                      r
                      1
                    
                  
                  ⁢
                  
                    ≥
                    
                      
                        β
                        1
                      
                      ⋀
                      
                        ⫬
                        
                          β
                          2
                        
                      
                    
                  
                  ⁢
                  
                    r
                    2
                  
                
              
            
          
        
      
    
    
      
        (
        9
        )
      
    
  
  
    
      
        
          
            
              
                
                  
                    
                    ⁢
                    
                      
                         
                      
                      
                        α
                        1
                      
                    
                  
                  ⁡
                  
                    [
                    
                      
                        q
                        1
                      
                      ,
                      
                        r
                        1
                      
                    
                    ]
                  
                
                
                  β
                  1
                
              
              ⁢
              
                
                  
                    f
                    
                      α
                      2
                    
                  
                  ⁡
                  
                    [
                    
                      
                        q
                        2
                      
                      ,
                      
                        r
                        2
                      
                    
                    ]
                  
                
                
                  β
                  2
                
              
            
          
          
            
              
              ⁢
              
                Δ
                
                  _
                  _
                
              
            
          
          
            
              
              ⁢
              
                
                  
                    q
                    1
                  
                  ⁢
                  
                    ≥
                    
                      ⫬
                      
                        
                          α
                          1
                        
                        ⋀
                        
                          α
                          2
                        
                      
                    
                  
                  ⁢
                  
                    
                      q
                      2
                    
                    ⋀
                    
                      r
                      1
                    
                  
                
                =
                
                  
                    
                      r
                      2
                    
                    ⋀
                    
                      β
                      1
                    
                  
                  =
                  
                    β
                    2
                  
                
              
            
          
        
      
    
    
      
        (
        10
        )
      
    
  
  
    
      
        
          
            
              
                
                  
                    
                    ⁢
                    
                      
                         
                      
                      
                        α
                        1
                      
                    
                  
                  ⁡
                  
                    [
                    
                      
                        q
                        1
                      
                      ,
                      
                        r
                        1
                      
                    
                    ]
                  
                
                
                  β
                  1
                
              
              ⁢
              f
              ⁢
              
                 
              
              ⁢
              
                
                  
                    i
                    
                      α
                      2
                    
                  
                  ⁡
                  
                    [
                    
                      
                        q
                        2
                      
                      ,
                      
                        r
                        2
                      
                    
                    ]
                  
                
                
                  β
                  2
                
              
            
          
          
            
              
              ⁢
              
                Δ
                
                  _
                  _
                
              
            
          
          
            
              
              ⁢
              
                
                  
                    q
                    1
                  
                  ⁢
                  
                    ≤
                    
                      
                        α
                        1
                      
                      ⋀
                      
                        ⫬
                        
                          α
                          2
                        
                      
                    
                  
                  ⁢
                  
                    
                      q
                      2
                    
                    ⋀
                    
                      r
                      1
                    
                  
                
                =
                
                  
                    
                      r
                      2
                    
                    ⋀
                    
                      β
                      1
                    
                  
                  =
                  
                    β
                    2
                  
                
              
            
          
        
      
    
    
      
        (
        11
        )
      
    
  
  
    
      
        
          
            
              
                
                  
                    
                    ⁢
                    
                      
                         
                      
                      
                        α
                        1
                      
                    
                  
                  ⁡
                  
                    [
                    
                      
                        q
                        1
                      
                      ,
                      
                        r
                        1
                      
                    
                    ]
                  
                
                
                  β
                  1
                
              
              ⁢
              
                
                  
                    d
                    
                      α
                      2
                    
                  
                  ⁡
                  
                    [
                    
                      
                        q
                        2
                      
                      ,
                      
                        r
                        2
                      
                    
                    ]
                  
                
                
                  β
                  2
                
              
            
          
          
            
              
              ⁢
              
                Δ
                
                  _
                  _
                
              
            
          
          
            
              
              ⁢
              
                
                  q
                  1
                
                ⁢
                
                  ≥
                  
                    ⫬
                    
                      
                        α
                        1
                      
                      ⋀
                      
                        α
                        2
                      
                    
                  
                
                ⁢
                
                  
                    q
                    2
                  
                  ⋀
                  
                    r
                    1
                  
                
                ⁢
                
                  ≤
                  
                    ⫬
                    
                      
                        β
                        1
                      
                      ⋀
                      
                        β
                        2
                      
                    
                  
                
                ⁢
                
                  r
                  2
                
              
            
          
        
      
    
    
      
        (
        12
        )
      
    
  
  
    
      
        
          
            
              
                
                  
                    
                    ⁢
                    
                      
                         
                      
                      
                        α
                        1
                      
                    
                  
                  ⁡
                  
                    [
                    
                      
                        q
                        1
                      
                      ,
                      
                        r
                        1
                      
                    
                    ]
                  
                
                
                  β
                  1
                
              
              ⁢
              d
              ⁢
              
                 
              
              ⁢
              
                
                  
                    i
                    
                      α
                      2
                    
                  
                  ⁡
                  
                    [
                    
                      
                        q
                        2
                      
                      ,
                      
                        r
                        2
                      
                    
                    ]
                  
                
                
                  β
                  2
                
              
            
          
          
            
              
              ⁢
              
                Δ
                
                  _
                  _
                
              
            
          
          
            
              
              ⁢
              
                
                  q
                  1
                
                ⁢
                
                  ≤
                  
                    
                      α
                      1
                    
                    ⋀
                    
                      ⫬
                      
                        α
                        2
                      
                    
                  
                
                ⁢
                
                  
                    q
                    2
                  
                  ⋀
                  
                    r
                    1
                  
                
                ⁢
                
                  ≥
                  
                    
                      β
                      1
                    
                    ⋀
                    
                      ⫬
                      
                        β
                        2
                      
                    
                  
                
                ⁢
                
                  r
                  2
                
              
            
          
        
      
    
    
      
        (
        13
        )
      
    
  




With the above definitions, exactly one Allen relation holds between any pair of intervals.
The set of real numbers represented by an interval is referred to as its extension. Given the above definition of interval, any interval, such as [5, 4], (5, 4], [5, 4), or (5, 4), where the upper endpoint is less than the lower endpoint represents the empty set. And any open interval, such as [5, 5), (5, 5], or (5, 5), where the upper endpoint equals the lower endpoint also represents the empty set. To create a situation where the extension of each interval has a unique representation, let us represent all such empty sets of real numbers as { }. Thus whenever we represent an interval α[q,r]β explicitly, it will have a nonempty extension and will satisfy the following normalization criterion: q≦αβ r.
Spanning Intervals
When using event logic, we wish to compute and represent the set I of all intervals over which some event-logic expression Φ holds. Many primitive event types, including all of the primitive events types used in the computer system implementation of the application described in the “Example” section below, are liquid in the sense that if some event holds of an interval then that event holds of every subinterval of that interval. With real-valued interval endpoints, this creates the need to compute and represent an infinite set of intervals for a liquid event. Even limiting ourselves to integer-valued interval endpoints, a liquid event will require the computation and representation of quadratically many intervals.
To address this problem, let us introduce the notion of a spanning interval. A spanning interval [i:j] represents the set of all subintervals of [i,j], in other words {[q,r]|i≦q≦ji≦r≦j}. Similarly (i:j], [i:j), and (i:j) represent {(q, r]|i≦q≦ji≦r≦j}, {[q,r)|i≦q≦ji≦r≦j}, and {(q,r)|i≦q≦ji≦r≦j} respectively. What we desire is to use spanning intervals to represent the set of all intervals over which the primitive event types hold and to compute and represent the set of all intervals over which compound event types hold via structural induction over the compound event-logic expressions. A problem arises however. Given two liquid event types Φ and Ψ, the compound event type Φ; Ψ is not liquid. If Φ holds over [i:j) and Ψ holds over [j:k), then Φ; Ψ might not hold over every subinterval of [i,k). It holds over only those subintervals that include j. Such event types are referred to as semi liquid. Since spanning intervals are not sufficient to efficiently represent semi-liquid events, let us extend the notion of a spanning interval. A spanning interval [[i,j], [k,l]] represents the set of intervals {[q,r]|i≦q≦jk≦r≦l}. Similarly the spanning intervals ([i,j],[k,l]], [[i,j],[k,l]), and ([i,j],[k,l]) represent the sets {(q,r]|i≦q≦jk≦r≦l}, {[q,r)|i≦q≦jk≦r≦l}, and {(q,r)|i≦q≦jk≦r≦l} respectively. This extended notion of spanning interval subsumes the original notion. The spanning intervals [i:j], (i:j], [i:j), and (i:j) can be represented as the spanning intervals [[i,j],[i,j]], ([i,j],[i,j]], [[i,j],[i,j]), and ([i,j],[i,j]) respectively. For reasons that will become apparent below, it is necessary to also allow for spanning intervals where the ranges of endpoint values are open. In other words, we will need to consider spanning intervals like [(i,j],[k,l]] to represent sets like {[q,r]|i≦q≦jk≦r≦l}. All told, there are six endpoints that can independently be either open or closed: q, r, i, j, k, and l, yielding sixty four kinds of spanning intervals. These can all be unified into a single representation, α[γ[i,j]δ,ε[k,l]ζ]β, where α, β, γ, δ, ε, and ζ are true or false if the endpoints q, r, i, j, k, and l are closed or open respectively. More precisely, the spanning interval α[γ[i,j]δ,ε[k,l]ζ]β represents the set

{α[q,r]β|i≦γq≦δjk≦εr≦ζl}  (14)

of intervals. The set of intervals represented by a spanning interval is referred to as its extension. Moreover, a set of spanning intervals will represent the union of the extensions of its members and the empty set of spanning intervals will represent the empty set of intervals. The set of intervals represented by a set of spanning intervals is further referred to as its extension. A key result of this disclosure is that if the set of all intervals over which some set of primitive event types hold can be represented as finite sets of spanning intervals then the set of all intervals over which all event types that are expressible as compound event-logic expressions over those primitives hold can also be represented as finite sets of spanning intervals.

Normalizing Spanning Intervals

While we require that all intervals have finite endpoints, we allow spanning intervals to have infinite endpoints, for instance, [[−∞,j], [k,l]]. Such spanning intervals with infinite endpoints represent sets of intervals with finite endpoints but where the range of possible endpoints is unconstrained from above or below.
Just as we desire that the extension of every interval have a unique representation, we also desire that the extension of every spanning interval have a unique representation. There are a number of situations where two different spanning intervals will have the same extension. First, all spanning intervals α[γ[i,j]δ,ε[k,l]ζ]β, where i=∞, j=−∞, k=∞, or l=−∞ represent the empty set of intervals. Because there are no intervals with an endpoint that is less than or equal to minus infinity or greater than or equal to infinity. Second, if i=−∞, j=∞, k=−∞, or l=−∞, the value of γ,δ,ε, or ζ does not affect the denotation respectively. Because there are no intervals with infinite endpoints. Third, if j>l, j can be decreased as far as l without changing the denotation. Because all intervals where the upper endpoint is less than the lower endpoint equivalently denote the empty interval. Similarly, if k<i, k can be increased as far as i without changing the denotation. Fourth, all spanning intervals where i>j or k>l represent the empty set of intervals. Because the range of possible endpoints would be empty. Fifth, all spanning intervals where i=j and either γ or δ is false (indicating an open range for the lower endpoint) represent the empty set of intervals. Because the range of possible endpoints would be empty. Similarly, all spanning intervals where k=l and either ε or ζ is false (indicating an open range for the upper endpoint) also represent the empty set of intervals. Sixth, all spanning intervals where i=l and either α or β is false (indicating an open interval) also represent the empty set of intervals. Because the endpoints of an open interval must be different. Seventh, if j=l and ζ is false, the value of a does not affect the denotation. Because if j=l and ζ is false, the upper endpoint must be less than l and the lower endpoint must be less than or equal to j which equals l, so the lower endpoint must be less than j. Similarly, if k=i and γ is false, the value of ε does not affect the denotation. Eighth, if j=l and either α or β is false, the value of δ does not affect the denotation. Because the lower endpoint of an open interval must be less than its upper endpoint. Similarly, if k=i and either α or β is false, the value of ε does not affect the denotation.
To create a situation where the extension of every spanning interval has a unique representation, let us represent all empty sets of intervals as { }. And when the values of i, j, k, l, α, β, γ, δ, ε, or ζ can be changed without changing the denotation, we will select the tightest such values. In other words, false values for the Boolean parameters, maximal values for the lower bounds, and minimal values for the upper bounds. Thus whenever we represent a spanning interval α[γ[i,j]δ,ε[k,l]ζ]β explicitly, it will have a nonempty extension and will satisfy the following normalization criterion:

    
    
        (1) i≠∞j≠−∞k≠∞l≠−∞
        (2) (i=−∞→γ)(j=∞→δ)(k=−∞→ε)(l=∞→ζ)
        (3) j≦lk≧i
        (4) i≦jk≦l
        (5) (i≠jγδ)(k≠lεζ)
        (6) (i≠lαβ)
        (7) [(j=lζ)→δ][(k=iγ)→ε]
        (8) {[j=l(αβ)]→δ}{[k=i(αβ)]→ε}
    
    


Criteria (1) through (8) correspond to points one through eight above.
A spanning interval α[γ[i,j]δ,ε[k,l]ζ]β is normalized if i, j, k, l, α, β, γ, δ, ε, and ζ cannot be changed without changing its denotation. Given a (potentially non-normalized) spanning interval i, its normalization <i> is the smallest set of normalized spanning intervals that represents the extension of i. One can compute <i> as follows: 



  
    
      〈
      α
    
    ⁢
    
      
        
          [
          γ
        
        ⁢
        
          
            
              [
              
                i
                ,
                
                  j
                  ′
                
              
              ]
            
            δ
          
          ⁢
          
            ,
            ε
          
          ⁢
          
            
              [
              
                k
                ,
                l
              
              ]
            
            ζ
          
        
        ]
      
      β
    
    〉
  
  ⁢
  
     
  
  ⁢
  
    Δ
    
      _
      _
    
  
  ⁢
  
     
  
  ⁢
  
    {
    
      
        
          
             
            ⁢
            
              
                {
                α
              
              ⁢
              
                
                  
                    [
                    γ
                  
                  ⁢
                  
                    
                      
                        [
                        
                          i
                          ,
                          
                            j
                            ′
                          
                        
                        ]
                      
                      
                        δ
                        ′
                      
                    
                    ⁢
                    
                      ,
                      
                        ε
                        ′
                      
                    
                  
                  ]
                
                β
              
              }
            
            ⁢
            
               
            
          
        
      
      
        
          
            
              
                
                  
                    where
                    ⁢
                    
                       
                    
                    ⁢
                    
                      j
                      ′
                    
                  
                  =
                  
                  ⁢
                  
                    min
                    ⁡
                    
                      (
                      
                        j
                        ,
                        l
                      
                      )
                    
                  
                
              
            
            
              
                
                  
                     
                  
                  ⁢
                  
                    
                      k
                      ′
                    
                    =
                    
                    ⁢
                    
                      max
                      ⁡
                      
                        (
                        
                          k
                          ,
                          i
                        
                        )
                      
                    
                  
                
              
            
            
              
                
                  
                     
                  
                  ⁢
                  
                    
                      γ
                      ′
                    
                    =
                    
                    ⁢
                    
                      
                        γ
                        ⋀
                        i
                      
                      ≠
                      
                        -
                        ∞
                      
                    
                  
                  ⁢
                  
                     
                  
                
              
            
            
              
                
                  
                     
                  
                  ⁢
                  
                    
                      δ
                      ′
                    
                    =
                    
                    ⁢
                    
                      
                        
                          δ
                          ⋀
                          min
                        
                        ⁢
                        
                           
                        
                        ⁢
                        
                          (
                          
                            j
                            ,
                            l
                          
                          )
                        
                      
                      ≠
                      
                        ∞
                        ⋀
                        
                          (
                          
                            j
                            <
                            
                              l
                              ⋁
                              
                                ζ
                                ⋀
                                α
                                ⋀
                                β
                              
                            
                          
                          )
                        
                      
                    
                  
                  ⁢
                  
                     
                  
                
              
            
            
              
                
                  
                     
                  
                  ⁢
                  
                    
                      ε
                      ′
                    
                    =
                    
                    ⁢
                    
                      
                        ε
                        ⋀
                        
                          max
                          ⁡
                          
                            (
                            
                              k
                              ,
                              i
                            
                            )
                          
                        
                      
                      ≠
                      
                        
                          -
                          ∞
                        
                        ⋀
                        
                          (
                          
                            k
                            >
                            
                              i
                              ⋁
                              
                                γ
                                ⋀
                                β
                                ⋀
                                α
                              
                            
                          
                          )
                        
                      
                    
                  
                
              
            
            
              
                
                  
                     
                  
                  ⁢
                  
                    
                      ζ
                      ′
                    
                    =
                    
                    ⁢
                    
                      
                        ζ
                        ⋀
                        l
                      
                      ≠
                      ∞
                    
                  
                
              
            
            
              
                
                  
                    
                      when
                      ⁢
                      
                        
                           
                        
                        ⁢
                        
                           
                        
                      
                      ⁢
                      i
                    
                    ⁢
                    
                       
                    
                    ≤
                    
                    ⁢
                    
                      
                        j
                        ′
                      
                      ⋀
                      
                        k
                        ′
                      
                    
                    ≤
                    
                      l
                      ⋀
                    
                  
                  ⁢
                  
                     
                  
                
              
            
            
              
                
                  
                     
                  
                  ⁢
                  
                    
                      [
                      
                        i
                        =
                        
                          
                            j
                            ′
                          
                          ->
                          
                            (
                            
                              
                                γ
                                ′
                              
                              ⋀
                              
                                δ
                                ′
                              
                            
                            )
                          
                        
                      
                      ]
                    
                    ⋀
                    
                      [
                      
                        
                          k
                          ′
                        
                        =
                        
                          l
                          ->
                          
                            (
                            
                              
                                ε
                                ′
                              
                              ⋀
                              
                                ζ
                                ′
                              
                            
                            )
                          
                        
                      
                      ]
                    
                    ⋀
                  
                
              
            
            
              
                
                  
                     
                  
                  ⁢
                  
                    
                      [
                      
                        i
                        =
                        
                          l
                          ->
                          
                            (
                            
                              α
                              ⋀
                              β
                            
                            )
                          
                        
                      
                      ]
                    
                    ⋀
                  
                
              
            
            
              
                
                  
                     
                  
                  ⁢
                  
                    i
                    ≠
                    
                      ∞
                      ⋀
                      
                        j
                        ′
                      
                    
                    ≠
                    
                      
                        -
                        ∞
                      
                      ⋀
                      
                        k
                        ′
                      
                    
                    ≠
                    
                      ∞
                      ⋀
                      l
                    
                    ≠
                    
                      -
                      ∞
                    
                  
                
              
            
          
        
      
      
        
          
            
              
                {
                
                   
                
                }
              
              ⁢
              
                 
              
              ⁢
              otherwise
            
            ⁢
            
              
                 
              
              ⁢
              
                 
              
            
          
        
      
    
  




An important property of spanning intervals is that for any spanning interval i, <i> contains at most one normalized spanning interval.
Computing the Intersection of Two Normalized Spanning Intervals
Given two normalized spanning intervals i1 and i2, their intersection i1∩i2 is a set of normalized spanning intervals whose extension is the intersection of the extensions of i1 and i2. One can compute i1∩i2 as follows:

    
    
        α1[γ1[i1,j1]δ1,ε1[k1,l1]ζ1]β1∩α2[γ2[i2,j2]δ2,ε2[K2,l2]ζ2]β2=Δ
        
            <α1[γ[max(i1,i2), min(j1,j2)]δ,ε[max(k1,k2), min(l1,l2)]ζ]β1>



  
    
      
        
          
            where
            ⁢
            
               
            
            ⁢
            γ
          
          =
          
          ⁢
          
            {
            
              
                
                  
                    
                    ⁢
                    
                      γ
                      1
                    
                  
                
                
                  
                    
                       
                    
                    ⁢
                    
                      
                        i
                        1
                      
                      >
                      
                        i
                        2
                      
                    
                  
                
              
              
                
                  
                    
                    ⁢
                    
                      
                        γ
                        1
                      
                      ⋀
                      
                        γ
                        2
                      
                    
                  
                
                
                  
                    
                       
                    
                    ⁢
                    
                      
                        i
                        1
                      
                      =
                      
                        i
                        2
                      
                    
                  
                
              
              
                
                  
                    
                    ⁢
                    
                      γ
                      2
                    
                  
                
                
                  
                    
                       
                    
                    ⁢
                    
                      
                        i
                        1
                      
                      <
                      
                        i
                        2
                      
                    
                  
                
              
            
          
        
      
    
    
      
        
          δ
          =
          
          ⁢
          
            {
            
              
                
                  
                    
                    ⁢
                    
                      δ
                      1
                    
                  
                
                
                  
                    
                       
                    
                    ⁢
                    
                      
                        j
                        1
                      
                      <
                      
                        j
                        2
                      
                    
                  
                
              
              
                
                  
                    
                    ⁢
                    
                      
                        δ
                        1
                      
                      ⋀
                      
                        δ
                        2
                      
                    
                  
                
                
                  
                    
                       
                    
                    ⁢
                    
                      
                        j
                        1
                      
                      =
                      
                        j
                        2
                      
                    
                  
                
              
              
                
                  
                    
                    ⁢
                    
                      δ
                      2
                    
                  
                
                
                  
                    
                       
                    
                    ⁢
                    
                      
                        j
                        1
                      
                      >
                      
                        j
                        2
                      
                    
                  
                
              
            
          
        
      
    
    
      
        
          ε
          =
          
          ⁢
          
            {
            
              
                
                  
                    
                    ⁢
                    
                      ε
                      1
                    
                  
                
                
                  
                    
                       
                    
                    ⁢
                    
                      
                        k
                        1
                      
                      >
                      
                        k
                        2
                      
                    
                  
                
              
              
                
                  
                    
                    ⁢
                    
                      
                        ε
                        1
                      
                      ⋀
                      
                        ε
                        2
                      
                    
                  
                
                
                  
                    
                       
                    
                    ⁢
                    
                      
                        k
                        1
                      
                      =
                      
                        k
                        2
                      
                    
                  
                
              
              
                
                  
                    
                    ⁢
                    
                      ε
                      2
                    
                  
                
                
                  
                    
                       
                    
                    ⁢
                    
                      
                        k
                        1
                      
                      <
                      
                        k
                        2
                      
                    
                  
                
              
            
          
        
      
    
    
      
        
          ζ
          =
          
          ⁢
          
            {
            
              
                
                  
                    
                    ⁢
                    
                      ζ
                      1
                    
                  
                
                
                  
                    
                       
                    
                    ⁢
                    
                      
                        l
                        1
                      
                      <
                      
                        l
                        2
                      
                    
                  
                
              
              
                
                  
                    
                    ⁢
                    
                      
                        ζ
                        1
                      
                      ⋀
                      
                        ζ
                        2
                      
                    
                  
                
                
                  
                    
                       
                    
                    ⁢
                    
                      
                        l
                        1
                      
                      =
                      
                        l
                        2
                      
                    
                  
                
              
              
                
                  
                    
                    ⁢
                    
                      ζ
                      2
                    
                  
                
                
                  
                    
                       
                    
                    ⁢
                    
                      
                        l
                        1
                      
                      >
                      
                        l
                        2
                      
                    
                  
                
              
            
          
        
      
    
  
  ⁢
  
     
  




            when α1=α2β1=β2 
        
        
        { } otherwise
    
    


An important property of normalized spanning intervals is that for any two normalized spanning intervals i1 and i2, i1∩i2 contains at most one normalized spanning interval.
The intuition behind the above definition is as follows. All of the intervals in the extension of a spanning interval are of the same type, namely, [q,r], (q,r], [q,r), or (q,r). The intersection of two spanning intervals has a nonempty extension only if the two spanning intervals contain the same type of intervals in their extension. If they do, and the sets contain intervals whose lower endpoint is bound from below by i1 and i2 respectively, then the intersection will contain intervals whose lower endpoint is bound from below by both i1 and i2. The resulting bound is open or closed depending on which of the input bounds is tighter. Similarly for the upper bound on the lower endpoint and the lower and upper bounds on the upper endpoint.
Computing the Complement of a Normalized Spanning Interval
Given a normalized spanning interval i, its complement i is a set of normalized spanning intervals whose extension is the complement of the extension of i. One can compute i as follows: 



  
    ⫬
    α
  
  ⁢
  
    
      
        
          [
          γ
        
        ⁢
        
          
            
              [
              
                i
                ,
                
                  j
                  ′
                
              
              ]
            
            δ
          
          ⁢
          
            ,
            ε
          
          ⁢
          
            
              [
              
                k
                ,
                l
              
              ]
            
            ζ
          
        
        ]
      
      β
    
    ⁢
    
       
    
    ⁢
    
      Δ
      
        _
        _
      
    
    ⁢
    
       
    
    ⁢
    
      (
      
        
          
            
              
              ⁢
              
                
                  
                    〈
                    α
                  
                  ⁢
                  
                    
                      
                        [
                        T
                      
                      ⁢
                      
                        
                          
                            [
                            
                              
                                -
                                ∞
                              
                              ,
                              ∞
                            
                            ]
                          
                          T
                        
                        ⁢
                        
                          ,
                          
                             
                            T
                          
                        
                        ⁢
                        
                          
                            [
                            
                              
                                -
                                ∞
                              
                              ,
                              k
                            
                            ]
                          
                          
                            -
                            ∈
                          
                        
                      
                      ]
                    
                    β
                  
                  〉
                
                ⋃
              
            
          
        
        
          
            
              
              ⁢
              
                
                  
                    〈
                    α
                  
                  ⁢
                  
                    
                      
                        [
                        T
                      
                      ⁢
                      
                        
                          
                            [
                            
                              
                                -
                                ∞
                              
                              ,
                              ∞
                            
                            ]
                          
                          T
                        
                        ⁢
                        
                          ,
                          
                            ⫬
                            ζ
                          
                        
                        ⁢
                        
                          
                            [
                            
                              l
                              ,
                              ∞
                            
                            ]
                          
                          T
                        
                      
                      ]
                    
                    β
                  
                  〉
                
                ⋃
              
            
          
        
        
          
            
              
              ⁢
              
                
                  
                    〈
                    α
                  
                  ⁢
                  
                    
                      
                        [
                        T
                      
                      ⁢
                      
                        
                          
                            [
                            
                              
                                -
                                ∞
                              
                              ,
                              i
                            
                            ]
                          
                          
                            ⫬
                            γ
                          
                        
                        ⁢
                        
                          ,
                          T
                        
                        ⁢
                        
                          
                            [
                            
                              
                                -
                                ∞
                              
                              ,
                              ∞
                            
                            ]
                          
                          T
                        
                      
                      ]
                    
                    β
                  
                  〉
                
                ⋃
              
            
          
        
        
          
            
              
              ⁢
              
                
                  
                    〈
                    α
                  
                  ⁢
                  
                    
                      
                        [
                        
                          ⫬
                          δ
                        
                      
                      ⁢
                      
                        
                          
                            [
                            
                              j
                              ,
                              ∞
                            
                            ]
                          
                          T
                        
                        ⁢
                        
                          ,
                          T
                        
                        ⁢
                        
                          
                            [
                            
                              
                                -
                                ∞
                              
                              ,
                              ∞
                            
                            ]
                          
                          T
                        
                      
                      ]
                    
                    β
                  
                  〉
                
                ⋃
              
            
          
        
        
          
            
              
              ⁢
              
                
                  
                    〈
                    
                      ⫬
                      α
                    
                  
                  ⁢
                  
                    
                      
                        [
                        T
                      
                      ⁢
                      
                        
                          
                            [
                            
                              
                                -
                                ∞
                              
                              ,
                              ∞
                            
                            ]
                          
                          T
                        
                        ⁢
                        
                          ,
                          T
                        
                        ⁢
                        
                          
                            [
                            
                              
                                -
                                ∞
                              
                              ,
                              ∞
                            
                            ]
                          
                          T
                        
                      
                      ]
                    
                    β
                  
                  〉
                
                ⋃
              
            
          
        
        
          
            
              
              ⁢
              
                
                  
                    〈
                    α
                  
                  ⁢
                  
                    
                      
                        [
                        T
                      
                      ⁢
                      
                        
                          
                            [
                            
                              
                                -
                                ∞
                              
                              ,
                              ∞
                            
                            ]
                          
                          T
                        
                        ⁢
                        
                          ,
                          T
                        
                        ⁢
                        
                          
                            [
                            
                              
                                -
                                ∞
                              
                              ,
                              ∞
                            
                            ]
                          
                          T
                        
                      
                      ]
                    
                    
                      ⫬
                      β
                    
                  
                  〉
                
                ⋃
              
            
          
        
        
          
            
              
              ⁢
              
                
                  〈
                  
                    ⫬
                    α
                  
                
                ⁢
                
                  
                    
                      [
                      T
                    
                    ⁢
                    
                      
                        
                          [
                          
                            
                              -
                              ∞
                            
                            ,
                            ∞
                          
                          ]
                        
                        T
                      
                      ⁢
                      
                        ,
                        T
                      
                      ⁢
                      
                        
                          [
                          
                            
                              -
                              ∞
                            
                            ,
                            ∞
                          
                          ]
                        
                        T
                      
                    
                    ]
                  
                  
                    ⫬
                    β
                  
                
                〉
              
            
          
        
      
      )
    
  




An important property of normalized spanning intervals is that for any normalized spanning interval i, i contains at most seven normalized spanning intervals.
The intuition behind the above definition is as follows. First note that the negation of q≦αr is q≧αr. Next note that the extension of i contains intervals whose endpoints q and r satisfy q≧γiq≦δjr≧εkr≦ζl. Thus the extension of i contains intervals whose endpoints satisfy the negation of this, namely, q≦γiq≧δjr≦εkr≦ζl. Such a disjunction requires four spanning intervals, the first four in the above definition. Additionally, if the extension of i contains intervals of the form [q,r], the extension of i will contain all intervals not of the form [q,r], namely, (q,r], [q,r), and (q,r). Similarly for the cases where the extension of i contains intervals of the form (q,r], [q,r), or (q,r). This accounts for the last three spanning intervals in the above definition.
We now see why it is necessary to allow spanning intervals to have open ranges of endpoint values. The complement of a spanning interval, such as [[i,j],[k,l]], with closed endpoint ranges, includes spanning intervals, such as [[−∞,i),[−∞,∞]], with open endpoint ranges.
Computing the Span of Two Normalized Spanning Intervals
The span of two intervals i1 and i2, denoted SPAN(i1, i2), is the smallest interval whose extension contains the extensions of both i1 and i2. For example, the span of (1,4) and [2,6] is (1,6]. And the span of [3,7) and (3,7] is [3,7]. More generally, the lower endpoint of SPAN(i1, i2) is the minimum of the lower endpoints of i1 and i2. And the lower endpoint of SPAN(i1, i2) is open or closed depending on whether the smaller of the lower endpoints of i1 and i2 is open or closed. Analogously, the upper endpoint of SPAN(i1, i2) is the maximum of the upper endpoints of i1 and i2. And the upper endpoint of SPAN(i1, i2) is open or closed depending on whether the larger of the upper endpoints of i1 and i2 is open or closed. More precisely,

SPAN(i1, i2) can be computed as follows: 



  SPAN
  ⁢
  
    
      (
      
        α
        1
      
    
    ⁢
    
      
        
          [
          
            
              q
              1
            
            ,
            
              r
              1
            
          
          ]
        
        
          β
          1
        
      
      ⁢
      
        ,
        
          
             
          
          ⁢
          
            α
            2
          
        
      
      ⁢
      
        
          [
          
            
              q
              2
            
            ,
            
              r
              2
            
          
          ]
        
        
          β
          2
        
      
    
    )
  
  ⁢
  
    
      
        
          Δ
          
            _
            _
          
        
        
          
            (
            
              
                
                  a
                  1
                
                ⋀
                
                  q
                  1
                
              
              ≤
              
                q
                2
              
            
            )
          
          ⋁
          
            (
            
              
                
                  a
                  2
                
                ⋀
                
                  q
                  1
                
              
              ≥
              
                q
                2
              
            
            )
          
        
      
      ⁡
      
        [
        
          
            min
            ⁡
            
              (
              
                
                  q
                  1
                
                ,
                
                  q
                  2
                
              
              )
            
          
          ,
          
            max
            ⁡
            
              (
              
                
                  r
                  1
                
                ,
                
                  r
                  2
                
              
              )
            
          
        
        ]
      
    
    
      
        (
        
          
            
              β
              1
            
            ⋀
            
              r
              1
            
          
          ≥
          
            r
            2
          
        
        )
      
      ⋁
      
        (
        
          
            
              β
              2
            
            ⋀
            
              r
              1
            
          
          ≤
          
            r
            2
          
        
        )
      
    
  




The notion of span will be used below.
Let us extend the notion of span to two sets of intervals by the following definition: 



  
    
      SPAN
      ⁡
      
        (
        
          
            I
            1
          
          ,
          
            I
            2
          
        
        )
      
    
    ⁢
    
      Δ
      
        _
        _
      
    
  
  ⁢
  
    ⋃
    
      
        i
        1
      
      ∈
      
        I
        1
      
    
  
  ⁢
  
    
      ⋃
      
        
          i
          2
        
        ∈
        
          I
          2
        
      
    
    ⁢
    
      SPAN
      ⁡
      
        (
        
          
            i
            1
          
          ,
          
            i
            2
          
        
        )
      
    
  




We will want to compute the span of two sets of intervals I1 and I2, when both I1 and I2 are represented as spanning intervals. And we will also want the resulting span to be represented as a small set of spanning intervals.
Given two normalized spanning intervals i1 and i2, their span SPAN(i1, i2) is a set of normalized spanning intervals whose extension is the span of the extensions of i1 and i2. One can compute SPAN(i1, i2) as follows: 



  SPAN
  ⁢
  
     
  
  ⁢
  
    
      (
      
        α
        1
      
    
    ⁢
    
      
        
          
            
              [
              
                γ
                1
              
            
            ⁢
            
              
                
                  [
                  
                    
                      i
                      1
                    
                    ,
                    
                      j
                      1
                    
                  
                  ]
                
                
                  δ
                  1
                
              
              ⁢
              
                ,
                
                  ε
                  1
                
              
              ⁢
              
                
                  [
                  
                    
                      k
                      1
                    
                    ,
                    
                      l
                      1
                    
                  
                  ]
                
                
                  ζ
                  1
                
              
            
            ]
          
          
            
              β
              1
            
            ,
            
              α
              2
            
          
        
        ⁢
        
          [
          
            γ
            2
          
        
        ⁢
        
          
            
              [
              
                
                  i
                  2
                
                ,
                
                  j
                  2
                
              
              ]
            
            
              δ
              2
            
          
          ⁢
          
            ,
            
              ε
              2
            
          
          ⁢
          
            
              [
              
                
                  k
                  2
                
                ,
                
                  l
                  2
                
              
              ]
            
            
              ζ
              2
            
          
        
        ]
      
      
        β
        2
      
    
    )
  
  ⁢
  
     
  
  ⁢
  
    Δ
    
      _
      _
    
  
  ⁢
  
    

  
  ⁢
  
    (
    
      
        
          
            
            ⁢
            
              
                
                  〈
                  
                    α
                    1
                  
                
                ⁢
                
                  
                    
                      [
                      
                        γ
                        1
                      
                    
                    ⁢
                    
                      
                        
                          [
                          
                            
                              i
                              1
                            
                            ,
                            j
                          
                          ]
                        
                        δ
                      
                      ⁢
                      
                        ,
                        ε
                      
                      ⁢
                      
                        
                          [
                          
                            k
                            ,
                            
                              l
                              1
                            
                          
                          ]
                        
                        
                          ζ
                          1
                        
                      
                    
                    ]
                  
                  
                    β
                    1
                  
                
                〉
              
              ⋃
            
          
        
      
      
        
          
            
            ⁢
            
              
                
                  〈
                  
                    α
                    1
                  
                
                ⁢
                
                  
                    
                      [
                      
                        γ
                        1
                      
                    
                    ⁢
                    
                      
                        
                          [
                          
                            
                              i
                              1
                            
                            ,
                            j
                          
                          ]
                        
                        δ
                      
                      ⁢
                      
                        ,
                        ε
                      
                      ⁢
                      
                        
                          [
                          
                            k
                            ,
                            
                              l
                              2
                            
                          
                          ]
                        
                        
                          ζ
                          2
                        
                      
                    
                    ]
                  
                  
                    β
                    2
                  
                
                〉
              
              ⋃
            
          
        
      
      
        
          
            
            ⁢
            
              
                
                  〈
                  
                    α
                    2
                  
                
                ⁢
                
                  
                    
                      [
                      
                        γ
                        2
                      
                    
                    ⁢
                    
                      
                        
                          [
                          
                            
                              i
                              2
                            
                            ,
                            j
                          
                          ]
                        
                        δ
                      
                      ⁢
                      
                        ,
                        ε
                      
                      ⁢
                      
                        
                          [
                          
                            k
                            ,
                            
                              l
                              1
                            
                          
                          ]
                        
                        
                          ζ
                          1
                        
                      
                    
                    ]
                  
                  
                    β
                    1
                  
                
                〉
              
              ⋃
            
          
        
      
      
        
          
            
            ⁢
            
              
                〈
                α
              
              ⁢
              
                
                  
                    [
                    
                      γ
                      2
                    
                  
                  ⁢
                  
                    
                      
                        [
                        
                          
                            i
                            2
                          
                          ,
                          j
                        
                        ]
                      
                      δ
                    
                    ⁢
                    
                      ,
                      ε
                    
                    ⁢
                    
                      
                        [
                        
                          k
                          ,
                          
                            l
                            2
                          
                        
                        ]
                      
                      
                        ζ
                        2
                      
                    
                  
                  ]
                
                
                  β
                  2
                
              
              〉
            
          
        
      
    
    )
  




where j=min(j1,j2)

    
    
        k=max(k1,k2)
        δ=[(δ1j1≦j2)(δ2j1≧j2)]
        ε=[(ε1k1≧k2)(ε2k1≦k2)]
    
    


An important property of normalized spanning intervals is that for any two normalized spanning intervals i1 and i2, SPAN(i1, i2) contains at most four normalized spanning intervals. In practice, however, fewer normalized spanning intervals are needed, often only one.
The intuition behind the above definition is as follows. Consider first the lower endpoint. Suppose that the lower endpoints q1 and q2 of i1 and i2 are in γ1[i1,j1]δ1 and γ2[i2,j2]δ1 respectively. That means i≦γ1q1≦δ1j1 and i2≦γ2q2≦δ2j2. The lower endpoint of SPAN(i1, i2) will be q1, when q1≦q2, and q2, when q2≦q1. Thus it will be q1, for all i1≦γ1q1≦δmin(j1,j2), and will be q2, for all i2≦γ2q2≦δmin (j1,j2), where δ=δ1, when j1≦j2, and δ=δ2, when j1≧j2. Thus there will be two potential ranges for the lower endpoint of SPAN(i1, i2): γ1[i1, min(j1,j2)]δ and γ2[i2, min(j1,j2)]δ. When the lower endpoint of SPAN(i1, i2) is taken from the former, it will be open or closed depending on whether the lower endpoint of i1 is open or closed. When it is taken from the later, it will be open or closed depending on whether the lower endpoint of i2 is open or closed. Thus the lower endpoint of SPAN(i1, i2) can be either α1[γ1[i1, min(j1,j2)]δ or α1[γ2[i2, min(j1,j2 )]δ. Analogous reasoning can be applied to the upper endpoints. If the upper endpoints of i1 and i2 are ε1[k1,l1]ζ1]β1 and ε2[k2,l2]ζ2]β2 respectively, then there are two possibilities for the upper endpoint of SPAN(i1, i2), namely, ε[max(k1,k2),l1]ζ1]β1 and ε[max(k1,k2),l2]ζ2]β2, where ε=ε1, when k1≧k2, and ε=ε2, when k1≦k2.
Computing the  of a Normalized Spanning Interval
Given an Allen relation r and a set I of intervals, let (r,I) denote the set J of all intervals j such that irj for some iεI. Given an Allen relation r and a normalized spanning interval i, let (r,i) denote a set of normalized spanning intervals whose extension is (r,I), where I is the extension of i. One can compute (r,i) as follows: 



  
    
      
        
        ⁢
        
          ⁢
          
            (
            
              =
              i
            
            )
          
        
        ⁢
        
      
    
    
      
        
        ⁢
        
          Δ
          
            _
            _
          
        
      
    
    
      
        
        ⁢
        
          {
          i
          }
        
      
    
  
  
    
      
        ⁢
        
      
    
    
      
        
        ⁢
        
          Δ
          
            _
            _
          
        
      
    
    
      
        
        ⁢
        
          
            ⋃
            
              
                α
                2
              
              ,
              
                
                  β
                  2
                
                ⁢
                ε
                ⁢
                
                  {
                  
                    T
                    ,
                    F
                  
                  }
                
              
            
          
          ⁢
          
            
              〈
              
                
                   
                
                ⁢
                
                  α
                  2
                
              
            
            ⁢
            
              
                
                  [
                  
                    ⫬
                    
                      
                        β
                        1
                      
                      ⋀
                      
                        ⫬
                        
                          
                            α
                            2
                          
                          ⋀
                          
                            ε
                            1
                          
                        
                      
                    
                  
                
                ⁢
                
                  
                    
                      
                        [
                        
                          
                            k
                            1
                          
                          ,
                          ∞
                        
                        ]
                      
                      
                        T
                        ,
                        T
                      
                    
                    ⁡
                    
                      [
                      
                        
                          -
                          ∞
                        
                        ,
                        ∞
                      
                      ]
                    
                  
                  T
                
                ]
              
              
                β
                2
              
            
            〉
          
        
      
    
  
  
    
    
    
      
        
        ⁢
        
          Δ
          
            _
            _
          
        
      
    
    
      
        
        ⁢
        
          
            ⋃
            
              
                α
                2
              
              ,
              
                
                  β
                  2
                
                ⁢
                ε
                ⁢
                
                  {
                  
                    T
                    ,
                    F
                  
                  }
                
              
            
          
          ⁢
          
            
              〈
              
                
                   
                
                ⁢
                
                  α
                  2
                
              
            
            ⁢
            
              
                
                  [
                  T
                
                ⁢
                
                  
                    
                      
                        [
                        
                          
                            -
                            ∞
                          
                          ,
                          ∞
                        
                        ]
                      
                      
                        T
                        ,
                        T
                      
                    
                    ⁡
                    
                      [
                      
                        
                          -
                          ∞
                        
                        ,
                        
                          j
                          1
                        
                      
                      ]
                    
                  
                  
                    ⫬
                    
                      
                        α
                        1
                      
                      ⋀
                      
                        ⫬
                        
                          
                            β
                            2
                          
                          ⋀
                          
                            δ
                            1
                          
                        
                      
                    
                  
                
                ]
              
              
                β
                2
              
            
            〉
          
        
      
    
  
  
    
    
    
      
        
        ⁢
        
          Δ
          
            _
            _
          
        
      
    
    
      
        
        ⁢
        
          
            ⋃
            
              
                β
                2
              
              ⁢
              ε
              ⁢
              
                {
                
                  T
                  ,
                  F
                
                }
              
            
          
          ⁢
          
            
              〈
              
                ⫬
                
                  β
                  1
                
              
            
            ⁢
            
              
                
                  [
                  
                    
                       
                    
                    ⁢
                    
                      ε
                      1
                    
                  
                
                ⁢
                
                  
                    
                      
                        [
                        
                          
                            k
                            1
                          
                          ,
                          
                            l
                            1
                          
                        
                        ]
                      
                      
                        
                          ζ
                          1
                        
                        ,
                        T
                      
                    
                    ⁡
                    
                      [
                      
                        
                          -
                          ∞
                        
                        ,
                        ∞
                      
                      ]
                    
                  
                  T
                
                ]
              
              
                β
                2
              
            
            〉
          
        
      
    
  
  
    
    
    
      
        
        ⁢
        
          Δ
          
            _
            _
          
        
      
    
    
      
        
        ⁢
        
          
            ⋃
            
              
                α
                2
              
              ⁢
              ε
              ⁢
              
                {
                
                  T
                  ,
                  F
                
                }
              
            
          
          ⁢
          
            
              〈
              
                
                   
                
                ⁢
                
                  α
                  2
                
              
            
            ⁢
            
              
                
                  [
                  T
                
                ⁢
                
                  
                    
                      
                        [
                        
                          
                            -
                            ∞
                          
                          ,
                          ∞
                        
                        ]
                      
                      
                        T
                        ,
                        
                          γ
                          1
                        
                      
                    
                    ⁡
                    
                      [
                      
                        
                          i
                          1
                        
                        ,
                        
                          j
                          1
                        
                      
                      ]
                    
                  
                  
                    δ
                    1
                  
                
                ]
              
              
                ⫬
                
                  α
                  1
                
              
            
            〉
          
        
      
    
  
  
    
    
    
      
        
        ⁢
        
          Δ
          
            _
            _
          
        
      
    
    
      
        
        ⁢
        
          
            ⋃
            
              
                α
                2
              
              ,
              
                
                  β
                  2
                
                ⁢
                ε
                ⁢
                
                  {
                  
                    T
                    ,
                    F
                  
                  }
                
              
            
          
          ⁢
          
            
              〈
              
                
                   
                
                ⁢
                
                  α
                  2
                
              
            
            ⁢
            
              
                
                  [
                  
                    
                       
                    
                    ⁢
                    
                      
                        α
                        1
                      
                      ⋀
                      
                        ⫬
                        
                          
                            α
                            2
                          
                          ⋀
                          
                            γ
                            1
                          
                        
                      
                    
                  
                
                ⁢
                
                  
                    
                      
                        [
                        
                          
                            i
                            1
                          
                          ,
                          
                            l
                            1
                          
                        
                        ]
                      
                      
                        
                          
                            β
                            1
                          
                          ⋀
                          
                            α
                            2
                          
                          ⋀
                          
                            ζ
                            1
                          
                        
                        ,
                        
                          ⫬
                          
                            
                              β
                              1
                            
                            ⋀
                            
                              β
                              2
                            
                            ⋀
                            
                              ε
                              1
                            
                          
                        
                      
                    
                    ⁡
                    
                      [
                      
                        
                          k
                          1
                        
                        ,
                        ∞
                      
                      ]
                    
                  
                  T
                
                ]
              
              
                β
                2
              
            
            〉
          
        
      
    
  
  
    
      
        
        ⁢
        
          ⁢
          
            (
            
              oi
              ⁢
              
                
                  ,
                  
                    α
                    1
                  
                
                ⁢
                
                  
                    
                      [
                      
                        
                           
                        
                        ⁢
                        
                          γ
                          1
                        
                      
                    
                    ⁢
                    
                      
                        
                          
                            [
                            
                              
                                i
                                1
                              
                              ,
                              
                                j
                                1
                              
                            
                            ]
                          
                          
                            
                              δ
                              1
                            
                            ,
                            
                              ε
                              1
                            
                          
                        
                        ⁡
                        
                          [
                          
                            
                              k
                              1
                            
                            ,
                            
                              l
                              1
                            
                          
                          ]
                        
                      
                      
                        ζ
                        1
                      
                    
                    ]
                  
                  
                    β
                    1
                  
                
              
            
            )
          
        
      
    
    
      
        
        ⁢
        
          Δ
          
            _
            _
          
        
      
    
    
      
        
        ⁢
        
          
            ⋃
            
              
                α
                2
              
              ⁢
              ε
              ⁢
              
                {
                
                  T
                  ,
                  F
                
                }
              
            
          
          ⁢
          
            
              〈
              
                
                   
                
                ⁢
                
                  α
                  2
                
              
            
            ⁢
            
              
                
                  [
                  T
                
                ⁢
                
                  
                    
                      
                        [
                        
                          
                            -
                            ∞
                          
                          ,
                          
                            j
                            1
                          
                        
                        ]
                      
                      
                        
                          ⫬
                          
                            
                              α
                              1
                            
                            ⋀
                            
                              α
                              2
                            
                            ⋀
                            
                              δ
                              1
                            
                          
                        
                        ,
                        
                          
                            α
                            1
                          
                          ⋀
                          
                            β
                            2
                          
                          ⋀
                          
                            γ
                            1
                          
                        
                      
                    
                    ⁡
                    
                      [
                      
                        
                          i
                          1
                        
                        ,
                        
                          l
                          1
                        
                      
                      ]
                    
                  
                  
                    
                      β
                      1
                    
                    ⋀
                    
                      ⫬
                      
                        
                          β
                          2
                        
                        ⋀
                        
                          ζ
                          1
                        
                      
                    
                  
                
                ]
              
              
                β
                2
              
            
            〉
          
        
      
    
  
  
    
      
        
        ⁢
        
          ⁢
          
            (
            
              s
              ⁢
              
                
                  ,
                  
                    α
                    1
                  
                
                ⁢
                
                  
                    
                      [
                      
                        
                           
                        
                        ⁢
                        
                          γ
                          1
                        
                      
                    
                    ⁢
                    
                      
                        
                          
                            [
                            
                              
                                i
                                1
                              
                              ,
                              
                                j
                                1
                              
                            
                            ]
                          
                          
                            
                              δ
                              1
                            
                            ,
                            
                              ε
                              1
                            
                          
                        
                        ⁡
                        
                          [
                          
                            
                              k
                              1
                            
                            ,
                            
                              l
                              1
                            
                          
                          ]
                        
                      
                      
                        ζ
                        1
                      
                    
                    ]
                  
                  
                    β
                    1
                  
                
              
            
            )
          
        
      
    
    
      
        
        ⁢
        
          Δ
          
            _
            _
          
        
      
    
    
      
        
        ⁢
        
          
            ⋃
            
              
                β
                2
              
              ⁢
              ε
              ⁢
              
                {
                
                  T
                  ,
                  F
                
                }
              
            
          
          ⁢
          
            
              〈
              
                
                   
                
                ⁢
                
                  α
                  1
                
              
            
            ⁢
            
              
                
                  [
                  
                    
                       
                    
                    ⁢
                    
                      γ
                      1
                    
                  
                
                ⁢
                
                  
                    
                      [
                      
                        
                          i
                          1
                        
                        ,
                        
                          j
                          1
                        
                      
                      ]
                    
                    
                      δ
                      1
                    
                  
                  ⁢
                  
                    ,
                    
                      ⫬
                      
                        
                          β
                          1
                        
                        ⋀
                        
                          β
                          2
                        
                        ⋀
                        
                          ε
                          1
                        
                      
                    
                  
                  ⁢
                  
                    
                      [
                      
                        
                          k
                          1
                        
                        ,
                        ∞
                      
                      ]
                    
                    T
                  
                
                ]
              
              
                β
                2
              
            
            〉
          
        
      
    
  
  
    
      
        
        ⁢
        
          ⁢
          
            (
            
              si
              ⁢
              
                
                  ,
                  
                    α
                    1
                  
                
                ⁢
                
                  
                    
                      [
                      
                        
                           
                        
                        ⁢
                        
                          γ
                          1
                        
                      
                    
                    ⁢
                    
                      
                        
                          
                            [
                            
                              
                                i
                                1
                              
                              ,
                              
                                j
                                1
                              
                            
                            ]
                          
                          
                            
                              δ
                              1
                            
                            ,
                            
                              ε
                              1
                            
                          
                        
                        ⁡
                        
                          [
                          
                            
                              k
                              1
                            
                            ,
                            
                              l
                              1
                            
                          
                          ]
                        
                      
                      
                        ζ
                        1
                      
                    
                    ]
                  
                  
                    β
                    1
                  
                
              
            
            )
          
        
      
    
    
      
        
        ⁢
        
          Δ
          
            _
            _
          
        
      
    
    
      
        
        ⁢
        
          
            ⋃
            
              
                β
                2
              
              ⁢
              ε
              ⁢
              
                {
                
                  T
                  ,
                  F
                
                }
              
            
          
          ⁢
          
            
              〈
              
                
                   
                
                ⁢
                
                  α
                  1
                
              
            
            ⁢
            
              
                
                  [
                  
                    
                       
                    
                    ⁢
                    
                      γ
                      1
                    
                  
                
                ⁢
                
                  
                    
                      [
                      
                        
                          i
                          1
                        
                        ,
                        
                          j
                          1
                        
                      
                      ]
                    
                    
                      δ
                      1
                    
                  
                  ,
                  
                    
                      [
                      
                        
                          -
                          ∞
                        
                        ,
                        
                          l
                          1
                        
                      
                      ]
                    
                    
                      
                        β
                        1
                      
                      ⋀
                      
                        ⫬
                        
                          
                            β
                            2
                          
                          ⋀
                          
                            ζ
                            1
                          
                        
                      
                    
                    
                    
                      T
                      
                  
                
                ]
              
              
                β
                2
              
            
            〉
          
        
      
    
  
  
    
      
        
        ⁢
        
          ⁢
          
            (
            
              f
              ⁢
              
                
                  ,
                  
                    α
                    1
                  
                
                ⁢
                
                  
                    
                      [
                      
                        
                           
                        
                        ⁢
                        
                          γ
                          1
                        
                      
                    
                    ⁢
                    
                      
                        
                          
                            [
                            
                              
                                i
                                1
                              
                              ,
                              
                                j
                                1
                              
                            
                            ]
                          
                          
                            
                              δ
                              1
                            
                            ,
                            
                              ε
                              1
                            
                          
                        
                        ⁡
                        
                          [
                          
                            
                              k
                              1
                            
                            ,
                            
                              l
                              1
                            
                          
                          ]
                        
                      
                      
                        ζ
                        1
                      
                    
                    ]
                  
                  
                    β
                    1
                  
                
              
            
            )
          
        
      
    
    
      
        
        ⁢
        
          Δ
          
            _
            _
          
        
      
    
    
      
        
        ⁢
        
          
            ⋃
            
              
                α
                2
              
              ⁢
              ε
              ⁢
              
                {
                
                  T
                  ,
                  F
                
                }
              
            
          
          ⁢
          
            
              〈
              
                
                   
                
                ⁢
                
                  α
                  2
                
              
            
            ⁢
            
              
                
                  [
                  T
                
                ⁢
                
                  
                    
                      
                        [
                        
                          
                            -
                            ∞
                          
                          ,
                          
                            j
                            1
                          
                        
                        ]
                      
                      
                        
                          ⫬
                          
                            
                              α
                              1
                            
                            ⋀
                            
                              α
                              2
                            
                            ⋀
                            
                              δ
                              1
                            
                          
                        
                        ,
                        
                          ε
                          1
                        
                      
                    
                    ⁡
                    
                      [
                      
                        
                          k
                          1
                        
                        ,
                        
                          l
                          1
                        
                      
                      ]
                    
                  
                  
                    ζ
                    1
                  
                
                ]
              
              
                β
                1
              
            
            〉
          
        
      
    
  
  
    
      
        
        ⁢
        
          ⁢
          
            (
            
              fi
              ⁢
              
                
                  ,
                  
                    α
                    1
                  
                
                ⁢
                
                  
                    
                      [
                      
                        
                           
                        
                        ⁢
                        
                          γ
                          1
                        
                      
                    
                    ⁢
                    
                      
                        
                          
                            [
                            
                              
                                i
                                1
                              
                              ,
                              
                                j
                                1
                              
                            
                            ]
                          
                          
                            
                              δ
                              1
                            
                            ,
                            
                              ε
                              1
                            
                          
                        
                        ⁡
                        
                          [
                          
                            
                              k
                              1
                            
                            ,
                            
                              l
                              1
                            
                          
                          ]
                        
                      
                      
                        ζ
                        1
                      
                    
                    ]
                  
                  
                    β
                    1
                  
                
              
            
            )
          
        
      
    
    
      
        
        ⁢
        
          Δ
          
            _
            _
          
        
      
    
    
      
        
        ⁢
        
          
            ⋃
            
              
                α
                2
              
              ⁢
              ε
              ⁢
              
                {
                
                  T
                  ,
                  F
                
                }
              
            
          
          ⁢
          
            
              〈
              
                
                   
                
                ⁢
                
                  α
                  2
                
              
            
            ⁢
            
              
                
                  [
                  
                    
                       
                    
                    ⁢
                    
                      
                        α
                        1
                      
                      ⋀
                      
                        ⫬
                        
                          
                            α
                            2
                          
                          ⋀
                          
                            γ
                            1
                          
                        
                      
                    
                  
                
                ⁢
                
                  
                    
                      [
                      
                        
                          i
                          1
                        
                        ,
                        ∞
                      
                      ]
                    
                    T
                  
                  ⁢
                  
                    ,
                    
                      ε
                      1
                    
                  
                  ⁢
                  
                    
                      [
                      
                        
                          k
                          1
                        
                        ,
                        
                          l
                          1
                        
                      
                      ]
                    
                    
                      ζ
                      1
                    
                  
                
                ]
              
              
                β
                1
              
            
            〉
          
        
      
    
  
  
    
      
        
        ⁢
        
          ⁢
          
            (
            
              d
              ⁢
              
                
                  ,
                  
                    α
                    1
                  
                
                ⁢
                
                  
                    
                      [
                      
                        
                           
                        
                        ⁢
                        
                          γ
                          1
                        
                      
                    
                    ⁢
                    
                      
                        
                          
                            [
                            
                              
                                i
                                1
                              
                              ,
                              
                                j
                                1
                              
                            
                            ]
                          
                          
                            
                              δ
                              1
                            
                            ,
                            
                              ε
                              1
                            
                          
                        
                        ⁡
                        
                          [
                          
                            
                              k
                              1
                            
                            ,
                            
                              l
                              1
                            
                          
                          ]
                        
                      
                      
                        ζ
                        1
                      
                    
                    ]
                  
                  
                    β
                    1
                  
                
              
            
            )
          
        
      
    
    
      
        
        ⁢
        
          Δ
          
            _
            _
          
        
      
    
    
      
        
        ⁢
        
          
            ⋃
            
              
                α
                2
              
              ,
              
                
                  β
                  2
                
                ⁢
                ε
                ⁢
                
                  {
                  
                    T
                    ,
                    F
                  
                  }
                
              
            
          
          ⁢
          
            
              〈
              
                
                   
                
                ⁢
                
                  α
                  2
                
              
            
            ⁢
            
              
                
                  [
                  T
                
                ⁢
                
                  
                    
                      [
                      
                        
                          -
                          ∞
                        
                        ,
                        
                          j
                          1
                        
                      
                      ]
                    
                    
                      
                        ⫬
                        
                          
                            α
                            1
                          
                          ⋀
                          
                            α
                            2
                          
                          ⋀
                          
                            δ
                            1
                          
                        
                      
                      ,
                    
                  
                  ⁢
                  
                    ,
                    
                      ⫬
                      
                        
                          β
                          1
                        
                        ⋀
                        
                          β
                          2
                        
                        ⋀
                        
                          ε
                          1
                        
                      
                    
                  
                  ⁢
                  
                    
                      [
                      
                        
                          k
                          1
                        
                        ,
                        ∞
                      
                      ]
                    
                    T
                  
                
                ]
              
              
                β
                2
              
            
            〉
          
        
      
    
  
  
    
      
        
        ⁢
        
          ⁢
          
            (
            
              di
              ⁢
              
                
                  ,
                  
                    α
                    1
                  
                
                ⁢
                
                  
                    
                      [
                      
                        
                           
                        
                        ⁢
                        
                          γ
                          1
                        
                      
                    
                    ⁢
                    
                      
                        
                          
                            [
                            
                              
                                i
                                1
                              
                              ,
                              
                                j
                                1
                              
                            
                            ]
                          
                          
                            
                              δ
                              1
                            
                            ,
                            
                              ε
                              1
                            
                          
                        
                        ⁡
                        
                          [
                          
                            
                              k
                              1
                            
                            ,
                            
                              l
                              1
                            
                          
                          ]
                        
                      
                      
                        ζ
                        1
                      
                    
                    ]
                  
                  
                    β
                    1
                  
                
              
            
            )
          
        
      
    
    
      
        
        ⁢
        
          Δ
          
            _
            _
          
        
      
    
    
      
        
        ⁢
        
          
            ⋃
            
              
                α
                2
              
              ,
              
                
                  β
                  2
                
                ⁢
                ε
                ⁢
                
                  {
                  
                    T
                    ,
                    F
                  
                  }
                
              
            
          
          ⁢
          
            
              〈
              
                
                   
                
                ⁢
                
                  α
                  2
                
              
            
            ⁢
            
              
                
                  [
                  
                    
                       
                    
                    ⁢
                    
                      
                        α
                        1
                      
                      ⋀
                      
                        ⫬
                        
                          
                            α
                            2
                          
                          ⋀
                          
                            γ
                            1
                          
                        
                      
                    
                  
                
                ⁢
                
                  
                    
                      
                        [
                        
                          
                            i
                            1
                          
                          ,
                          ∞
                        
                        ]
                      
                      
                        T
                        ,
                        T
                      
                    
                    ⁡
                    
                      [
                      
                        
                          -
                          ∞
                        
                        ,
                        
                          l
                          1
                        
                      
                      ]
                    
                  
                  
                    
                      β
                      1
                    
                    ⋀
                    
                      ⫬
                      
                        
                          β
                          2
                        
                        ⋀
                        
                          ζ
                          1
                        
                      
                    
                  
                
                ]
              
              
                β
                2
              
            
            〉
          
        
      
    
  




An important property of normalized spanning intervals is that for any normalized spanning interval i, (r,i) contains at most 1, 4, 4, 2, 2, 4, 4, 2, 2, 2, 2, 4, or 4 normalized spanning intervals when r is =, <, >, m, mi, o, oi, s, si, f, fi, d, or di respectively. In practice, however, fewer normalized spanning intervals are needed, often only one.
The intuition behind the above definition is as follows. Let us handle each of the cases separately.

    r=< For any intervals i′1 and i′2 in the extensions of i1 and i2 respectively we want i′1<i′2. From (2) we get r1≦β1α2q2. And from (14) we get k1≦ε1r1. Combining these we get k1≦β1α2ε1q2. In this case, both α2 and β2 are free indicating that either endpoint of i′2 can be open or closed.
    r=> For any intervals i′1 and i′2 in the extensions of i1 and i2 respectively we want i′1>i′2. From (3) we get q1≧α1β2r2. And from (14) we get q1≦δ1j1. Combining these we get r2≦α1β2δ1j1. In this case, both α2 and β2 are free indicating that either endpoint of i′2 can be open or closed.
    r=m For any intervals i′1 and i′2 in the extensions of i1 and i2 respectively we want i′1 mi′2. From (4) we get r1=q2and β1≠α2. And from (14) we get k1≦ε1r1≦ζ1l1. Combining these we get k1≦ε1q2≦ζ1l1 and β1≠α2. In this case, only β2 is free indicating that the upper endpoint of i′2 can be open or closed.
    r=mi For any intervals i′1 and i′2 in the extensions of i1 and i2 respectively we want i′1 mi i′2. From (5) we get q1=r2 and α1≠β2. And from (14) we get i1≦γ1q1≦δ1j1. Combining these we get i1≦γ1r2≦δ1j1 and α1≠β2. In this case, only α2 is free indicating that the lower endpoint of i′2 can be open or closed.
    r=o For any intervals i′1 and i′2 in the extensions of i1 and i2 respectively we want i′1 oi′2. From (6) we get q1≦α1α2q2≦β1α2r1≦β1β2r2. And from (14) we get i1≦γ1q1 and k1≦ε1r1≦ζ1l1. Combining these we get i1≦α1α2γ1q2≦β1α2ζ1l1 and k1≦β1β2ε1r2. In this case, both α2 and β2 are free indicating that either endpoint of i′2 can be open or closed.
    r=oi For any intervals i′1 and i′2 in the extensions of i1 and i2 respectively we want i′1 oii′2. From (7) we get q2≦α1α2q1≦α1β2r2≦β1β2r1. And from (14) we get r1≦ζ1l1 and i1≦γ1q1≦δ1j1. Combining these we get i1≦α1β2γ1r2≦β1β2ζ1l1 and q2≦α1α2δ1j1. In this case, both α2 and β2 are free indicating that either endpoint of i′2 can be open or closed.
    r=s For any intervals i′1 and i′2 in the extensions of i1 and i2 respectively we want i′1 si′2. From (8) we get q1=q2, α1=α2, and r1≦β1β2r2. And for (14) we get i1≦γ1q1≦δ1j1 and k1≦ε1r1. Combining these we get α1=α2. i1≦γ1q2≦δ1j1, and k1≦β1β2ε1r2. In this case, only β2 is free indicating that the upper endpoint of i′2 can be open or closed.
    r=si For any intervals i′1 and i′2 in the extensions of i1 and i2 respectively we want i′1 si i′2. From (9) we get q1=q2, α1=α2, and r1≧β1β2r2. And from (14) we get i1≦γ1q1≦δ1j1 and r1≦ζ1l1. Combining these we get α1=α2, i1≦γ1q2≦δ1j1, and r2≦β1β2ζ1l1. In this case, only β2 is free indicating that the upper endpoint of i′2 can be open or closed.
    r=f For any intervals i′1 and i′2 in the extensions of i1 and i2 respectively we want i′1 f i′2. From (10) we get q1≧α1α2q2, r1=r2, and β1=β2. And from (14) we get k1≦ε1r1≦ζ1l1 and q1≦δ1j1. Combining these we get β1=β2, k1≦ε1r2≦ζ1l1, and q2≦α1α2δ1j1. In this case, only α2 is free indicating that the lower endpoint of i′2 can be open or closed.
    r=fi For any intervals i′1 and i′2 in the extensions of i1 and i2 respectively we want i′1 fi i′2. From (11) we get q1≧α1α2q2, r1=r2, and β1=β2. And form (14) we get k1≦ε1r1≦ζ1l1 and i1≦γ1q1. Combining these we get β1=β2, k1≦ε1r2≦ζ1l1, and i1≦α1α2γ1q2. In this case, only α2 is free indicating that the lower endpoint of i′2 can be open or closed.
    r=d For any intervals i′1 and i′2 in the extensions of i1 and i2 respectively we want i′1 di′2. From (12) we get q1≧α1α2q2 and r1≦β2β2r2. And from (14) we get q1≦δ1j1 and k1≦ε1r1. Combining these we get q2≦α1α2δ1j1 and k1≦β1β2ε1r2. In this case, both α2 and β2 are free indicating that either endpoint of i′2 can be open or closed.
    r=di For any intervals i′1 and i′2 in the extensions of i1 and i2 respectively we want i′1 di i′2. From (13) we get q1≦α1α2q2, and r1≧β1β2r2. And from (14) we get i1≦γ1q1 and r1≦ζ1l1. Combining these we get i1≦α1α2γ1q2 and r2≦β1β2ζ1l1. In this case, both α2 and β2 are free indicating that either endpoint of i′2 can be open or closed.

Computing the  of Two Normalized Spanning Intervals



Given an Allen relation r and two sets I and J of intervals, let (I,r,J) denote the set K of all intervals k such that k=SPAN(i,j) for some iεI and jεJ, where irj. Given an Allen relation r and two normalized spanning intervals i and j, let (i,r,j) denote a set of normalized spanning intervals whose extension is (I,r,J), where I and J are the extensions of i and j respectively. One can compute (i,r,j) as follows: 



  
    ⁢
    
      Δ
      
        _
        _
      
    
  
  ⁢
  
    ⋃
    
      
        i
        ′
      
      ⁢
      ε
      ⁢
    
  
  ⁢
  
    
      ⋃
      
        
          
            i
            ′
          
          ⁢
          ε
          ⁢
          
             
          
          ⁢
          
            i
            ′
          
        
        ⋂
        i
      
    
    ⁢
    
      
        ⋃
        
          
            j
            ′
          
          ⁢
          ε
          ⁢
        
      
      ⁢
      
        
          ⋃
          
            
              
                j
                ′
              
              ⁢
              ε
              ⁢
              
                 
              
              ⁢
              
                j
                ′
              
            
            ⋂
            j
          
        
        ⁢
        
          SPAN
          ⁡
          
            (
            
              
                i
                ′′
              
              ,
              
                j
                ′′
              
            
            )
          
        
      
    
  




It is easy to see that |(·,r,·)|≦4|(r,·)|2. Thus an important property of normalized spanning intervals is that for any two normalized spanning intervals i and j, (i,r,j) contains at most 4, 64, 64, 16, 16, 64, 64, 16, 16, 16, 16, 64, or 64 normalized spanning intervals, when r is =, <, >, m, mi, o, oi, s, si, f, fi, d, or di respectively. While simple combinatorial enumeration yields the above weak bounds on the number of normalized spanning intervals needed to represent (i,r,j), in practice, far fewer normalized spanning intervals are needed, in most cases only one.

The intuition behind the above definition is as follows. Let I and J be the extensions of i and j respectively. The extension of the set of all i′ is the set of all intervals i such that irj for some j in J. And the extension of the set of all i′′ is the set of all intervals i in I such that irj for some j in J. Similarly, the extension of the set of all j′ is the set of all intervals j such that irj for some i in I. And the extension of the set of all j′′ is the set of all intervals j in J such that irj for some i in I. Thus the extension of the set of all SPAN(i′′j′′) is the set of all intervals k such that k=SPAN(i,j) where i is in I, j is in J, and irj.
An Efficient Inference Procedure for Event Logic
Given the above procedures for computing <i>, i1∩i2, i, SPAN(i1, i2), (r, i), and (i,r,j), one can now define a procedure for computing ε(M,Φ). This procedure takes a model M along with an event-logic expression Φ and computes a set of normalized spanning intervals that represents the set I of intervals i for which Φ@i is true. The model M is a set of atomic event-occurrence formulae of the form p(c1, . . . , cn)@i, where p(c1, . . . , cn) is a ground primitive event-logic expression and i is a normalized spanning interval. A model entry p(c1, . . . , cn)@i indicates that the primitive event p(c1, . . . , cn) occurred during all intervals in the extension of i. C(M) denotes the set of all constants in all ground primitive event-logic expressions in M. 



  
    
      
        ɛ
        ⁡
        
          (
          
            M
            ,
            
              p
              ⁡
              
                (
                
                  
                    c
                    1
                  
                  ,
                  ...
                  ⁢
                  
                     
                  
                  ,
                  
                    c
                    n
                  
                
                )
              
            
          
          )
        
      
    
    
      
        Δ
        
          _
          _
        
      
    
    
      
        {
        
          i
          |
          
            
              
                p
                ⁡
                
                  (
                  
                    
                      c
                      1
                    
                    ,
                    ...
                    ⁢
                    
                       
                    
                    ,
                    
                      c
                      n
                    
                  
                  )
                
              
              @
              i
            
            ⁢
            
               
            
            ⁢
            ε
            ⁢
            
               
            
            ⁢
            M
          
        
        }
      
    
  
  
    
      
        ɛ
        ⁡
        
          (
          
            M
            ,
            
              Φ
              ⋁
              Ψ
            
          
          )
        
      
    
    
      
        Δ
        
          _
          _
        
      
    
    
      
        
          ɛ
          ⁡
          
            (
            
              M
              ,
              Φ
            
            )
          
        
        ⋃
        
          ɛ
          ⁡
          
            (
            
              M
              ,
              Ψ
            
            )
          
        
      
    
  
  
    
      
        ɛ
        ⁡
        
          (
          
            M
            ,
            
              ∀
              
                x
                ⁢
                
                   
                
                ⁢
                Φ
              
            
          
          )
        
      
    
    
      
        Δ
        
          _
          _
        
      
    
    
      
        
          
            ⋃
            
              
                i
                1
              
              ⁢
              ε
              ⁢
              
                 
              
              ⁢
              
                ɛ
                ⁡
                
                  (
                  
                    M
                    ,
                    
                      Φ
                      ⁡
                      
                        [
                        
                          x
                          :=
                          
                            c
                            1
                          
                        
                        ]
                      
                    
                  
                  )
                
              
            
          
          ⁢
          ...
        
        ⁢
        
          ⋃
          
            
              i
              n
            
            ⁢
            ε
            ⁢
            
               
            
            ⁢
            
              ɛ
              ⁡
              
                (
                
                  M
                  ,
                  
                    Φ
                    ⁡
                    
                      [
                      
                        x
                        :=
                        
                          c
                          n
                        
                      
                      ]
                    
                  
                
                )
              
            
          
        
        ⁢
        
          
            i
            1
          
          ⋂
          ...
          ⋂
          
            i
            n
          
        
      
    
  
  
    
      
         
      
    
    
      
         
      
    
    
      
        
          where
          ⁢
          
             
          
          ⁢
          
            C
            ⁡
            
              (
              M
              )
            
          
        
        =
        
          {
          
            
              c
              1
            
            ,
            ...
            ⁢
            
               
            
            ,
            
              c
              n
            
          
          }
        
      
    
  
  
    
      
        ɛ
        ⁡
        
          (
          
            M
            ,
            
              ∃
              
                x
                ⁢
                
                   
                
                ⁢
                Φ
              
            
          
          )
        
      
    
    
      
        Δ
        
          _
          _
        
      
    
    
      
        
          ⋃
          
            c
            ⁢
            
               
            
            ⁢
            ε
            ⁢
            
               
            
            ⁢
            
              C
              ⁡
              
                (
                M
                )
              
            
          
        
        ⁢
        
          ɛ
          ⁡
          
            (
            
              M
              ,
              
                Φ
                ⁡
                
                  [
                  
                    x
                    :=
                    c
                  
                  ]
                
              
            
            )
          
        
      
    
  
  
    
      
        ɛ
        ⁡
        
          (
          
            M
            ,
            
              ⫬
              Φ
            
          
          )
        
      
    
    
      
        Δ
        
          _
          _
        
      
    
    
      
        
          
            ⋃
            
              
                i
                1
                ′
              
              ⁢
              ε
              ⁢
              
                ⫬
                
                  i
                  1
                
              
            
          
          ⁢
          ...
        
        ⁢
        
          ⋃
          
            
              i
              n
              ′
            
            ⁢
            ε
            ⁢
            
              ⫬
              
                 
              
              ⁢
              
                i
                n
              
            
          
        
        ⁢
        
          
            i
            1
            ′
          
          ⋂
          ...
          ⋂
          
            i
            n
            ′
          
        
      
    
  
  
    
      
         
      
    
    
      
         
      
    
    
      
        
          where
          ⁢
          
             
          
          ⁢
          
            ɛ
            ⁡
            
              (
              
                M
                ,
                Φ
              
              )
            
          
        
        =
        
          {
          
            
              i
              1
            
            ,
            ...
            ⁢
            
               
            
            ,
            
              i
              n
            
          
          }
        
      
    
  
  
    
      
        ɛ
        ⁡
        
          (
          
            M
            ,
            
              Φ
              ⁢
              
                ⋀
                R
              
              ⁢
              Ψ
            
          
          )
        
      
    
    
      
        Δ
        
          _
          _
        
      
    
    
      
        
          ⋃
          
            i
            ⁢
            
               
            
            ⁢
            ε
            ⁢
            
               
            
            ⁢
            
              ɛ
              ⁡
              
                (
                
                  M
                  ,
                  Φ
                
                )
              
            
          
        
        ⁢
        
          
            ⋃
            
              j
              ⁢
              
                 
              
              ⁢
              ε
              ⁢
              
                 
              
              ⁢
              
                ɛ
                ⁡
                
                  (
                  
                    M
                    ,
                    Ψ
                  
                  )
                
              
            
          
          ⁢
          
            
              ⋃
              
                r
                ⁢
                
                   
                
                ⁢
                ε
                ⁢
                
                   
                
                ⁢
                R
              
            
            ⁢
            
              ⁢
              
                (
                
                  i
                  ,
                  r
                  ,
                  j
                
                )
              
            
          
        
      
    
  
  
    
      
        ɛ
        ⁡
        
          (
          
            M
            ,
            
              
                ◇
                R
              
              ⁢
              Φ
            
          
          )
        
      
    
    
      
        Δ
        
          _
          _
        
      
    
    
      
        
          ⋃
          
            i
            ⁢
            
               
            
            ⁢
            ε
            ⁢
            
               
            
            ⁢
            
              ɛ
              ⁡
              
                (
                
                  M
                  ,
                  Φ
                
                )
              
            
          
        
        ⁢
        
          
            ⋃
            
              r
              ⁢
              
                 
              
              ⁢
              ε
              ⁢
              
                 
              
              ⁢
              R
            
          
          ⁢
          
            ⁢
            
              (
              
                r
                ,
                i
              
              )
            
          
        
      
    
  




The procedure performs structural induction on Φ as set forth in more detail in FIG. 2. It computes a set of normalized spanning intervals to the represent the occurrence of each atomic event-logic expression in Φ and recursively combines the sets so computed for each child subexpression to yield the sets for each parent subexpression. An important property of this inference procedure is that for any finite model M, ε(M,Φ), the set I of intervals i for which Φ@i is true, can be represented by a finite set of normalized spanning intervals. Nominally, the number of normalized spanning intervals in ε(M,Φ) can be exponential in the subexpression depth of Φ because each step in the structural induction can introduce a constant factor growth in the size of the set. However, in practice, such exponential growth does not occur.
EXAMPLE
The methods of the present invention have been implemented as a computer system for recognizing events in video sequences. However, the recognition of events in video sequences is given by way of example only and not to limit the scope or spirit of the present invention. Those skilled in the art will realize that there are many other applications for the methods of the present invention.
The computer system takes short (typically 30 to 120 frame) video sequences as input. These video sequences depict a person performing various actions with colored blocks, such as pick up, put down, stack, unstack, move, assemble, and disassemble. A video sequence can depict no defined action, one defined action, or multiple defined actions. Multiple defined actions may be sequential and/or simultaneous and may be the same action or different actions. The computer system labels each video sequence with the actions that are being performed as well as the particular interval in the video sequence during which those actions were performed.
This computer system uses the methods of the present invention to perform event classification. FIG. 3 shows the primitive event types used by this computer system. The intervals in the input video sequences during which these primitive event types hold are computed using techniques in the prior art. These intervals, however, are represented as spanning intervals introduced by the present invention. This specification of the primitive event types and the mechanism for computing the intervals corresponding to their occurrence in input video sequences constitutes an application of steps 102 and 106 as shown in FIG. 1. FIG. 4 shows the compound event types used by this computer system. These compound event types are specified as event-logic expressions over the primitive event types from FIG. 3. This specification of the compound event types constitutes an application of step 104 as shown in FIG. 1.
PICKUP (x, y, z) denotes an event type where x picks y up off of z. It is specified as a sequence of three intervals, where x is not attached to and does not support y in the first interval but is attached to and does support y in the third interval. And z supports y in the first interval but does not support y in the third interval. Additionally, several conditions must hold in both the first and third intervals: x must be unsupported, y must not support either z or x, x and z must not support each other, and y must not be attached to z. During the second interval, intermediate between the first and third intervals, either x is attached to y or y is attached to z. Additionally, several conditions must hold throughout the entire event: x, y, and z must be distinct and y must be supported. PUTDOWN (x, y, z) denotes an event type where x puts y down on z. It is specified in a fashion that is similar to PICKUP (x, y, z) but where the three subevents occur in reverse order. STACK (w, x, y, z) denotes an event type where w puts x down on y which is resting on z. It is specified as PUTDOWN (w, x, y), where z supports but is not attached to y and z is distinct from w, x, and y. UNSTACK (w, x, y, z) denotes an event type where w picks x up off of y which is resting on z. It is specified as PICKUP (w, x, y), where z supports but is not attached to y and z is distinct from w, x, and y. MOVE (w, x, y, z) denotes an event type where w picks x up off of y and puts it down on z which is distinct from y. ASSEMBLE (w, x, y, z) denotes an event type where w first puts y down on z then sometime later stacks x on top of y. Finally, DISASSEMBLE (w, x, y, z) denotes an event type where w first unstacks x from on top of y (which is resting on z) and then sometime later picks y up off of z. FIGS. 5A and 5B show sample movies depicting occurrences of the event types PICKUP (x, y, z) and PUTDOWN (x, y, z), respectively. FIGS. 7A-7E show sample movies depicting occurrences of the event types STACK (w, x, y, z), UNSTACK (w, x, y, z), MOVE (w, x, y, z), ASSEMBLE (w, x, y, z), and DISASSEMBLE (w, x, y, z), respectively.
Nominally, all atomic event-logic expressions are primitive event types. However, we allow giving a name to a compound event-logic expression and using this name in another event-logic expression as short hand for the named expression with appropriate parameter substitution. This is simply a macro-expansion process and, as such, no recursion is allowed. This feature is used in FIG. 4 to define UNSTACK, MOVE, and DISASSEMBLE in terms of PICKUP, STACK, MOVE, and ASSEMBLE in terms of STACK, which is itself defined in terms of PUTDOWN, and DISASSEMBLE in terms of UNSTACK, which is itself defined in terms of PICKUP. 
The methods of the present invention have been applied to compute the occurrences of the compound event types from FIG. 4 from the occurrences of the primitive event types from FIG. 3 as recovered from a number of input video sequences. This constitutes an implementation of step 108 as shown in FIG. 1. FIGS. 6, 8, 10, and 12 show both the primitive event occurrences that have been recovered from the input video sequences in FIGS. 5, 7, 9, and 11 using methods in the prior art as well as the compound event occurrences that have been recognized out of the primitive event occurrences using the methods of the present invention. FIGS. 5A, 5B, and 7A-7E show sample movies that depict the seven compound event types pick up, put down, stack, unstack, move, assemble, and disassemble respectively. The results of applying segmentation, tracking, and model reconstruction methods of the prior art on these video sequences are shown overlayed on the video sequences. FIGS. 6A, 6B, and 8A-8E show the results of applying the event classification methods of the present invention on these movies. These figures show that the computer system implementation of the methods of the present invention correctly recognized the intended event class for each movie.
In FIG. 5A, frames 0 through 1 correspond to the first subevent of a pick up event, frames 2 through 13 correspond to the second subevent, and frames 14 through 22 correspond to the third subevent. In FIG. 5B, frames 0 through 13 correspond to the first subevent of a put down event, frames 14 through 22 correspond to the second subevent, and frames 23 through 32 correspond to the third subevent. The computer system correctly recognized these as instances of pick up and put down respectively. In FIG. 7A, frames 0 through 11, 12 through 23, and 24 through 30 correspond to the three subevents of a put down event. The computer system correctly recognized this as a put down event and also as a stack event. In FIG. 7B, frames 0 through 10, 11 through 24, and 25 through 33 correspond to the three subevents of a pick up event. The computer system correctly recognized this as a pick up event and also as an unstack event. In FIG. 7C, frames 0 through 8, 9 through 16, and 17 through 45 correspond to the three subevents of a pick up event and frames 17 through 33, 34 through 45, and 46 through 52 correspond to the three subevents of aput down event. The computer system correctly recognized the combination of these two events as a move event. In FIG. 7D, frames 18 through 32, 33 through 40, and 41 through 46 correspond to the three subevents of a put down event and frames 57 through 67 and 68 through 87 correspond to the first and third subevents of a second put down event, with the second subevent being empty. The latter put down event was also correctly recognized as a stack event and the combination of these two events was correctly recognized as an assemble event. In FIG. 7E, frames 18, 19 through 22, and 23 through 50 correspond to the three subevents of a pick up event and fames 23 through 56, 57 through 62, and 63 through 87 correspond to the three subevents of a second pick up event. The former pick up event was also correctly recognized as an unstack event and the combination of these two events was correctly recognized as a disassemble event. These examples show that the computer system correctly recognized each of the seven event types with no false positives.
As discussed in the introduction, using force dynamics and event logic to recognize events offers several advantages over the prior art of using motion profile and hidden Markov models. These advantages are:

    
    
        (1) robustness against variance in motion profile;
        (2) robustness against presence of extraneous objects in the field of view;
        (3) ability to perform temporal and spatial segmentation of events; and
        (4) ability to detect non-occurrence of events.
    
    


FIGS. 9A-9D and 10A-10D illustrate the first three of these advantages while FIGS. 11A, 11B, 12A, and 12B illustrate the third. FIG. 9A shows a pick up event from the left in contrast to FIG. 5A which is from the right. Even though these have different motion profiles, FIG. 10A shows that the computer system correctly recognized that these exhibit the same sequence of changes in force-dynamic relations and constitute the same event type, namely pick up. FIG. 9B shows a pick up event with two extraneous blocks in the field of view. FIG. 10B shows that the computer system correctly recognized that these extraneous blocks do not participate in any events and, despite their presence, the truth conditions for a pick up event still hold between the other objects. FIG. 9C shows a pick up event, followed by a put down event, followed by another pick up event, followed by another put down event. FIG. 10C shows that the computer system correctly recognizes this sequence of four event occurrences. FIG. 9D shows two simultaneous pick up events. FIG. 10D shows that the computer system correctly recognized these two simultaneous event occurrences. Finally, FIGS. 11A and 11B show two non-events. FIGS. 12A and 12B show that the computer system is not fooled into thinking that these constitute pick up or put down events, even though portions of these events have similar motion profile to pick up and put down events. Therefore, the computer system correctly recognizes that these movies do not match any known event types.
The methods of the present invention are incorporated in a comprehensive implemented system for recovering event occurrences from video input. It differs from prior approaches to the same problem in two fundamental ways. It uses state changes in the force-dynamic relations between objects, instead of motion profile, as the key descriptive element in defining event types. And it uses event logic, instead of hidden Markov models, to perform event classification. One key result of the methods of the present invention is the formulation of spanning intervals, a novel efficient representation of the infinite sets of intervals that arise when processing liquid and semi-liquid events. A second key result is the formulation of an efficient procedure, based on spanning intervals, for inferring all occurrences of compound event types from occurrences of primitive event types. The techniques of force-dynamic model reconstruction, spanning intervals, and event-logic inference have been used to successfully recognize seven event types from real video: pick up, put down, stack, unstack, move, assemble, and disassemble. Using force-dynamics and event logic to perform event recognition offers four key advantages over the prior art of using motion profile and hidden Markov models. First, it is insensitive to variance in the motion profile of an event occurrence. Second, it is insensitive to the presence of extraneous objects in the field of view. Third, it allows temporal segmentation of sequential and parallel event occurrences. And fourth, it robustly detects the non-occurrence of events as well as their occurrence.
As discussed above, the methods of the present invention are particularly suited to be carried out by a computer software program, such computer software program preferably containing modules corresponding to the individual steps of the methods. Such software can, of course, be embodied in a computer-readable medium, such as an integrated circuit or a peripheral device.
While there has been shown and described what is considered to be preferred embodiments of the invention, it will, of course, be understood that various modifications and changes in form or detail could readily be made without departing from the spirit of the invention. It is therefore intended that the invention be not limited to the exact form described and illustrated, but should be constructed to cover all modifications that may fall within the scope of the appended claims.

## Claims

1. A computer implemented method for recognizing compound events depicted in video sequences, said compound events being determined from occurrences of primitive events depicted in the video sequences, wherein the compound events are defined as a combination of the primitive events, the method comprising the steps of:
(a) defining primitive event types, said primitive event types including: x=y; Supported(x); RigidlyAttached(x, y); Supports(x, y); Contacts(x, y); and Attached(x, y); 
(b) defining combinations of the primitive event types as a compound event type, said compound event type being one of: PickUp(x,y,z); PutDown(x,y,z); Stack(w,x,y,z); Unstack(w,x,y,z); Move(w,x,y,z); Assemble(w,x,y,z); and Disassemble(w,x,y,z); 
(c) inputting, a series of video sequences, said video sequences depicting primitive event occurrences, such occurrences being specified as a set of temporal intervals over which a given primitive event type is true; and 
(d) determining, the compound event occurrences, such occurrences being specified as the set of temporal intervals over which the compound event type is true, wherein the sets of temporal intervals in steps (c) and (d) are specified as smaller sets of spanning intervals, each spanning interval representing a set of all sub-intervals over which the primitive event type holds and wherein the spanning intervals take the form α[γ[i,j]δ,ε[k,l]ζ]β, where α, β, γ, δ, ε, and ζ are Boolean values, i,j,k, and l are real numbers, α[γ[i, j]δ,ε[k,l]ζ]β represents the set of all intervals α[p,q]βwhere i≦γp≦δj and k≦εq≦ζl, α[p,q]β represents the set of all points r, where p≦αr≦βq, and x≦θy means x≦y when θ is true and x<y when θ is false.

2. The method according to claim 1, wherein the compound event type in step (b) is specified as an expression in temporal logic.

3. The method according to claim 2, wherein the temporal logic expressions are constructed the logical connectives ∀, ∃, , R, ⋄R, and , where R ranges over sets of relations between one-dimensional intervals.

4. The method according to claim 3, wherein the relations are =, <, >, m, mi, o, oi, s, si, f, fi, d, and di.

5. The method according to claim 4, wherein the compound event occurrences are computed through the use of the following set of equations: 


  
    
      ɛ
      ⁡
      
        (
        
          M
          ,
          
            p
            ⁡
            
              (
              
                
                  c
                  1
                
                ,
                ...
                ⁢
                
                   
                
                ,
                
                  c
                  n
                
              
              )
            
          
        
        )
      
    
    ⁢
    
      Δ
      
        _
        _
      
    
    ⁢
    
      {
      
        i
        |
        
          
            
              p
              ⁡
              
                (
                
                  
                    c
                    1
                  
                  ,
                  ...
                  ⁢
                  
                     
                  
                  ,
                  
                    c
                    n
                  
                
                )
              
            
            @
            i
          
          ∈
          M
        
      
      }
    
  




  
    
      
        ɛ
        ⁡
        
          (
          
            M
            ,
            
              Φ
              ⋁
              Ψ
            
          
          )
        
      
      ⁢
      
        Δ
        
          _
          _
        
      
      ⁢
      
        ɛ
        ⁡
        
          (
          
            M
            ,
            Φ
          
          )
        
      
    
    ⋃
    
      ɛ
      ⁡
      
        (
        
          M
          ,
          Ψ
        
        )
      
    
  




  
    
      
        ɛ
        ⁡
        
          (
          
            M
            ,
            
              ∀
              
                x
                ⁢
                
                   
                
                ⁢
                Φ
              
            
          
          )
        
      
      ⁢
      
        Δ
        
          _
          _
        
      
    
    ⁢
    
      ⋃
      
        
          i
          1
        
        ∈
        
          ɛ
          ⁡
          
            (
            
              M
              ,
              
                Φ
                ⁡
                
                  [
                  
                    x
                    :=
                    
                      c
                      1
                    
                  
                  ]
                
              
            
            )
          
        
      
    
    ⁢
    ...
    ⁢
    
      ⋃
      
        
          i
          1
        
        ∈
        
          ɛ
          ⁡
          
            (
            
              M
              ,
              
                Φ
                ⁡
                
                  [
                  
                    x
                    :=
                    
                      c
                      n
                    
                  
                  ]
                
              
            
            )
          
        
      
    
    ⁢
    
      
        i
        1
      
      ⋂
      ...
      ⋂
      
        i
        n
      
    
  




  
    
      where
      ⁢
      
         
      
      ⁢
      
        C
        ⁡
        
          (
          M
          )
        
      
    
    =
    
      {
      
        
          c
          1
        
        ,
        ...
        ⁢
        
           
        
        ,
        
          c
          n
        
      
      }
    
  




  
    
      
        ɛ
        ⁡
        
          (
          
            M
            ,
            
              ∃
              
                x
                ⁢
                
                   
                
                ⁢
                Φ
              
            
          
          )
        
      
      ⁢
      
        Δ
        
          _
          _
        
      
    
    ⁢
    
      ⋃
      
        c
        ∈
        
          C
          ⁡
          
            (
            M
            )
          
        
      
    
    ⁢
    
      ɛ
      ⁡
      
        (
        
          M
          ,
          
            Φ
            ⁡
            
              [
              
                x
                :=
                c
              
              ]
            
          
        
        )
      
    
  




  
    
      
        ɛ
        ⁡
        
          (
          
            M
            ,
            
              ⫬
              
                 
              
              ⁢
              Φ
            
          
          )
        
      
      ⁢
      
        Δ
        
          _
          _
        
      
    
    ⁢
    
      ⋃
      
        
          i
          1
          ′
        
        ∈
        
          ⫬
          1
        
      
    
    ⁢
    ...
    ⁢
    
      ⋃
      
        
          i
          n
          ′
        
        ∈
        
          ⫬
          n
        
      
    
    ⁢
    
      
        i
        1
        ′
      
      ⋂
      ...
      ⋂
      
        i
        n
        ′
      
    
  




  
    
      where
      ⁢
      
         
      
      ⁢
      
        ɛ
        ⁡
        
          (
          
            M
            ,
            Φ
          
          )
        
      
    
    =
    
      {
      
        
          i
          1
        
        ,
        ...
        ⁢
        
           
        
        ,
        
          i
          n
        
      
      }
    
  




  
    
      
        ɛ
        ⁡
        
          (
          
            M
            ,
            
              Φ
              ⁢
              
                ⋀
                R
              
              ⁢
              Ψ
            
          
          )
        
      
      ⁢
      
        Δ
        
          _
          _
        
      
    
    ⁢
    
      ⋃
      
        i
        ∈
        
          ɛ
          ⁡
          
            (
            
              M
              ,
              Φ
            
            )
          
        
      
    
    ⁢
    
      
        ⋃
        
          j
          ∈
          
            ɛ
            ⁡
            
              (
              
                M
                ,
                Ψ
              
              )
            
          
        
      
      ⁢
      
        
          ⋃
          
            r
            ∈
            R
          
        
        ⁢
        
          I
          ⁡
          
            (
            
              i
              ,
              r
              ,
              j
            
            )
          
        
      
    
  




  
    
      ɛ
      ⁢
      
        (
        
          M
          ,
          
            ◇
            R
          
          ,
          Φ
        
        )
      
      ⁢
      
        Δ
        
          _
          _
        
      
    
    ⁢
    
      
        ⋃
        
          i
          ∈
          
            ɛ
            ⁡
            
              (
              
                M
                ,
                Φ
              
              )
            
          
        
      
      ⁢
      
        
          ⋃
          
            r
            ∈
            R
          
        
        ⁢
        
          
            D
            ⁡
            
              (
              
                r
                ,
                i
              
              )
            
          
          ⁢
          
             
            
              

            
            ⁢
            
              where
              ,
              
                

              
              ⁢
              
                
                  
                    〈
                    α
                  
                  ⁢
                  
                    
                      
                        [
                        γ
                      
                      ⁢
                      
                        
                          
                            
                              [
                              
                                i
                                ,
                                j
                              
                              ]
                            
                            
                              δ
                              ,
                              ε
                            
                          
                          ⁡
                          
                            [
                            
                              k
                              ,
                              l
                            
                            ]
                          
                        
                        ζ
                      
                      ]
                    
                    β
                  
                  〉
                
                ⁢
                
                  Δ
                  
                    _
                    _
                  
                
                ⁢
                
                  {
                  
                    
                      
                        
                          
                            
                              
                              ⁢
                              
                                
                                  {
                                  α
                                
                                ⁢
                                
                                  
                                    
                                      [
                                      
                                        γ
                                        ′
                                      
                                    
                                    ⁢
                                    
                                      
                                        
                                          
                                            [
                                            
                                              i
                                              ,
                                              
                                                j
                                                ′
                                              
                                            
                                            ]
                                          
                                          
                                            
                                              δ
                                              ′
                                            
                                            ,
                                            
                                              ε
                                              ′
                                            
                                          
                                        
                                        ⁡
                                        
                                          [
                                          
                                            
                                              k
                                              ′
                                            
                                            ,
                                            l
                                          
                                          ]
                                        
                                      
                                      
                                        ζ
                                        ′
                                      
                                    
                                    ]
                                  
                                  β
                                
                                }
                              
                            
                          
                        
                        
                          
                            
                              
                              ⁢
                              
                                
                                  where
                                  ⁢
                                  
                                     
                                  
                                  ⁢
                                  
                                    j
                                    ′
                                  
                                
                                =
                                
                                  min
                                  ⁡
                                  
                                    (
                                    
                                      j
                                      ,
                                      l
                                    
                                    )
                                  
                                
                              
                            
                          
                        
                        
                          
                            
                              
                              ⁢
                              
                                
                                  k
                                  ′
                                
                                =
                                
                                  max
                                  ⁡
                                  
                                    (
                                    
                                      k
                                      ,
                                      i
                                    
                                    )
                                  
                                
                              
                            
                          
                        
                        
                          
                            
                              
                              ⁢
                              
                                
                                  γ
                                  ′
                                
                                =
                                
                                  
                                    γ
                                    ⋀
                                    i
                                  
                                  ≠
                                  
                                    -
                                    ∞
                                  
                                
                              
                            
                          
                        
                        
                          
                            
                              
                              ⁢
                              
                                
                                  δ
                                  ′
                                
                                =
                                
                                  
                                    δ
                                    ⋀
                                    
                                      min
                                      ⁡
                                      
                                        (
                                        
                                          j
                                          ,
                                          l
                                        
                                        )
                                      
                                    
                                  
                                  ≠
                                  
                                    ∞
                                    ⋀
                                    
                                      (
                                      
                                        j
                                        <
                                        
                                          l
                                          ⋁
                                          
                                            ζ
                                            ⋀
                                            α
                                            ⋀
                                            β
                                          
                                        
                                      
                                      )
                                    
                                  
                                
                              
                            
                          
                        
                        
                          
                            
                              
                              ⁢
                              
                                
                                  ε
                                  ′
                                
                                =
                                
                                  
                                    ε
                                    ⋀
                                    
                                      max
                                      ⁡
                                      
                                        (
                                        
                                          k
                                          ,
                                          i
                                        
                                        )
                                      
                                    
                                  
                                  ≠
                                  
                                    
                                      -
                                      ∞
                                    
                                    ⋀
                                    
                                      (
                                      
                                        k
                                        >
                                        
                                          i
                                          ⋁
                                          
                                            γ
                                            ⋀
                                            β
                                            ⋀
                                            α
                                          
                                        
                                      
                                      )
                                    
                                  
                                
                              
                            
                          
                        
                        
                          
                            
                              
                              ⁢
                              
                                
                                  ζ
                                  ′
                                
                                =
                                
                                  
                                    ζ
                                    ⋀
                                    l
                                  
                                  ≠
                                  ∞
                                
                              
                            
                          
                        
                        
                          
                            
                              
                              ⁢
                              
                                
                                  when
                                  ⁢
                                  
                                     
                                  
                                  ⁢
                                  i
                                
                                ≤
                                
                                  
                                    j
                                    ′
                                  
                                  ⋀
                                  
                                    k
                                    ′
                                  
                                
                                ≤
                                
                                  l
                                  ⋀
                                
                              
                            
                          
                        
                        
                          
                            
                              
                              ⁢
                              
                                
                                  [
                                  
                                    i
                                    =
                                    
                                      
                                        j
                                        ′
                                      
                                      →
                                      
                                        (
                                        
                                          
                                            γ
                                            ′
                                          
                                          ⋀
                                          
                                            δ
                                            ′
                                          
                                        
                                        )
                                      
                                    
                                  
                                  ]
                                
                                ⋀
                                
                                  [
                                  
                                    
                                      k
                                      ′
                                    
                                    =
                                    
                                      l
                                      →
                                      
                                        (
                                        
                                          
                                            ε
                                            ′
                                          
                                          ⋀
                                          
                                            ζ
                                            ′
                                          
                                        
                                        )
                                      
                                    
                                  
                                  ]
                                
                                ⋀
                              
                            
                          
                        
                        
                          
                            
                              
                              ⁢
                              
                                
                                  [
                                  
                                    i
                                    =
                                    
                                      l
                                      →
                                      
                                        (
                                        
                                          α
                                          ⋀
                                          β
                                        
                                        )
                                      
                                    
                                  
                                  ]
                                
                                ⋀
                              
                            
                          
                        
                        
                          
                            
                              
                              ⁢
                              
                                i
                                ≠
                                
                                  ∞
                                  ⋀
                                  
                                    j
                                    ′
                                  
                                
                                ≠
                                
                                  
                                    -
                                    ∞
                                  
                                  ⋀
                                  
                                    k
                                    ′
                                  
                                
                                ≠
                                
                                  ∞
                                  ⋀
                                  l
                                
                                ≠
                                
                                  -
                                  ∞
                                
                              
                            
                          
                        
                        
                          
                            
                              
                              ⁢
                              
                                
                                  {
                                  
                                     
                                  
                                  }
                                
                                ⁢
                                
                                   
                                
                                ⁢
                                otherwise
                              
                            
                          
                        
                      
                      ⁢
                      
                        

                      
                      ⁢
                      
                        
                          
                            α
                            1
                          
                          ⁢
                          
                            [
                            
                              y
                              1
                            
                          
                          ⁢
                          
                            
                              
                                
                                  [
                                  
                                    
                                      i
                                      1
                                    
                                    ,
                                    
                                      j
                                      1
                                    
                                  
                                  ]
                                
                                
                                  
                                    δ
                                    1
                                  
                                  ,
                                  
                                    ε
                                    1
                                  
                                
                              
                              ⁡
                              
                                [
                                
                                  
                                    k
                                    1
                                  
                                  ,
                                  
                                    l
                                    1
                                  
                                
                                ]
                              
                            
                            
                              ζ
                              1
                            
                          
                          ]
                        
                        
                          β
                          1
                        
                      
                    
                    ⁢
                    
                      ⋂
                      
                        α
                        2
                      
                    
                    ⁢
                    
                      
                        
                          
                            [
                            
                              γ
                              2
                            
                          
                          ⁢
                          
                            
                              
                                
                                  [
                                  
                                    
                                      i
                                      2
                                    
                                    ,
                                    
                                      j
                                      2
                                    
                                  
                                  ]
                                
                                
                                  
                                    δ
                                    2
                                  
                                  ,
                                  
                                    ε
                                    2
                                  
                                
                              
                              ⁡
                              
                                [
                                
                                  
                                    k
                                    2
                                  
                                  ,
                                  
                                    l
                                    2
                                  
                                
                                ]
                              
                            
                            
                              ζ
                              2
                            
                          
                          ]
                        
                        
                          β
                          2
                        
                      
                      ⁢
                      
                        Δ
                        
                          _
                          _
                        
                      
                      ⁢
                      
                        

                      
                      ⁢
                      
                        
                          〈
                          
                            α
                            1
                          
                        
                        ⁢
                        
                           
                        
                        ⁢
                        
                          
                            
                              [
                              γ
                            
                            ⁢
                            
                              
                                
                                  
                                    [
                                    
                                      
                                        max
                                        ⁡
                                        
                                          (
                                          
                                            
                                              i
                                              1
                                            
                                            ,
                                            
                                              i
                                              2
                                            
                                          
                                          )
                                        
                                      
                                      ,
                                      
                                        min
                                        ⁡
                                        
                                          (
                                          
                                            
                                              j
                                              1
                                            
                                            ,
                                            
                                              j
                                              2
                                            
                                          
                                          )
                                        
                                      
                                    
                                    ]
                                  
                                  
                                    δ
                                    ,
                                    ε
                                  
                                
                                ⁡
                                
                                  [
                                  
                                    
                                      max
                                      ⁡
                                      
                                        (
                                        
                                          
                                            k
                                            1
                                          
                                          ,
                                          
                                            k
                                            2
                                          
                                        
                                        )
                                      
                                    
                                    ,
                                    
                                      min
                                      ⁡
                                      
                                        (
                                        
                                          
                                            l
                                            1
                                          
                                          ,
                                          
                                            l
                                            2
                                          
                                        
                                        )
                                      
                                    
                                  
                                  ]
                                
                              
                              ζ
                            
                            ]
                          
                          
                            β
                            1
                          
                        
                        〉
                      
                    
                  
                
              
            
          
        
      
    
  





  
    
      
        
          
            where
            ⁢
            
               
            
            ⁢
            γ
          
          =
          
          ⁢
          
            {
            
              
                
                  
                    
                    ⁢
                    
                      γ
                      1
                    
                  
                
                
                  
                    
                       
                    
                    ⁢
                    
                      
                        i
                        1
                      
                      >
                      
                        i
                        2
                      
                    
                  
                
              
              
                
                  
                    
                    ⁢
                    
                      
                        γ
                        1
                      
                      ⋀
                      
                        γ
                        2
                      
                    
                  
                
                
                  
                    
                       
                    
                    ⁢
                    
                      
                        i
                        1
                      
                      =
                      
                        i
                        2
                      
                    
                  
                
              
              
                
                  
                    
                    ⁢
                    
                      γ
                      2
                    
                  
                
                
                  
                    
                       
                    
                    ⁢
                    
                      
                        i
                        1
                      
                      <
                      
                        i
                        2
                      
                    
                  
                
              
            
          
        
      
    
    
      
        
          δ
          =
          
          ⁢
          
            {
            
              
                
                  
                    
                    ⁢
                    
                      δ
                      1
                    
                  
                
                
                  
                    
                       
                    
                    ⁢
                    
                      
                        j
                        1
                      
                      <
                      
                        j
                        2
                      
                    
                  
                
              
              
                
                  
                    
                    ⁢
                    
                      
                        δ
                        1
                      
                      ⋀
                      
                        δ
                        2
                      
                    
                  
                
                
                  
                    
                       
                    
                    ⁢
                    
                      
                        j
                        1
                      
                      =
                      
                        j
                        2
                      
                    
                  
                
              
              
                
                  
                    
                    ⁢
                    
                      δ
                      2
                    
                  
                
                
                  
                    
                       
                    
                    ⁢
                    
                      
                        j
                        1
                      
                      >
                      
                        j
                        2
                      
                    
                  
                
              
            
          
        
      
    
    
      
        
          ε
          =
          
          ⁢
          
            {
            
              
                
                  
                    
                    ⁢
                    
                      ε
                      1
                    
                  
                
                
                  
                    
                       
                    
                    ⁢
                    
                      
                        k
                        1
                      
                      >
                      
                        k
                        2
                      
                    
                  
                
              
              
                
                  
                    
                    ⁢
                    
                      
                        ε
                        1
                      
                      ⋀
                      
                        ε
                        2
                      
                    
                  
                
                
                  
                    
                       
                    
                    ⁢
                    
                      
                        k
                        1
                      
                      =
                      
                        k
                        2
                      
                    
                  
                
              
              
                
                  
                    
                    ⁢
                    
                      ε
                      2
                    
                  
                
                
                  
                    
                       
                    
                    ⁢
                    
                      
                        k
                        1
                      
                      <
                      
                        k
                        2
                      
                    
                  
                
              
            
          
        
      
    
    
      
        
          ζ
          =
          
          ⁢
          
            {
            
              
                
                  
                    
                    ⁢
                    
                      ζ
                      1
                    
                  
                
                
                  
                    
                       
                    
                    ⁢
                    
                      
                        l
                        1
                      
                      <
                      
                        l
                        2
                      
                    
                  
                
              
              
                
                  
                    
                    ⁢
                    
                      
                        ζ
                        1
                      
                      ⋀
                      
                        ζ
                        2
                      
                    
                  
                
                
                  
                    
                       
                    
                    ⁢
                    
                      
                        l
                        1
                      
                      =
                      
                        l
                        2
                      
                    
                  
                
              
              
                
                  
                    
                    ⁢
                    
                      ζ
                      2
                    
                  
                
                
                  
                    
                       
                    
                    ⁢
                    
                      
                        l
                        1
                      
                      >
                      
                        l
                        2
                      
                    
                  
                
              
            
          
        
      
    
  
  ⁢
  
     
  





  
    
      when
      ⁢
      
         
      
      ⁢
      
        α
        1
      
    
    =
    
      
        
          α
          2
        
        ⋀
        
          β
          1
        
      
      =
      
        β
        2
      
    
  




  
    
      {
      
         
      
      }
    
    ⁢
    
       
    
    ⁢
    otherwise
  




  
    
      ⫬
      α
    
    ⁢
    
      
        
          
            [
            γ
          
          ⁢
          
            
              
                [
                
                  i
                  ,
                  j
                
                ]
              
              δ
            
            ⁢
            
              ,
              ε
            
            ⁢
            
              
                [
                
                  k
                  ,
                  l
                
                ]
              
              ζ
            
          
          ]
        
        β
      
      ⁢
      
         
      
      ⁢
      
        Δ
        
          _
          _
        
      
      ⁢
      
         
      
      ⁢
      
        (
        
          
            
              
                
                ⁢
                
                  
                    
                      〈
                      α
                    
                    ⁢
                    
                      
                        
                          [
                          T
                        
                        ⁢
                        
                          
                            
                              [
                              
                                
                                  -
                                  ∞
                                
                                ,
                                ∞
                              
                              ]
                            
                            T
                          
                          ⁢
                          
                            ,
                            
                               
                              T
                            
                          
                          ⁢
                          
                            
                              [
                              
                                
                                  -
                                  ∞
                                
                                ,
                                k
                              
                              ]
                            
                            
                              ⫬
                              ε
                            
                          
                        
                        ]
                      
                      β
                    
                    〉
                  
                  ⋃
                
              
            
          
          
            
              
                
                ⁢
                
                  
                    
                      〈
                      α
                    
                    ⁢
                    
                      
                        
                          [
                          T
                        
                        ⁢
                        
                          
                            
                              [
                              
                                
                                  -
                                  ∞
                                
                                ,
                                ∞
                              
                              ]
                            
                            T
                          
                          ⁢
                          
                            ,
                            
                              ⫬
                              ζ
                            
                          
                          ⁢
                          
                            
                              [
                              
                                l
                                ,
                                ∞
                              
                              ]
                            
                            T
                          
                        
                        ]
                      
                      β
                    
                    〉
                  
                  ⋃
                
              
            
          
          
            
              
                
                ⁢
                
                  
                    
                      〈
                      α
                    
                    ⁢
                    
                      
                        
                          [
                          T
                        
                        ⁢
                        
                          
                            
                              [
                              
                                
                                  -
                                  ∞
                                
                                ,
                                i
                              
                              ]
                            
                            
                              ⫬
                              γ
                            
                          
                          ⁢
                          
                            ,
                            T
                          
                          ⁢
                          
                            
                              [
                              
                                
                                  -
                                  ∞
                                
                                ,
                                ∞
                              
                              ]
                            
                            T
                          
                        
                        ]
                      
                      β
                    
                    〉
                  
                  ⋃
                
              
            
          
          
            
              
                
                ⁢
                
                  
                    
                      〈
                      α
                    
                    ⁢
                    
                      
                        
                          [
                          
                            ⫬
                            δ
                          
                        
                        ⁢
                        
                          
                            
                              [
                              
                                j
                                ,
                                ∞
                              
                              ]
                            
                            T
                          
                          ⁢
                          
                            ,
                            T
                          
                          ⁢
                          
                            
                              [
                              
                                
                                  -
                                  ∞
                                
                                ,
                                ∞
                              
                              ]
                            
                            T
                          
                        
                        ]
                      
                      β
                    
                    〉
                  
                  ⋃
                
              
            
          
          
            
              
                
                ⁢
                
                  
                    
                      〈
                      
                        ⫬
                        α
                      
                    
                    ⁢
                    
                      
                        
                          [
                          T
                        
                        ⁢
                        
                          
                            
                              [
                              
                                
                                  -
                                  ∞
                                
                                ,
                                ∞
                              
                              ]
                            
                            T
                          
                          ⁢
                          
                            ,
                            T
                          
                          ⁢
                          
                            
                              [
                              
                                
                                  -
                                  ∞
                                
                                ,
                                ∞
                              
                              ]
                            
                            T
                          
                        
                        ]
                      
                      β
                    
                    〉
                  
                  ⋃
                
              
            
          
          
            
              
                
                ⁢
                
                  
                    
                      〈
                      α
                    
                    ⁢
                    
                      
                        
                          [
                          T
                        
                        ⁢
                        
                          
                            
                              [
                              
                                
                                  -
                                  ∞
                                
                                ,
                                ∞
                              
                              ]
                            
                            T
                          
                          ⁢
                          
                            ,
                            T
                          
                          ⁢
                          
                            
                              [
                              
                                
                                  -
                                  ∞
                                
                                ,
                                ∞
                              
                              ]
                            
                            T
                          
                        
                        ]
                      
                      
                        ⫬
                        β
                      
                    
                    〉
                  
                  ⋃
                
              
            
          
          
            
              
                
                ⁢
                
                  
                    〈
                    
                      ⫬
                      α
                    
                  
                  ⁢
                  
                    
                      
                        [
                        T
                      
                      ⁢
                      
                        
                          
                            [
                            
                              
                                -
                                ∞
                              
                              ,
                              ∞
                            
                            ]
                          
                          T
                        
                        ⁢
                        
                          ,
                          T
                        
                        ⁢
                        
                          
                            [
                            
                              
                                -
                                ∞
                              
                              ,
                              ∞
                            
                            ]
                          
                          T
                        
                      
                      ]
                    
                    
                      ⫬
                      β
                    
                  
                  〉
                
              
            
          
        
        )
      
    
  




  
    SPAN
    ⁢
    
       
    
    ⁢
    
      
        (
        
          α
          1
        
      
      ⁢
      
        
          
            
              
                [
                
                  γ
                  1
                
              
              ⁢
              
                
                  
                    [
                    
                      
                        i
                        1
                      
                      ,
                      
                        j
                        1
                      
                    
                    ]
                  
                  
                    δ
                    1
                  
                
                ⁢
                
                  ,
                  
                    ∈
                    1
                  
                
                ⁢
                
                  
                    [
                    
                      
                        k
                        1
                      
                      ,
                      
                        l
                        1
                      
                    
                    ]
                  
                  
                    ζ
                    1
                  
                
              
              ]
            
            
              
                β
                1
              
              ,
              
                α
                2
              
            
          
          ⁢
          
            [
            
              γ
              2
            
          
          ⁢
          
            
              
                [
                
                  
                    i
                    2
                  
                  ,
                  
                    j
                    2
                  
                
                ]
              
              
                δ
                2
              
            
            ⁢
            
              ,
              
                ∈
                2
              
            
            ⁢
            
              
                [
                
                  
                    k
                    2
                  
                  ,
                  
                    l
                    2
                  
                
                ]
              
              
                ζ
                2
              
            
          
          ]
        
        
          β
          2
        
      
      )
    
    ⁢
    
       
    
    ⁢
    
      
        Δ
        
          _
          _
        
      
      ⁢
      
        

      
      ⁢
      
         
      
      (
      
        
          
            
              
              ⁢
              
                
                  
                    〈
                    
                      α
                      1
                    
                  
                  ⁢
                  
                    
                      
                        [
                        
                          γ
                          1
                        
                      
                      ⁢
                      
                        
                          
                            [
                            
                              
                                i
                                1
                              
                              ,
                              j
                            
                            ]
                          
                          δ
                        
                        ⁢
                        
                          ,
                          ∈
                        
                        ⁢
                        
                          
                            [
                            
                              k
                              ,
                              
                                l
                                1
                              
                            
                            ]
                          
                          
                            ζ
                            1
                          
                        
                      
                      ]
                    
                    
                      β
                      1
                    
                  
                  〉
                
                ⋃
              
            
          
        
        
          
            
              
              ⁢
              
                
                  
                    〈
                    
                      α
                      1
                    
                  
                  ⁢
                  
                    
                      
                        [
                        
                          γ
                          1
                        
                      
                      ⁢
                      
                        
                          
                            [
                            
                              
                                i
                                1
                              
                              ,
                              j
                            
                            ]
                          
                          δ
                        
                        ⁢
                        
                          ,
                          ∈
                        
                        ⁢
                        
                          
                            [
                            
                              k
                              ,
                              
                                l
                                2
                              
                            
                            ]
                          
                          
                            ζ
                            2
                          
                        
                      
                      ]
                    
                    
                      β
                      2
                    
                  
                  〉
                
                ⋃
              
            
          
        
        
          
            
              
              ⁢
              
                
                  
                    〈
                    
                      α
                      2
                    
                  
                  ⁢
                  
                    
                      
                        [
                        
                          γ
                          2
                        
                      
                      ⁢
                      
                        
                          
                            [
                            
                              
                                i
                                2
                              
                              ,
                              j
                            
                            ]
                          
                          δ
                        
                        ⁢
                        
                          ,
                          ∈
                        
                        ⁢
                        
                          
                            [
                            
                              k
                              ,
                              
                                l
                                1
                              
                            
                            ]
                          
                          
                            ζ
                            1
                          
                        
                      
                      ]
                    
                    
                      β
                      1
                    
                  
                  〉
                
                ⋃
              
            
          
        
        
          
            
              
              ⁢
              
                
                  〈
                  α
                
                ⁢
                
                  
                    
                      [
                      
                        γ
                        2
                      
                    
                    ⁢
                    
                      
                        
                          [
                          
                            
                              i
                              2
                            
                            ,
                            j
                          
                          ]
                        
                        δ
                      
                      ⁢
                      
                        ,
                        ∈
                      
                      ⁢
                      
                        
                          [
                          
                            k
                            ,
                            
                              l
                              2
                            
                          
                          ]
                        
                        
                          ζ
                          2
                        
                      
                    
                    ]
                  
                  
                    β
                    2
                  
                
                〉
              
            
          
        
      
      )
    
  




  
    
       
    
    ⁢
    where
  




  
    
       
    
    ⁢
    
      j
      =
      
        min
        ⁡
        
          (
          
            
              j
              1
            
            ,
            
              j
              2
            
          
          )
        
      
    
  




  
    
       
    
    ⁢
    
      k
      =
      
        max
        ⁡
        
          (
          
            
              k
              1
            
            ,
            
              k
              2
            
          
          )
        
      
    
  




  
    
       
    
    ⁢
    
      δ
      =
      
        [
        
          
            (
            
              
                
                  δ
                  1
                
                ⋀
                
                  j
                  1
                
              
              ≤
              
                j
                2
              
            
            )
          
          ⋁
          
            (
            
              
                
                  δ
                  2
                
                ⋀
                
                  j
                  1
                
              
              ≥
              
                j
                2
              
            
            )
          
        
        ]
      
    
  




  
    
       
    
    ⁢
    
      ε
      =
      
        [
        
          
            (
            
              
                
                  ε
                  1
                
                ⋀
                
                  k
                  1
                
              
              ≤
              
                k
                2
              
            
            )
          
          ⋁
          
            (
            
              
                
                  ε
                  2
                
                ⋀
                
                  k
                  1
                
              
              ≥
              
                k
                2
              
            
            )
          
        
        ]
      
    
  




  
    
       
    
    ⁢
    
      
        D
        ⁡
        
          (
          
            =
            
              ,
              1
            
          
          )
        
      
      ⁢
      
        Δ
        
          _
          _
        
      
      ⁢
      
        {
        i
        }
      
    
  




  
    ⁢
    
       
    
    ⁢
    
      (
      
        =
        
          ,
          i
        
      
      )
    
    ⁢
    
       
    
    ⁢
    
      Δ
      
        _
        _
      
    
    ⁢
    
       
    
    ⁢
    
      {
      i
      }
    
  




  
    
      ⁢
      
        (
        
          <
          
            
              ,
              
                α
                1
              
            
            ⁢
            
              
                
                  [
                  
                    γ
                    1
                  
                
                ⁢
                
                  
                    
                      [
                      
                        
                          i
                          1
                        
                        ,
                        
                          j
                          1
                        
                      
                      ]
                    
                    
                      δ
                      1
                    
                  
                  ⁢
                  
                    ,
                    
                      ε
                      1
                    
                  
                  ⁢
                  
                    
                      [
                      
                        
                          k
                          1
                        
                        ,
                        
                          l
                          1
                        
                      
                      ]
                    
                    
                      ζ
                      1
                    
                  
                
                ]
              
              
                β
                1
              
            
          
        
        )
      
      ⁢
      
         
      
      ⁢
      
        Δ
        
          _
          _
        
      
    
    ⁢
    
       
    
    ⁢
    
      ⋃
      
        
          α
          2
        
        ,
        
          
            β
            2
          
          ∈
          
            (
            
              T
              ,
              F
            
            )
          
        
      
    
    ⁢
    
      
        〈
        
          α
          2
        
      
      ⁢
      
        
          
            [
            
              ⫬
              
                
                  β
                  1
                
                ⋀
                
                  ⫬
                  
                    
                      
                        α
                        2
                      
                      ⋀
                    
                    ⁢
                    
                      ∈
                      1
                    
                  
                
              
            
          
          ⁢
          
            
              
                
                  [
                  
                    
                      k
                      1
                    
                    ,
                    ∞
                  
                  ]
                
                
                  T
                  ,
                  T
                
              
              ⁡
              
                [
                
                  
                    -
                    ∞
                  
                  ,
                  ∞
                
                ]
              
            
            T
          
          ]
        
        
          β
          2
        
      
      〉
    
  




  
    
      ⁢
      
        (
        
          >
          
            
              ,
              
                α
                1
              
            
            ⁢
            
              
                
                  [
                  
                    γ
                    1
                  
                
                ⁢
                
                  
                    
                      [
                      
                        
                          i
                          1
                        
                        ,
                        
                          j
                          1
                        
                      
                      ]
                    
                    
                      δ
                      1
                    
                  
                  ⁢
                  
                    ,
                    
                      ε
                      1
                    
                  
                  ⁢
                  
                    
                      [
                      
                        
                          k
                          1
                        
                        ,
                        
                          l
                          1
                        
                      
                      ]
                    
                    
                      ζ
                      1
                    
                  
                
                ]
              
              
                β
                1
              
            
          
        
        )
      
      ⁢
      
         
      
      ⁢
      
        Δ
        
          _
          _
        
      
    
    ⁢
    
       
    
    ⁢
    
      ⋃
      
        
          α
          2
        
        ,
        
          
            β
            2
          
          ∈
          
            {
            
              T
              ,
              F
            
            }
          
        
      
    
    ⁢
    
      
        〈
        
          α
          2
        
      
      ⁢
      
        
          
            [
            T
          
          ⁢
          
            
              
                
                  [
                  
                    
                      -
                      ∞
                    
                    ,
                    ∞
                  
                  ]
                
                
                  T
                  ,
                  T
                
              
              ⁡
              
                [
                
                  
                    -
                    ∞
                  
                  ,
                  
                    j
                    1
                  
                
                ]
              
            
            
              ⫬
              
                
                  α
                  1
                
                ⋀
                
                  ⫬
                  
                    
                      β
                      2
                    
                    ⋀
                    
                      δ
                      1
                    
                  
                
              
            
          
          ]
        
        
          β
          2
        
      
      〉
    
  




  
    
      ⁢
      
        (
        
          m
          ⁢
          
            ,
            
              α
              1
            
          
          ⁢
          
            
              
                [
                
                  γ
                  1
                
              
              ⁢
              
                
                  
                    [
                    
                      
                        i
                        1
                      
                      ,
                      
                        j
                        1
                      
                    
                    ]
                  
                  
                    δ
                    1
                  
                
                ⁢
                
                  ,
                  
                    ε
                    1
                  
                
                ⁢
                
                  
                    [
                    
                      
                        k
                        1
                      
                      ,
                      
                        l
                        1
                      
                    
                    ]
                  
                  
                    ζ
                    1
                  
                
              
              ]
            
            
              β
              1
            
          
        
        )
      
      ⁢
      
         
      
      ⁢
      
        Δ
        
          _
          _
        
      
    
    ⁢
    
      ⋃
      
        
          β
          2
        
        ∈
        
           
        
        ⁢
        
          {
          
            T
            ,
            F
          
          }
        
      
    
    ⁢
    
      
        〈
        
          ⫬
          
            β
            1
          
        
      
      ⁢
      
        
          
            [
            
              
                ∈
                1
              
              ⁢
              
                
                  
                    
                      [
                      
                        
                          k
                          1
                        
                        ,
                        
                          l
                          1
                        
                      
                      ]
                    
                    
                      
                        ζ
                        1
                      
                      ,
                      T
                    
                  
                  ⁡
                  
                    [
                    
                      
                        -
                        ∞
                      
                      ,
                      ∞
                    
                    ]
                  
                
                T
              
            
          
          ]
        
        
          β
          2
        
      
      〉
    
  




  
    
      ⁢
      
        (
        
          mi
          ⁢
          
            ,
            
              α
              1
            
          
          ⁢
          
            
              
                [
                
                  γ
                  1
                
              
              ⁢
              
                
                  
                    [
                    
                      
                        i
                        1
                      
                      ,
                      
                        j
                        1
                      
                    
                    ]
                  
                  
                    δ
                    1
                  
                
                ⁢
                
                  ,
                  
                    ε
                    1
                  
                
                ⁢
                
                  
                    [
                    
                      
                        k
                        1
                      
                      ,
                      
                        l
                        1
                      
                    
                    ]
                  
                  
                    ζ
                    1
                  
                
              
              ]
            
            
              β
              1
            
          
        
        )
      
      ⁢
      
         
      
      ⁢
      
        Δ
        
          _
          _
        
      
    
    ⁢
    
      ⋃
      
        
          α
          2
        
        ∈
        
           
        
        ⁢
        
          {
          
            T
            ,
            F
          
          }
        
      
    
    ⁢
    
      
        〈
        
          α
          2
        
      
      ⁢
      
        
          
            [
            T
          
          ⁢
          
            
              
                
                  [
                  
                    
                      -
                      ∞
                    
                    ,
                    ∞
                  
                  ]
                
                
                  T
                  ,
                  
                    γ
                    1
                  
                
              
              ⁡
              
                [
                
                  
                    i
                    1
                  
                  ,
                  
                    j
                    1
                  
                
                ]
              
            
            
              δ
              1
            
          
          ]
        
        
          ⫬
          
            α
            1
          
        
      
      〉
    
  




  
    
      ⁢
      
        (
        
          o
          ⁢
          
            ,
            
              α
              1
            
          
          ⁢
          
            
              
                [
                
                  γ
                  1
                
              
              ⁢
              
                
                  
                    [
                    
                      
                        i
                        1
                      
                      ,
                      
                        j
                        1
                      
                    
                    ]
                  
                  
                    δ
                    1
                  
                
                ⁢
                
                  ,
                  
                    ε
                    1
                  
                
                ⁢
                
                  
                    [
                    
                      
                        k
                        1
                      
                      ,
                      
                        l
                        1
                      
                    
                    ]
                  
                  
                    ζ
                    1
                  
                
              
              ]
            
            
              β
              1
            
          
        
        )
      
      ⁢
      
         
      
      ⁢
      
        Δ
        
          _
          _
        
      
    
    ⁢
    
      ⋃
      
        
          α
          2
        
        ,
        
          
            β
            2
          
          ∈
          
             
          
          ⁢
          
            {
            
              T
              ,
              F
            
            }
          
        
      
    
    ⁢
    
      
        〈
        
          α
          2
        
      
      ⁢
      
        
          
            [
            
              
                α
                1
              
              ⋀
              
                ⫬
                
                  
                    α
                    2
                  
                  ⋀
                  
                    γ
                    1
                  
                
              
            
          
          ⁢
          
            
              
                
                  [
                  
                    
                      i
                      1
                    
                    ,
                    
                      l
                      1
                    
                  
                  ]
                
                
                  
                    
                      β
                      1
                    
                    ⋀
                    
                      α
                      2
                    
                    ⋀
                    
                      ζ
                      1
                    
                  
                  ,
                  
                    ⫬
                    
                      
                        β
                        1
                      
                      ⋀
                      
                        β
                        2
                      
                    
                  
                  ,
                  
                    ∈
                    1
                  
                
              
              ⁡
              
                [
                
                  
                    k
                    1
                  
                  ,
                  ∞
                
                ]
              
            
            T
          
          ]
        
        
          β
          2
        
      
      〉
    
  




  
    
      ⁢
      
         
      
      ⁢
      
        (
        
          oi
          ⁢
          
            ,
            
              α
              1
            
          
          ⁢
          
            
              
                [
                
                  γ
                  1
                
              
              ⁢
              
                
                  
                    [
                    
                      
                        i
                        1
                      
                      ,
                      
                        j
                        1
                      
                    
                    ]
                  
                  
                    δ
                    1
                  
                
                ⁢
                
                  ,
                  
                    ε
                    1
                  
                
                ⁢
                
                  
                    [
                    
                      
                        k
                        1
                      
                      ,
                      
                        l
                        1
                      
                    
                    ]
                  
                  
                    ζ
                    1
                  
                
              
              ]
            
            
              β
              1
            
          
        
        )
      
      ⁢
      
         
      
      ⁢
      
        Δ
        
          _
          _
        
      
    
    ⁢
    
      ⋃
      
        
          α
          2
        
        ,
        
          
            β
            2
          
          ∈
          
             
          
          ⁢
          
            {
            
              T
              ,
              F
            
            }
          
        
      
    
    ⁢
    
      
        〈
        
          α
          2
        
      
      ⁢
      
        
          
            [
            T
          
          ⁢
          
            
              
                
                  [
                  
                    
                      -
                      ∞
                    
                    ,
                    
                      j
                      1
                    
                  
                  ]
                
                
                  
                    ⫬
                    
                      
                        α
                        1
                      
                      ⋀
                      
                        α
                        2
                      
                      ⋀
                      
                        δ
                        1
                      
                    
                  
                  ,
                  
                    
                      α
                      1
                    
                    ⋀
                    
                      β
                      2
                    
                    ⋀
                    
                      γ
                      1
                    
                  
                
              
              ⁡
              
                [
                
                  
                    i
                    1
                  
                  ,
                  
                    l
                    1
                  
                
                ]
              
            
            
              
                β
                1
              
              ⋀
              
                β
                2
              
              ⋀
              
                ζ
                1
              
            
          
          ]
        
        
          β
          2
        
      
      〉
    
  




  
    
      ⁢
      
         
      
      ⁢
      
        (
        
          s
          ⁢
          
            ,
            
              α
              1
            
          
          ⁢
          
            
              
                [
                
                  γ
                  1
                
              
              ⁢
              
                
                  
                    [
                    
                      
                        i
                        1
                      
                      ,
                      
                        j
                        1
                      
                    
                    ]
                  
                  
                    δ
                    1
                  
                
                ⁢
                
                  ,
                  
                    ε
                    1
                  
                
                ⁢
                
                  
                    [
                    
                      
                        k
                        1
                      
                      ,
                      
                        l
                        1
                      
                    
                    ]
                  
                  
                    ζ
                    1
                  
                
              
              ]
            
            
              β
              1
            
          
        
        )
      
      ⁢
      
         
      
      ⁢
      
        Δ
        
          _
          _
        
      
    
    ⁢
    
      ⋃
      
        
          β
          2
        
        ∈
        
           
        
        ⁢
        
          {
          
            T
            ,
            F
          
          }
        
      
    
    ⁢
    
      
        〈
        
          α
          1
        
      
      ⁢
      
        
          
            [
            
              γ
              1
            
          
          ⁢
          
            
              
                
                  [
                  
                    
                      i
                      1
                    
                    ,
                    
                      j
                      1
                    
                  
                  ]
                
                
                  
                    δ
                    1
                  
                  ,
                  
                    ⫬
                    
                      
                        
                          β
                          1
                        
                        ⋀
                        
                          β
                          2
                        
                        ⋀
                      
                      ⁢
                      
                        ∈
                        1
                      
                    
                  
                
              
              ⁡
              
                [
                
                  
                    k
                    1
                  
                  ,
                  ∞
                
                ]
              
            
            T
          
          ]
        
        
          β
          2
        
      
      〉
    
  




  
    
      ⁢
      
         
      
      ⁢
      
        (
        
          si
          ⁢
          
            ,
            
              α
              1
            
          
          ⁢
          
            
              
                [
                
                  γ
                  1
                
              
              ⁢
              
                
                  
                    [
                    
                      
                        i
                        1
                      
                      ,
                      
                        j
                        1
                      
                    
                    ]
                  
                  
                    δ
                    1
                  
                
                ⁢
                
                  ,
                  
                    ε
                    1
                  
                
                ⁢
                
                  
                    [
                    
                      
                        k
                        1
                      
                      ,
                      
                        l
                        1
                      
                    
                    ]
                  
                  
                    ζ
                    1
                  
                
              
              ]
            
            
              β
              1
            
          
        
        )
      
      ⁢
      
         
      
      ⁢
      
        Δ
        
          _
          _
        
      
    
    ⁢
    
      ⋃
      
        
          β
          2
        
        ∈
        
           
        
        ⁢
        
          {
          
            T
            ,
            F
          
          }
        
      
    
    ⁢
    
      
        〈
        
          α
          1
        
      
      ⁢
      
        
          
            [
            
              γ
              1
            
          
          ⁢
          
            
              
                
                  [
                  
                    
                      i
                      1
                    
                    ,
                    
                      j
                      1
                    
                  
                  ]
                
                
                  
                    δ
                    1
                  
                  ,
                  T
                
              
              ⁡
              
                [
                
                  
                    -
                    ∞
                  
                  ,
                  
                    l
                    1
                  
                
                ]
              
            
            
              
                β
                1
              
              ⋀
              
                ⫬
                
                  
                    β
                    2
                  
                  ⋀
                  
                    ζ
                    1
                  
                
              
            
          
          ]
        
        
          β
          2
        
      
      〉
    
  




  
    
      ⁢
      
         
      
      ⁢
      
        (
        
          f
          ⁢
          
            ,
            
              α
              1
            
          
          ⁢
          
            
              
                [
                
                  γ
                  1
                
              
              ⁢
              
                
                  
                    [
                    
                      
                        i
                        1
                      
                      ,
                      
                        j
                        1
                      
                    
                    ]
                  
                  
                    δ
                    1
                  
                
                ⁢
                
                  ,
                  
                    ε
                    1
                  
                
                ⁢
                
                  
                    [
                    
                      
                        k
                        1
                      
                      ,
                      
                        l
                        1
                      
                    
                    ]
                  
                  
                    ζ
                    1
                  
                
              
              ]
            
            
              β
              1
            
          
        
        )
      
      ⁢
      
         
      
      ⁢
      
        Δ
        
          _
          _
        
      
    
    ⁢
    
      ⋃
      
        
          α
          2
        
        ⁢
        ε
        ⁢
        
           
        
        ⁢
        
          {
          
            T
            ,
            F
          
          }
        
      
    
    ⁢
    
      
        〈
        
          α
          2
        
      
      ⁢
      
        
          
            [
            T
          
          ⁢
          
            
              
                [
                
                  
                    -
                    ∞
                  
                  ,
                  
                    j
                    1
                  
                
                ]
              
              
                ⫬
                
                  
                    α
                    1
                  
                  ⋀
                  
                    α
                    2
                  
                  ⋀
                  
                    δ
                    1
                  
                
              
            
            ⁢
            
              ,
              
                ∈
                1
              
            
            ⁢
            
              
                [
                
                  
                    k
                    1
                  
                  ,
                  
                    l
                    1
                  
                
                ]
              
              
                ζ
                1
              
            
          
          ]
        
        
          β
          1
        
      
      〉
    
  




  
    
      ⁢
      
         
      
      ⁢
      
        (
        
          fi
          ⁢
          
            ,
            
              α
              1
            
          
          ⁢
          
            
              
                [
                
                  γ
                  1
                
              
              ⁢
              
                
                  
                    [
                    
                      
                        i
                        1
                      
                      ,
                      
                        j
                        1
                      
                    
                    ]
                  
                  
                    δ
                    1
                  
                
                ⁢
                
                  ,
                  
                    ε
                    1
                  
                
                ⁢
                
                  
                    [
                    
                      
                        k
                        1
                      
                      ,
                      
                        l
                        1
                      
                    
                    ]
                  
                  
                    ζ
                    1
                  
                
              
              ]
            
            
              β
              1
            
          
        
        )
      
      ⁢
      
         
      
      ⁢
      
        Δ
        
          _
          _
        
      
    
    ⁢
    
      ⋃
      
        
          α
          2
        
        ∈
        
           
        
        ⁢
        
          {
          
            T
            ,
            F
          
          }
        
      
    
    ⁢
    
      
        〈
        
          α
          2
        
      
      ⁢
      
        
          
            [
            
              
                α
                1
              
              ⋀
              
                ⫬
                
                  
                    α
                    2
                  
                  ⋀
                  
                    γ
                    1
                  
                
              
            
          
          ⁢
          
            
              
                
                  [
                  
                    
                      i
                      1
                    
                    ,
                    ∞
                  
                  ]
                
                
                  T
                  ,
                  
                    ∈
                    1
                  
                
              
              ⁡
              
                [
                
                  
                    k
                    1
                  
                  ,
                  
                    l
                    1
                  
                
                ]
              
            
            
              ζ
              1
            
          
          ]
        
        
          β
          1
        
      
      〉
    
  




  
    
      ⁢
      
         
      
      ⁢
      
        (
        
          d
          ⁢
          
            ,
            
              α
              1
            
          
          ⁢
          
            
              
                [
                
                  γ
                  1
                
              
              ⁢
              
                
                  
                    [
                    
                      
                        i
                        1
                      
                      ,
                      
                        j
                        1
                      
                    
                    ]
                  
                  
                    δ
                    1
                  
                
                ⁢
                
                  ,
                  
                    ε
                    1
                  
                
                ⁢
                
                  
                    [
                    
                      
                        k
                        1
                      
                      ,
                      
                        l
                        1
                      
                    
                    ]
                  
                  
                    ζ
                    1
                  
                
              
              ]
            
            
              β
              1
            
          
        
        )
      
      ⁢
      
         
      
      ⁢
      
        Δ
        
          _
          _
        
      
    
    ⁢
    
      ⋃
      
        
          α
          2
        
        ,
        
          
            β
            2
          
          ∈
          
             
          
          ⁢
          
            {
            
              T
              ,
              F
            
            }
          
        
      
    
    ⁢
    
      
        〈
        
          α
          2
        
      
      ⁢
      
        
          
            [
            T
          
          ⁢
          
            
              
                
                  [
                  
                    
                      -
                      ∞
                    
                    ,
                    
                      j
                      1
                    
                  
                  ]
                
                
                  
                    ⫬
                    
                      
                        α
                        1
                      
                      ⋀
                      
                        α
                        2
                      
                      ⋀
                      
                        δ
                        1
                      
                    
                  
                  ,
                  
                    ⫬
                    
                      
                        
                          β
                          1
                        
                        ⋀
                        
                          β
                          2
                        
                        ⋀
                      
                      ⁢
                      
                        ∈
                        1
                      
                    
                  
                
              
              ⁡
              
                [
                
                  
                    k
                    1
                  
                  ,
                  ∞
                
                ]
              
            
            T
          
          ]
        
        
          β
          2
        
      
      〉
    
  




  
    
      ⁢
      
         
      
      ⁢
      
        (
        
          di
          ⁢
          
            ,
            
              α
              1
            
          
          ⁢
          
            
              
                [
                
                  γ
                  1
                
              
              ⁢
              
                
                  
                    [
                    
                      
                        i
                        1
                      
                      ,
                      
                        j
                        1
                      
                    
                    ]
                  
                  
                    δ
                    1
                  
                
                ⁢
                
                  ,
                  
                    ε
                    1
                  
                
                ⁢
                
                  
                    [
                    
                      
                        k
                        1
                      
                      ,
                      
                        l
                        1
                      
                    
                    ]
                  
                  
                    ζ
                    1
                  
                
              
              ]
            
            
              β
              1
            
          
        
        )
      
      ⁢
      
         
      
      ⁢
      
        Δ
        
          _
          _
        
      
    
    ⁢
    
      ⋃
      
        
          α
          2
        
        ,
        
          
            β
            2
          
          ∈
          
            {
            
              T
              ,
              F
            
            }
          
        
      
    
    ⁢
    
      
        〈
        
          α
          2
        
      
      ⁢
      
        
          
            [
            
              
                α
                1
              
              ⋀
              
                ⫬
                
                  
                    α
                    2
                  
                  ⋀
                  
                    γ
                    1
                  
                
              
            
          
          ⁢
          
            
              
                
                  [
                  
                    
                      i
                      1
                    
                    ,
                    ∞
                  
                  ]
                
                
                  T
                  ,
                  T
                
              
              ⁡
              
                [
                
                  
                    -
                    ∞
                  
                  ,
                  
                    l
                    1
                  
                
                ]
              
            
            
              
                β
                1
              
              ⋀
              
                ⫬
                
                  
                    β
                    2
                  
                  ⋀
                  
                    ζ
                    1
                  
                
              
            
          
          ]
        
        
          β
          2
        
      
      〉
    
  




  
    and
    ,
    
      
        ⁢
        
          (
          
            i
            ,
            r
            ,
            j
          
          )
        
        ⁢
        
           
        
        ⁢
        
          Δ
          
            _
            _
          
        
      
      ⁢
      
        ⋃
        
          
            i
            ′
          
          ∈
          
             
          
          ⁢
          
            D
            ⁢
            
               
            
            ⁢
            
              (
              
                
                  r
                  
                    -
                    1
                  
                
                ,
                j
              
              )
            
          
        
      
      ⁢
      
        
          ⋃
          
            
              i
              ′
            
            ∈
            
               
            
            ⁢
            
              
                i
                ′
              
              ⋂
              i
            
          
        
        ⁢
        
          
            ⋃
            
              
                j
                ′
              
              ∈
              
                 
              
              ⁢
              
                ⁢
                
                  (
                  
                    r
                    ,
                    i
                  
                  )
                
              
            
          
          ⁢
          
            
              ⋃
              
                
                  j
                  ′
                
                ∈
                
                   
                
                ⁢
                
                  
                    j
                    ′
                  
                  ⋂
                  
                     
                  
                  ⁢
                  j
                
              
            
            ⁢
            
              
                SPAN
                ⁡
                
                  (
                  
                    
                      i
                      ′′
                    
                    ,
                    
                      j
                      ′′
                    
                  
                  )
                
              
              .