( (IP-MAT (NP-SBJ;{EXPERT} (PRO He;{he}))
          (VBD;_Tf_ said;{say})
          (CP-THT-OB1 (IP-SUB (ILYR (ILYR (C that;{that})
                                          (NP-SBJ;{NORTH} (NPR Oliver;{Oliver})
                                                          (NPR North;{North})
                                                          (PP (P-ROLE of;{of})
                                                              (NP (NPR Iran_<hyphen>_Contra;{Iran_Contra})
                                                                  (N notoriety;{notoriety}))))
                                          (VBD;_Tf_ thought;{think})
                                          (CP-THT-OB1 (IP-SUB (NP-SBJ;{NORTH} (PRO he;{he}))
                                                              (HVD;_cat_Ve_ had;{have})
                                                              (IP-PPL-CAT (VVN;_Tn_ erased;{erase})
                                                                          (NP-OB1 (NP-GEN;{NORTH} (PRO;_genm_ his;{his}))
                                                                                  (N computer;{computer}))))))
                                    (CONJP (CONJ but;{but})
                                           (ILYR (C that;{that})
                                                 (NP-SBJ;{INFO} (D the;{the})
                                                                (N information;{information}))
                                                 (BED;_cat_VePASS_ was;{be})
                                                 (IP-PPL-CAT (NP-LGS *)
                                                             (ADVP-NIM (ADVR later;{late}))
                                                             (VVN;_Tn_ retrieved;{retrieve}))
                                                 (PP-SCON (IP-INF (P-CONN for;{for})
                                                                  (NP-SBJ (ADJP (ADJ congressional;{congressional}))
                                                                          (NS committees;{committee}))
                                                                  (TO to;{to})
                                                                  (VB;_I_ read;{read}))))))))
          (PUNC .))
  (ID 17_a_wsj_1640))

arc(r_0017_0002__said,r_0017_0001__He,arg0).
arc(r_0017_0002__said,r_0017_0015__but,arg1).
arc(r_0017_0004__Oliver_r_0017_0005__North,r_0017_0007__Iran__hyphen__Contra_r_0017_0008__notoriety,r_0017_0006__of).
arc(r_0017_0009__thought,r_0017_0004__Oliver_r_0017_0005__North,arg0).
arc(r_0017_0009__thought,r_0017_0011__had,arg1).
arc(r_0017_0011__had,r_0017_0012__erased,scope).
arc(r_0017_0012__erased,r_0017_0004__Oliver_r_0017_0005__North,arg0).
arc(r_0017_0012__erased,r_0017_0014__computer,arg1).
arc(r_0017_0014__computer,r_0017_0004__Oliver_r_0017_0005__North,gen).
arc(r_0017_0015__but,r_0017_0009__thought,conj1).
arc(r_0017_0015__but,z_0017_5012,conj2).
arc(r_0017_0019__was,r_0017_0021__retrieved,scope).
arc(r_0017_0021__retrieved,r_0017_0017__the_r_0017_0018__information,arg1).
arc(r_0017_0021__retrieved,r_0017_0020__later,nim).
arc(r_0017_0021__retrieved,z_0017_5019___star_,arg0).
arc(r_0017_0024__committees,r_0017_0023__congressional,attrib).
arc(r_0017_0026__read,r_0017_0024__committees,arg0).
arc(z_0017_5012,r_0017_0019__was,scope).
arc(z_0017_5012,r_0017_0026__read,restriction).

fof(formula,axiom,
    ? [R_0017_0001__HE,R_0017_0007__IRAN__HYPHEN__CONTRA_R_0017_0008__NOTORIETY,R_0017_0004__OLIVER_R_0017_0005__NORTH,R_0017_0014__COMPUTER,R_0017_0011__HAD_R_0017_0012__ERASED,R_0017_0009__THOUGHT,R_0017_0017__THE_R_0017_0018__INFORMATION,R_0017_0020__LATER,Z_0017_5019___STAR_,R_0017_0019__WAS_R_0017_0021__RETRIEVED,R_0017_0023__CONGRESSIONAL,R_0017_0024__COMMITTEES,R_0017_0026__READ,Z_0017_5012,R_0017_0015__BUT,R_0017_0002__SAID] :
      ( r_0017_0001__He(R_0017_0001__HE)
      & r_0017_0007__Iran__hyphen__Contra_r_0017_0008__notoriety(R_0017_0007__IRAN__HYPHEN__CONTRA_R_0017_0008__NOTORIETY)
      & r_0017_0017__the_r_0017_0018__information(R_0017_0017__THE_R_0017_0018__INFORMATION)
      & r_0017_0020__later(R_0017_0020__LATER)
      & r_0017_0023__congressional(R_0017_0023__CONGRESSIONAL)
      & z_0017_5019___star_(Z_0017_5019___STAR_)
      & r_0017_0002__said(R_0017_0002__SAID)
      & has_arg1(R_0017_0002__SAID,R_0017_0015__BUT)
      & r_0017_0015__but(R_0017_0015__BUT)
      & has_conj2(R_0017_0015__BUT,Z_0017_5012)
      & z_0017_5012(Z_0017_5012)
      & has_conj1(Z_0017_5012,R_0017_0026__READ)
      & r_0017_0026__read(R_0017_0026__READ)
      & has_arg0(R_0017_0026__READ,R_0017_0024__COMMITTEES)
      & r_0017_0024__committees(R_0017_0024__COMMITTEES)
      & has_attrib(R_0017_0024__COMMITTEES,R_0017_0023__CONGRESSIONAL)
      & has_conj2(Z_0017_5012,R_0017_0019__WAS_R_0017_0021__RETRIEVED)
      & r_0017_0019__was_r_0017_0021__retrieved(R_0017_0019__WAS_R_0017_0021__RETRIEVED)
      & has_arg0(R_0017_0019__WAS_R_0017_0021__RETRIEVED,Z_0017_5019___STAR_)
      & has_nim(R_0017_0019__WAS_R_0017_0021__RETRIEVED,R_0017_0020__LATER)
      & has_arg1(R_0017_0019__WAS_R_0017_0021__RETRIEVED,R_0017_0017__THE_R_0017_0018__INFORMATION)
      & has_conj1(R_0017_0015__BUT,R_0017_0009__THOUGHT)
      & r_0017_0009__thought(R_0017_0009__THOUGHT)
      & has_arg1(R_0017_0009__THOUGHT,R_0017_0011__HAD_R_0017_0012__ERASED)
      & r_0017_0011__had_r_0017_0012__erased(R_0017_0011__HAD_R_0017_0012__ERASED)
      & has_arg1(R_0017_0011__HAD_R_0017_0012__ERASED,R_0017_0014__COMPUTER)
      & r_0017_0014__computer(R_0017_0014__COMPUTER)
      & has_gen(R_0017_0014__COMPUTER,R_0017_0004__OLIVER_R_0017_0005__NORTH)
      & r_0017_0004__Oliver_r_0017_0005__North(R_0017_0004__OLIVER_R_0017_0005__NORTH)
      & has_r_0017_0006__of(R_0017_0004__OLIVER_R_0017_0005__NORTH,R_0017_0007__IRAN__HYPHEN__CONTRA_R_0017_0008__NOTORIETY)
      & has_arg0(R_0017_0011__HAD_R_0017_0012__ERASED,R_0017_0004__OLIVER_R_0017_0005__NORTH)
      & has_arg0(R_0017_0009__THOUGHT,R_0017_0004__OLIVER_R_0017_0005__NORTH)
      & has_arg0(R_0017_0002__SAID,R_0017_0001__HE) ) ).