( (IP-MAT (NP-SBJ;{PREPARATION_OF_PROGRAMS} (D;_nphd_ This;{this}))
          (BEP;_La_ is;{be})
          (ADJP-PRD (ADJ possible;{possible}))
          (PP-NIM (P-ROLE because_of;{because_of})
                  (NP;{REPORT_GENERATOR} (D the;{the})
                                         (NPR IBM;{IBM})
                                         (N Report;{report})
                                         (N Program;{program})
                                         (N Generator;{generator})
                                         (PUNC ,)
                                         (PRN (NP (D a;{a})
                                                  (ADJP (ADJ unique;{unique}))
                                                  (N system;{system})
                                                  (IP-REL (NP-SBJ (RPRO which;{which}))
                                                          (VBP;_Cn.t_ permits;{permit})
                                                          (NP-OB1 (NS programs;{program}))
                                                          (IP-INF-PRD (TO to;{to})
                                                                      (BE;_cat_VePASS_ be;{be})
                                                                      (IP-PPL-CAT (NP-LGS *)
                                                                                  (VVN;_Tn_ created;{create})
                                                                                  (PP-NIM (P-ROLE with;{with})
                                                                                          (NP (D a;{a})
                                                                                              (N minimum;{minimum})
                                                                                              (PP (P-ROLE of;{of})
                                                                                                  (NP (NLYR (NLYR (N time;{time}))
                                                                                                            (CONJP (CONJ and;{and})
                                                                                                                   (NLYR (N effort;{effort})))))))))))))))
          (PUNC .))
  (ID 65_a_ibm_1401))

arc(r_0065_0002__is,r_0065_0001__This,arg0).
arc(r_0065_0002__is,r_0065_0003__possible,prd).
arc(r_0065_0002__is,r_0065_0005__the_r_0065_0006__IBM_r_0065_0007__Report_r_0065_0008__Program_r_0065_0009__Generator,r_0065_0004__because_of__nim).
arc(r_0065_0011__a_r_0065_0013__system,r_0065_0012__unique,attrib).
arc(r_0065_0015__permits,r_0065_0011__a_r_0065_0013__system,arg0).
arc(r_0065_0015__permits,r_0065_0016__programs,arg1).
arc(r_0065_0015__permits,r_0065_0018__be,prd).
arc(r_0065_0018__be,r_0065_0019__created,scope).
arc(r_0065_0019__created,r_0065_0021__a_r_0065_0022__minimum,r_0065_0020__with__nim).
arc(r_0065_0019__created,z_0065_5007,arg1).
arc(r_0065_0019__created,z_0065_5013___star_,arg0).
arc(r_0065_0021__a_r_0065_0022__minimum,r_0065_0025__and,r_0065_0023__of).
arc(r_0065_0025__and,r_0065_0024__time,conj1).
arc(r_0065_0025__and,r_0065_0026__effort,conj2).
arc(z_0065_5017,r_0065_0005__the_r_0065_0006__IBM_r_0065_0007__Report_r_0065_0008__Program_r_0065_0009__Generator,arg0).
arc(z_0065_5017,r_0065_0011__a_r_0065_0013__system,prd).

fof(formula,axiom,
    ? [R_0065_0001__THIS,R_0065_0003__POSSIBLE,R_0065_0005__THE_R_0065_0006__IBM_R_0065_0007__REPORT_R_0065_0008__PROGRAM_R_0065_0009__GENERATOR,R_0065_0002__IS,R_0065_0012__UNIQUE,R_0065_0011__A_R_0065_0013__SYSTEM,R_0065_0016__PROGRAMS,R_0065_0024__TIME,R_0065_0026__EFFORT,R_0065_0025__AND,R_0065_0021__A_R_0065_0022__MINIMUM,Z_0065_5007,Z_0065_5013___STAR_,R_0065_0018__BE_R_0065_0019__CREATED,R_0065_0015__PERMITS,Z_0065_5017] :
      ( r_0065_0001__This(R_0065_0001__THIS)
      & r_0065_0003__possible(R_0065_0003__POSSIBLE)
      & r_0065_0005__the_r_0065_0006__IBM_r_0065_0007__Report_r_0065_0008__Program_r_0065_0009__Generator(R_0065_0005__THE_R_0065_0006__IBM_R_0065_0007__REPORT_R_0065_0008__PROGRAM_R_0065_0009__GENERATOR)
      & r_0065_0012__unique(R_0065_0012__UNIQUE)
      & r_0065_0016__programs(R_0065_0016__PROGRAMS)
      & r_0065_0024__time(R_0065_0024__TIME)
      & r_0065_0026__effort(R_0065_0026__EFFORT)
      & z_0065_5007(Z_0065_5007)
      & z_0065_5013___star_(Z_0065_5013___STAR_)
      & z_0065_5017(Z_0065_5017)
      & has_prd(Z_0065_5017,R_0065_0011__A_R_0065_0013__SYSTEM)
      & r_0065_0011__a_r_0065_0013__system(R_0065_0011__A_R_0065_0013__SYSTEM)
      & has_attrib(R_0065_0011__A_R_0065_0013__SYSTEM,R_0065_0012__UNIQUE)
      & has_arg0(Z_0065_5017,R_0065_0005__THE_R_0065_0006__IBM_R_0065_0007__REPORT_R_0065_0008__PROGRAM_R_0065_0009__GENERATOR)
      & r_0065_0015__permits(R_0065_0015__PERMITS)
      & has_prd(R_0065_0015__PERMITS,R_0065_0018__BE_R_0065_0019__CREATED)
      & r_0065_0018__be_r_0065_0019__created(R_0065_0018__BE_R_0065_0019__CREATED)
      & has_arg0(R_0065_0018__BE_R_0065_0019__CREATED,Z_0065_5013___STAR_)
      & has_arg1(R_0065_0018__BE_R_0065_0019__CREATED,Z_0065_5007)
      & has_r_0065_0020__with__nim(R_0065_0018__BE_R_0065_0019__CREATED,R_0065_0021__A_R_0065_0022__MINIMUM)
      & r_0065_0021__a_r_0065_0022__minimum(R_0065_0021__A_R_0065_0022__MINIMUM)
      & has_r_0065_0023__of(R_0065_0021__A_R_0065_0022__MINIMUM,R_0065_0025__AND)
      & r_0065_0025__and(R_0065_0025__AND)
      & has_conj2(R_0065_0025__AND,R_0065_0026__EFFORT)
      & has_conj1(R_0065_0025__AND,R_0065_0024__TIME)
      & has_arg1(R_0065_0015__PERMITS,R_0065_0016__PROGRAMS)
      & has_arg0(R_0065_0015__PERMITS,R_0065_0011__A_R_0065_0013__SYSTEM)
      & r_0065_0002__is(R_0065_0002__IS)
      & has_r_0065_0004__because_of__nim(R_0065_0002__IS,R_0065_0005__THE_R_0065_0006__IBM_R_0065_0007__REPORT_R_0065_0008__PROGRAM_R_0065_0009__GENERATOR)
      & has_prd(R_0065_0002__IS,R_0065_0003__POSSIBLE)
      & has_arg0(R_0065_0002__IS,R_0065_0001__THIS) ) ).