TSPC 74_a_ibm

74_a_ibm_1401
Service that begins long before the delivery of a computer... and continues in depth long after.

( (FRAG (NP (N Service;{service})
            (IP-REL (C that;{that})
                    (NP-SBJ *T*)
                    (ILYR (ILYR (VBP;_I_ begins;{begin})
                                (ADVP-NIM (ADV long;{long})
                                          (PP (P-ROLE before;{before})
                                              (NP (D the;{the})
                                                  (N delivery;{delivery})
                                                  (PP (P-ROLE of;{of})
                                                      (NP (D a;{a})
                                                          (N computer;{computer})))))))
                          (PUNC ...)
                          (CONJP (CONJ and;{and})
                                 (ILYR (VBP;_I_ continues;{continue})
                                       (PP-NIM (P-ROLE in;{in})
                                               (NP (N depth;{depth})))
                                       (ADVP-NIM (ADVP (ADV long;{long}))
                                                 (ADV after;{after})))))))
        (PUNC .))
  (ID 74_a_ibm_1401))

arc(r_0074_0003__begins,r_0074_0001__Service,inv_arg0).
arc(r_0074_0003__begins,r_0074_0004__long,nim).
arc(r_0074_0004__long,r_0074_0006__the_r_0074_0007__delivery,r_0074_0005__before).
arc(r_0074_0006__the_r_0074_0007__delivery,r_0074_0009__a_r_0074_0010__computer,r_0074_0008__of).
arc(r_0074_0012__and,r_0074_0003__begins,conj1).
arc(r_0074_0012__and,r_0074_0013__continues,conj2).
arc(r_0074_0013__continues,r_0074_0001__Service,inv_arg0).
arc(r_0074_0013__continues,r_0074_0015__depth,r_0074_0014__in__nim).
arc(r_0074_0013__continues,r_0074_0017__after,nim).
arc(r_0074_0017__after,r_0074_0016__long,qual).
arc(z_0074_5013,r_0074_0001__Service,z_0074_5002).

fof(formula,axiom,
    ? [R_0074_0009__A_R_0074_0010__COMPUTER,R_0074_0006__THE_R_0074_0007__DELIVERY,R_0074_0004__LONG,R_0074_0003__BEGINS,R_0074_0015__DEPTH,R_0074_0016__LONG,R_0074_0017__AFTER,R_0074_0013__CONTINUES,R_0074_0012__AND,R_0074_0001__SERVICE,Z_0074_5013] :
      ( r_0074_0009__a_r_0074_0010__computer(R_0074_0009__A_R_0074_0010__COMPUTER)
      & r_0074_0015__depth(R_0074_0015__DEPTH)
      & r_0074_0016__long(R_0074_0016__LONG)
      & z_0074_5013(Z_0074_5013)
      & has_z_0074_5002(Z_0074_5013,R_0074_0001__SERVICE)
      & r_0074_0001__Service(R_0074_0001__SERVICE)
      & has_inv_arg0(R_0074_0001__SERVICE,R_0074_0013__CONTINUES)
      & r_0074_0013__continues(R_0074_0013__CONTINUES)
      & has_nim(R_0074_0013__CONTINUES,R_0074_0017__AFTER)
      & r_0074_0017__after(R_0074_0017__AFTER)
      & has_qual(R_0074_0017__AFTER,R_0074_0016__LONG)
      & has_r_0074_0014__in__nim(R_0074_0013__CONTINUES,R_0074_0015__DEPTH)
      & has_inv_arg0(R_0074_0001__SERVICE,R_0074_0003__BEGINS)
      & r_0074_0003__begins(R_0074_0003__BEGINS)
      & has_nim(R_0074_0003__BEGINS,R_0074_0004__LONG)
      & r_0074_0004__long(R_0074_0004__LONG)
      & has_r_0074_0005__before(R_0074_0004__LONG,R_0074_0006__THE_R_0074_0007__DELIVERY)
      & r_0074_0006__the_r_0074_0007__delivery(R_0074_0006__THE_R_0074_0007__DELIVERY)
      & has_r_0074_0008__of(R_0074_0006__THE_R_0074_0007__DELIVERY,R_0074_0009__A_R_0074_0010__COMPUTER)
      & r_0074_0012__and(R_0074_0012__AND)
      & has_conj2(R_0074_0012__AND,R_0074_0013__CONTINUES)
      & has_conj1(R_0074_0012__AND,R_0074_0003__BEGINS) ) ).