( (IP-MAT (NP-SBJ;{SEUNG_LEE} (NPR Seung;{Seung})
                              (NPR Lee;{Lee})
                              (PUNC ,)
                              (PP (P-ROLE from;{from})
                                  (NP (D the;{the})
                                      (NPR San;{San})
                                      (NPR Jose;{Jose})
                                      (NPR Mercury;{Mercury})
                                      (NPR News;{News}))))
          (PUNC ,)
          (VBD;_phr_Vp.pr_ went;{go[through,with]})
          (RP through;{through})
          (PP-NIM (P-ROLE with;{with})
                  (NP (D the;{the})
                      (N reservation;{reservation})))
          (PP-SCON (P-CONN before;{before})
                   (IP-PPL (ADVP-NIM (ADV suddenly;{suddenly}))
                           (VAG;_Tf_ saying;{say})
                           (CP-THT-OB1 (IP-SUB (ILYR (ILYR (NP-SBJ;{SEUNG_LEE} (PRO he;{he}))
                                                           (HVD;_cat_Ve_ <apos>d;{have})
                                                           (IP-PPL-CAT (VVN;_Tn_ made;{make})
                                                                       (NP-OB1 (D a;{a})
                                                                               (N mistake;{mistake}))))
                                                     (CONJP (CONJ and;{and})
                                                            (ILYR;{MISTAKE} (EX there;{there})
                                                                            (BED;_ex_V_ was;{be})
                                                                            (NEG;_clitic_ n<apos>t;{not})
                                                                            (ADVP-NIM (ADV actually;{actually}))
                                                                            (NP-ESBJ (D a;{a})
                                                                                     (N table;{table}))
                                                                            (ADVP-NIM (ADV after_all;{after_all})))))))))
          (PUNC .))
  (ID 31_a_duplex))

arc(r_0031_0001__Seung_r_0031_0002__Lee,r_0031_0005__the_r_0031_0006__San_r_0031_0007__Jose_r_0031_0008__Mercury_r_0031_0009__News,r_0031_0004__from).
arc(r_0031_0011__went_r_0031_0012__through,r_0031_0001__Seung_r_0031_0002__Lee,arg0).
arc(r_0031_0011__went_r_0031_0012__through,r_0031_0014__the_r_0031_0015__reservation,r_0031_0013__with__nim).
arc(r_0031_0016__before,r_0031_0011__went_r_0031_0012__through,scope).
arc(r_0031_0016__before,r_0031_0018__saying,restriction).
arc(r_0031_0018__saying,r_0031_0001__Seung_r_0031_0002__Lee,arg0).
arc(r_0031_0018__saying,r_0031_0017__suddenly,nim).
arc(r_0031_0018__saying,r_0031_0024__and,arg1).
arc(r_0031_0020___apos_d,r_0031_0021__made,scope).
arc(r_0031_0021__made,r_0031_0001__Seung_r_0031_0002__Lee,arg0).
arc(r_0031_0021__made,r_0031_0022__a_r_0031_0023__mistake,arg1).
arc(r_0031_0024__and,r_0031_0020___apos_d,conj1).
arc(r_0031_0024__and,r_0031_0027__n_apos_t,conj2).
arc(r_0031_0026__was,r_0031_0028__actually,nim).
arc(r_0031_0026__was,r_0031_0029__a_r_0031_0030__table,arg0).
arc(r_0031_0026__was,r_0031_0031__after_all,nim).
arc(r_0031_0027__n_apos_t,r_0031_0026__was,keep_scope).

