arc(r_0017_0002__said, r_0017_0001__He, arg0).
arc(r_0017_0002__said, r_0017_0015__but, arg1).
arc(r_0017_0003__that_r_0017_0009__thought, r_0017_0004__Oliver_r_0017_0005__North, arg0).
arc(r_0017_0003__that_r_0017_0009__thought, r_0017_0011__had, 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_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_0003__that_r_0017_0009__thought, conj1).
arc(r_0017_0015__but, z_000_17_a_wsj_1640_65, conj2).
arc(r_0017_0016__that_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, nim60).
arc(r_0017_0021__retrieved, z_000_17_a_wsj_1640_58, arg0).
arc(r_0017_0022__for_r_0017_0025__to_r_0017_0026__read, r_0017_0024__committees, arg0).
arc(r_0017_0024__committees, r_0017_0023__congressional, attrib70).
arc(z_000_17_a_wsj_1640_65, r_0017_0016__that_r_0017_0019__was, scope).
arc(z_000_17_a_wsj_1640_65, r_0017_0022__for_r_0017_0025__to_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_0003__THAT_R_0017_0009__THOUGHT,R_0017_0017__THE_R_0017_0018__INFORMATION,R_0017_0020__LATER,Z_000_17_A_WSJ_1640_58,R_0017_0016__THAT_R_0017_0019__WAS_R_0017_0021__RETRIEVED,R_0017_0023__CONGRESSIONAL,R_0017_0024__COMMITTEES,R_0017_0022__FOR_R_0017_0025__TO_R_0017_0026__READ,Z_000_17_A_WSJ_1640_65,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_000_17_a_wsj_1640_58(Z_000_17_A_WSJ_1640_58)
      & 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_000_17_A_WSJ_1640_65)
      & z_000_17_a_wsj_1640_65(Z_000_17_A_WSJ_1640_65)
      & has_conj1(Z_000_17_A_WSJ_1640_65,R_0017_0022__FOR_R_0017_0025__TO_R_0017_0026__READ)
      & r_0017_0022__for_r_0017_0025__to_r_0017_0026__read(R_0017_0022__FOR_R_0017_0025__TO_R_0017_0026__READ)
      & has_arg0(R_0017_0022__FOR_R_0017_0025__TO_R_0017_0026__READ,R_0017_0024__COMMITTEES)
      & r_0017_0024__committees(R_0017_0024__COMMITTEES)
      & has_attrib70(R_0017_0024__COMMITTEES,R_0017_0023__CONGRESSIONAL)
      & has_conj2(Z_000_17_A_WSJ_1640_65,R_0017_0016__THAT_R_0017_0019__WAS_R_0017_0021__RETRIEVED)
      & r_0017_0016__that_r_0017_0019__was_r_0017_0021__retrieved(R_0017_0016__THAT_R_0017_0019__WAS_R_0017_0021__RETRIEVED)
      & has_arg0(R_0017_0016__THAT_R_0017_0019__WAS_R_0017_0021__RETRIEVED,Z_000_17_A_WSJ_1640_58)
      & has_nim60(R_0017_0016__THAT_R_0017_0019__WAS_R_0017_0021__RETRIEVED,R_0017_0020__LATER)
      & has_arg1(R_0017_0016__THAT_R_0017_0019__WAS_R_0017_0021__RETRIEVED,R_0017_0017__THE_R_0017_0018__INFORMATION)
      & has_conj1(R_0017_0015__BUT,R_0017_0003__THAT_R_0017_0009__THOUGHT)
      & r_0017_0003__that_r_0017_0009__thought(R_0017_0003__THAT_R_0017_0009__THOUGHT)
      & has_arg1(R_0017_0003__THAT_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_0003__THAT_R_0017_0009__THOUGHT,R_0017_0004__OLIVER_R_0017_0005__NORTH)
      & has_arg0(R_0017_0002__SAID,R_0017_0001__HE) ) ).

( (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))