( (IP-MAT (NP-SBJ;{MACHINE} (D A;{a})
                            (ADJP (ADJ stored;{stored}))
                            (N program;{program})
                            (N machine;{machine}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (NUM one;{one})
                  (IP-REL (NP-SBJ (RPRO which;{which}))
                          (ILYR (ILYR (VBP;_Tn_ stores;{store})
                                      (NP-OB1 (NP-GEN (NP-GEN;{MACHINE} (PRO;_genm_ its;{its}))
                                                      (ADJP (ADJ own;{own})))
                                              (NS instructions;{instruction}))
                                      (PP-NIM (P-ROLE in;{in})
                                              (NP (ADJP (ADJ magnetic;{magnetic}))
                                                  (N form;{form}))))
                                (CONJP (CONJ and;{and})
                                       (ILYR (BEP;_La_ is;{be})
                                             (ADJP-PRD (ADJ capable;{capable})
                                                       (PP (P-ROLE of;{of})
                                                           (IP-PPL (VAG;_phr_Vpr_ acting;{act[on]})
                                                                   (PP-CLR (P-ROLE on;{on})
                                                                           (NP (D those;{those})
                                                                               (NS instructions;{instruction})))
                                                                   (PP-SCON (IP-INF2 (TO to;{to})
                                                                                     (VB;_Tn_ complete;{complete})
                                                                                     (NP-OB1 (D the;{the})
                                                                                             (N application;{application})
                                                                                             (IP-PPL (NP-LGS *)
                                                                                                     (VVN;_Tn_ assigned;{assign})))))))))))))
          (PUNC .))
  (ID 15_a_ibm_1401))

arc(r_0015_0001__A_r_0015_0003__program_r_0015_0004__machine,r_0015_0002__stored,attrib).
arc(r_0015_0005__is,r_0015_0001__A_r_0015_0003__program_r_0015_0004__machine,arg0).
arc(r_0015_0005__is,r_0015_0006__one,prd).
arc(r_0015_0008__stores,r_0015_0006__one,arg0).
arc(r_0015_0008__stores,r_0015_0011__instructions,arg1).
arc(r_0015_0008__stores,r_0015_0014__form,r_0015_0012__in__nim).
arc(r_0015_0011__instructions,z_0015_5008,gen).
arc(r_0015_0014__form,r_0015_0013__magnetic,attrib).
arc(r_0015_0015__and,r_0015_0008__stores,conj1).
arc(r_0015_0015__and,r_0015_0016__is,conj2).
arc(r_0015_0016__is,r_0015_0006__one,arg0).
arc(r_0015_0016__is,r_0015_0017__capable,prd).
arc(r_0015_0017__capable,z_0015_5017,r_0015_0018__of).
arc(r_0015_0019__acting,r_0015_0021__those_r_0015_0022__instructions,r_0015_0020__on__clr).
arc(r_0015_0019__acting,z_0015_5015,arg0).
arc(r_0015_0024__complete,r_0015_0025__the_r_0015_0026__application,arg1).
arc(r_0015_0024__complete,z_0015_5015,arg0).
arc(r_0015_0027__assigned,r_0015_0025__the_r_0015_0026__application,inv_arg1).
arc(r_0015_0027__assigned,z_0015_5020___star_,arg0).
arc(z_0015_5008,r_0015_0001__A_r_0015_0003__program_r_0015_0004__machine,gen).
arc(z_0015_5008,r_0015_0010__own,attrib).
arc(z_0015_5017,r_0015_0019__acting,scope).
arc(z_0015_5017,r_0015_0024__complete,restriction).

fof(formula,axiom,
    ? [R_0015_0002__STORED,R_0015_0001__A_R_0015_0003__PROGRAM_R_0015_0004__MACHINE,R_0015_0006__ONE,R_0015_0005__IS,R_0015_0010__OWN,Z_0015_5008,R_0015_0011__INSTRUCTIONS,R_0015_0013__MAGNETIC,R_0015_0014__FORM,R_0015_0008__STORES,R_0015_0021__THOSE_R_0015_0022__INSTRUCTIONS,Z_0015_5015,R_0015_0019__ACTING,Z_0015_5020___STAR_,R_0015_0027__ASSIGNED,R_0015_0025__THE_R_0015_0026__APPLICATION,R_0015_0024__COMPLETE,Z_0015_5017,R_0015_0017__CAPABLE,R_0015_0016__IS,R_0015_0015__AND] :
      ( r_0015_0002__stored(R_0015_0002__STORED)
      & r_0015_0006__one(R_0015_0006__ONE)
      & r_0015_0010__own(R_0015_0010__OWN)
      & r_0015_0013__magnetic(R_0015_0013__MAGNETIC)
      & r_0015_0021__those_r_0015_0022__instructions(R_0015_0021__THOSE_R_0015_0022__INSTRUCTIONS)
      & z_0015_5015(Z_0015_5015)
      & z_0015_5020___star_(Z_0015_5020___STAR_)
      & r_0015_0015__and(R_0015_0015__AND)
      & has_conj2(R_0015_0015__AND,R_0015_0016__IS)
      & r_0015_0016__is(R_0015_0016__IS)
      & has_prd(R_0015_0016__IS,R_0015_0017__CAPABLE)
      & r_0015_0017__capable(R_0015_0017__CAPABLE)
      & has_r_0015_0018__of(R_0015_0017__CAPABLE,Z_0015_5017)
      & z_0015_5017(Z_0015_5017)
      & has_conj1(Z_0015_5017,R_0015_0024__COMPLETE)
      & r_0015_0024__complete(R_0015_0024__COMPLETE)
      & has_arg0(R_0015_0024__COMPLETE,Z_0015_5015)
      & has_arg1(R_0015_0024__COMPLETE,R_0015_0025__THE_R_0015_0026__APPLICATION)
      & r_0015_0025__the_r_0015_0026__application(R_0015_0025__THE_R_0015_0026__APPLICATION)
      & has_inv_arg1(R_0015_0025__THE_R_0015_0026__APPLICATION,R_0015_0027__ASSIGNED)
      & r_0015_0027__assigned(R_0015_0027__ASSIGNED)
      & has_arg0(R_0015_0027__ASSIGNED,Z_0015_5020___STAR_)
      & has_conj2(Z_0015_5017,R_0015_0019__ACTING)
      & r_0015_0019__acting(R_0015_0019__ACTING)
      & has_arg0(R_0015_0019__ACTING,Z_0015_5015)
      & has_r_0015_0020__on__clr(R_0015_0019__ACTING,R_0015_0021__THOSE_R_0015_0022__INSTRUCTIONS)
      & has_arg0(R_0015_0016__IS,R_0015_0006__ONE)
      & has_conj1(R_0015_0015__AND,R_0015_0008__STORES)
      & r_0015_0008__stores(R_0015_0008__STORES)
      & has_r_0015_0012__in__nim(R_0015_0008__STORES,R_0015_0014__FORM)
      & r_0015_0014__form(R_0015_0014__FORM)
      & has_attrib(R_0015_0014__FORM,R_0015_0013__MAGNETIC)
      & has_arg1(R_0015_0008__STORES,R_0015_0011__INSTRUCTIONS)
      & r_0015_0011__instructions(R_0015_0011__INSTRUCTIONS)
      & has_gen(R_0015_0011__INSTRUCTIONS,Z_0015_5008)
      & z_0015_5008(Z_0015_5008)
      & has_attrib(Z_0015_5008,R_0015_0010__OWN)
      & has_gen(Z_0015_5008,R_0015_0001__A_R_0015_0003__PROGRAM_R_0015_0004__MACHINE)
      & r_0015_0001__A_r_0015_0003__program_r_0015_0004__machine(R_0015_0001__A_R_0015_0003__PROGRAM_R_0015_0004__MACHINE)
      & has_attrib(R_0015_0001__A_R_0015_0003__PROGRAM_R_0015_0004__MACHINE,R_0015_0002__STORED)
      & has_arg0(R_0015_0008__STORES,R_0015_0006__ONE)
      & r_0015_0005__is(R_0015_0005__IS)
      & has_prd(R_0015_0005__IS,R_0015_0006__ONE)
      & has_arg0(R_0015_0005__IS,R_0015_0001__A_R_0015_0003__PROGRAM_R_0015_0004__MACHINE) ) ).