fof(formula,axiom,
    ? [R_0031_0005__THE_R_0031_0006__SAN_R_0031_0007__JOSE_R_0031_0008__MERCURY_R_0031_0009__NEWS,R_0031_0001__SEUNG_R_0031_0002__LEE,R_0031_0014__THE_R_0031_0015__RESERVATION,R_0031_0011__WENT_R_0031_0012__THROUGH,R_0031_0017__SUDDENLY,R_0031_0022__A_R_0031_0023__MISTAKE,R_0031_0020___APOS_D_R_0031_0021__MADE,R_0031_0024__AND,R_0031_0018__SAYING,R_0031_0016__BEFORE] :
      ( r_0031_0005__the_r_0031_0006__San_r_0031_0007__Jose_r_0031_0008__Mercury_r_0031_0009__News(R_0031_0005__THE_R_0031_0006__SAN_R_0031_0007__JOSE_R_0031_0008__MERCURY_R_0031_0009__NEWS)
      & r_0031_0014__the_r_0031_0015__reservation(R_0031_0014__THE_R_0031_0015__RESERVATION)
      & r_0031_0017__suddenly(R_0031_0017__SUDDENLY)
      & r_0031_0022__a_r_0031_0023__mistake(R_0031_0022__A_R_0031_0023__MISTAKE)
      & r_0031_0016__before(R_0031_0016__BEFORE)
      & has_conj1(R_0031_0016__BEFORE,R_0031_0018__SAYING)
      & r_0031_0018__saying(R_0031_0018__SAYING)
      & has_arg1(R_0031_0018__SAYING,R_0031_0024__AND)
      & r_0031_0024__and(R_0031_0024__AND)
      & has_conj2(R_0031_0024__AND,R_0031_0027__N_APOS_T)
      & ~ ? [R_0031_0028__ACTUALLY,R_0031_0029__A_R_0031_0030__TABLE,R_0031_0031__AFTER_ALL,R_0031_0026__WAS] :
            ( r_0031_0028__actually(R_0031_0028__ACTUALLY)
            & r_0031_0029__a_r_0031_0030__table(R_0031_0029__A_R_0031_0030__TABLE)
            & r_0031_0031__after_all(R_0031_0031__AFTER_ALL)
            & r_0031_0026__was(R_0031_0026__WAS)
            & has_nim(R_0031_0026__WAS,R_0031_0031__AFTER_ALL)
            & has_arg0(R_0031_0026__WAS,R_0031_0029__A_R_0031_0030__TABLE)
            & has_nim(R_0031_0026__WAS,R_0031_0028__ACTUALLY) )
      & has_conj1(R_0031_0024__AND,R_0031_0020___APOS_D_R_0031_0021__MADE)
      & r_0031_0020___apos_d_r_0031_0021__made(R_0031_0020___APOS_D_R_0031_0021__MADE)
      & has_arg1(R_0031_0020___APOS_D_R_0031_0021__MADE,R_0031_0022__A_R_0031_0023__MISTAKE)
      & has_arg0(R_0031_0020___APOS_D_R_0031_0021__MADE,R_0031_0001__SEUNG_R_0031_0002__LEE)
      & r_0031_0001__Seung_r_0031_0002__Lee(R_0031_0001__SEUNG_R_0031_0002__LEE)
      & has_r_0031_0004__from(R_0031_0001__SEUNG_R_0031_0002__LEE,R_0031_0005__THE_R_0031_0006__SAN_R_0031_0007__JOSE_R_0031_0008__MERCURY_R_0031_0009__NEWS)
      & has_nim(R_0031_0018__SAYING,R_0031_0017__SUDDENLY)
      & has_arg0(R_0031_0018__SAYING,R_0031_0001__SEUNG_R_0031_0002__LEE)
      & has_conj2(R_0031_0016__BEFORE,R_0031_0011__WENT_R_0031_0012__THROUGH)
      & r_0031_0011__went_r_0031_0012__through(R_0031_0011__WENT_R_0031_0012__THROUGH)
      & has_r_0031_0013__with__nim(R_0031_0011__WENT_R_0031_0012__THROUGH,R_0031_0014__THE_R_0031_0015__RESERVATION)
      & has_arg0(R_0031_0011__WENT_R_0031_0012__THROUGH,R_0031_0001__SEUNG_R_0031_0002__LEE) ) ).