arc(r_0015_0001__A_r_0015_0003__program_r_0015_0004__machine, r_0015_0002__stored, attrib5).
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_nim38).
arc(r_0015_0011__instructions, z_000_15_a_ibm_1401_26, gen).
arc(r_0015_0014__form, r_0015_0013__magnetic, attrib39).
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_000_15_a_ibm_1401_67, r_0015_0018__of).
arc(r_0015_0019__acting, r_0015_0021__those_r_0015_0022__instructions, r_0015_0020__on_clr62).
arc(r_0015_0019__acting, z_000_15_a_ibm_1401_56, arg0).
arc(r_0015_0023__to_r_0015_0024__complete, r_0015_0025__the_r_0015_0026__application, arg1).
arc(r_0015_0023__to_r_0015_0024__complete, z_000_15_a_ibm_1401_56, arg0).
arc(r_0015_0027__assigned, r_0015_0025__the_r_0015_0026__application, arg1).
arc(r_0015_0027__assigned, z_000_15_a_ibm_1401_79, arg0).
arc(z_000_15_a_ibm_1401_26, r_0015_0001__A_r_0015_0003__program_r_0015_0004__machine, gen).
arc(z_000_15_a_ibm_1401_26, r_0015_0010__own, attrib30).
arc(z_000_15_a_ibm_1401_67, r_0015_0019__acting, scope).
arc(z_000_15_a_ibm_1401_67, r_0015_0023__to_r_0015_0024__complete, restriction).

fof(formula,axiom,
    ? [R_15_5_IS,R_15_15_AND,R_15_8_STORES,R_15_11_INSTRUCTIONS,Z_15_A_IBM_1401_26,R_15_10_OWN,R_15_1_A_PROGRAM_MACHINE,R_15_2_STORED,R_15_14_FORM,R_15_13_MAGNETIC,R_15_16_IS,R_15_6_ONE,R_15_17_CAPABLE,Z_15_A_IBM_1401_67,R_15_23_TO_COMPLETE,R_15_19_ACTING,Z_15_A_IBM_1401_56,R_15_21_THOSE_INSTRUCTIONS,R_15_27_ASSIGNED,Z_15_A_IBM_1401_79,R_15_25_THE_APPLICATION] :
      ( own(R_15_10_OWN)
      & stored(R_15_2_STORED)
      & magnetic(R_15_13_MAGNETIC)
      & one(R_15_6_ONE)
      & those_instructions(R_15_21_THOSE_INSTRUCTIONS)
      & the_application(R_15_25_THE_APPLICATION)
      & is(R_15_5_IS,R_15_1_A_PROGRAM_MACHINE,R_15_6_ONE)
      & a_program_machine(R_15_1_A_PROGRAM_MACHINE)
      & attrib5(R_15_1_A_PROGRAM_MACHINE,R_15_2_STORED)
      & and(R_15_15_AND)
      & conj1(R_15_15_AND,R_15_8_STORES)
      & stores(R_15_8_STORES,R_15_6_ONE,R_15_11_INSTRUCTIONS)
      & instructions(R_15_11_INSTRUCTIONS)
      & gen(R_15_11_INSTRUCTIONS,Z_15_A_IBM_1401_26)
      & z_15_a_ibm_1401_26(Z_15_A_IBM_1401_26)
      & attrib30(Z_15_A_IBM_1401_26,R_15_10_OWN)
      & gen(Z_15_A_IBM_1401_26,R_15_1_A_PROGRAM_MACHINE)
      & in_nim38(R_15_8_STORES,R_15_14_FORM)
      & form(R_15_14_FORM)
      & attrib39(R_15_14_FORM,R_15_13_MAGNETIC)
      & conj2(R_15_15_AND,R_15_16_IS)
      & is(R_15_16_IS,R_15_6_ONE,R_15_17_CAPABLE)
      & capable(R_15_17_CAPABLE)
      & of(R_15_17_CAPABLE,Z_15_A_IBM_1401_67)
      & z_15_a_ibm_1401_67(Z_15_A_IBM_1401_67)
      & conj1(Z_15_A_IBM_1401_67,R_15_23_TO_COMPLETE)
      & to_complete(R_15_23_TO_COMPLETE,Z_15_A_IBM_1401_56,R_15_25_THE_APPLICATION)
      & conj2(Z_15_A_IBM_1401_67,R_15_19_ACTING)
      & acting(R_15_19_ACTING,Z_15_A_IBM_1401_56)
      & on_clr62(R_15_19_ACTING,R_15_21_THOSE_INSTRUCTIONS)
      & assigned(R_15_27_ASSIGNED,Z_15_A_IBM_1401_79,R_15_25_THE_APPLICATION) ) ).

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