arc(r_0037_0003__permit, r_0037_0001__These_r_0037_0002__systems, arg0).
arc(r_0037_0003__permit, r_0037_0004__programs, arg1).
arc(r_0037_0003__permit, z_000_37_a_ibm_1401_22, prd).
arc(r_0037_0005__to_r_0037_0006__be, r_0037_0007__written, scope).
arc(r_0037_0007__written, x_000_37_a_ibm_1401_12, arg1).
arc(r_0037_0007__written, z_000_37_a_ibm_1401_18, arg0).
arc(r_0037_0008__using, r_0037_0010__names, arg1).
arc(r_0037_0008__using, r_0037_0014__rather, nim40).
arc(r_0037_0008__using, z_000_37_a_ibm_1401_23, arg0).
arc(r_0037_0010__names, r_0037_0009__meaningful, attrib27).
arc(r_0037_0014__rather, z_000_37_a_ibm_1401_46, r_0037_0015__than).
arc(r_0037_0017__machine_r_0037_0018__language, r_0037_0016__actual, attrib48).
arc(z_000_37_a_ibm_1401_22, r_0037_0005__to_r_0037_0006__be, scope).
arc(z_000_37_a_ibm_1401_22, r_0037_0008__using, restriction).
arc(z_000_37_a_ibm_1401_34, r_0037_0010__names, arg0).
arc(z_000_37_a_ibm_1401_34, r_0037_0012__symbols, prd).
arc(z_000_37_a_ibm_1401_46, r_0037_0017__machine_r_0037_0018__language, arg1).

fof(formula,axiom,
    ? [R_0037_0001__THESE_R_0037_0002__SYSTEMS,R_0037_0004__PROGRAMS,X_000_37_A_IBM_1401_12,Z_000_37_A_IBM_1401_18,R_0037_0005__TO_R_0037_0006__BE_R_0037_0007__WRITTEN,R_0037_0009__MEANINGFUL,R_0037_0010__NAMES,R_0037_0016__ACTUAL,R_0037_0017__MACHINE_R_0037_0018__LANGUAGE,Z_000_37_A_IBM_1401_46,R_0037_0014__RATHER,Z_000_37_A_IBM_1401_23,R_0037_0008__USING,Z_000_37_A_IBM_1401_22,R_0037_0003__PERMIT,R_0037_0012__SYMBOLS,Z_000_37_A_IBM_1401_34] :
      ( r_0037_0001__These_r_0037_0002__systems(R_0037_0001__THESE_R_0037_0002__SYSTEMS)
      & r_0037_0004__programs(R_0037_0004__PROGRAMS)
      & r_0037_0009__meaningful(R_0037_0009__MEANINGFUL)
      & r_0037_0012__symbols(R_0037_0012__SYMBOLS)
      & r_0037_0016__actual(R_0037_0016__ACTUAL)
      & x_000_37_a_ibm_1401_12(X_000_37_A_IBM_1401_12)
      & z_000_37_a_ibm_1401_18(Z_000_37_A_IBM_1401_18)
      & z_000_37_a_ibm_1401_23(Z_000_37_A_IBM_1401_23)
      & z_000_37_a_ibm_1401_34(Z_000_37_A_IBM_1401_34)
      & has_prd(Z_000_37_A_IBM_1401_34,R_0037_0012__SYMBOLS)
      & has_arg0(Z_000_37_A_IBM_1401_34,R_0037_0010__NAMES)
      & r_0037_0010__names(R_0037_0010__NAMES)
      & has_attrib27(R_0037_0010__NAMES,R_0037_0009__MEANINGFUL)
      & r_0037_0003__permit(R_0037_0003__PERMIT)
      & has_prd(R_0037_0003__PERMIT,Z_000_37_A_IBM_1401_22)
      & z_000_37_a_ibm_1401_22(Z_000_37_A_IBM_1401_22)
      & has_conj1(Z_000_37_A_IBM_1401_22,R_0037_0008__USING)
      & r_0037_0008__using(R_0037_0008__USING)
      & has_arg0(R_0037_0008__USING,Z_000_37_A_IBM_1401_23)
      & has_nim40(R_0037_0008__USING,R_0037_0014__RATHER)
      & r_0037_0014__rather(R_0037_0014__RATHER)
      & has_r_0037_0015__than(R_0037_0014__RATHER,Z_000_37_A_IBM_1401_46)
      & z_000_37_a_ibm_1401_46(Z_000_37_A_IBM_1401_46)
      & has_arg1(Z_000_37_A_IBM_1401_46,R_0037_0017__MACHINE_R_0037_0018__LANGUAGE)
      & r_0037_0017__machine_r_0037_0018__language(R_0037_0017__MACHINE_R_0037_0018__LANGUAGE)
      & has_attrib48(R_0037_0017__MACHINE_R_0037_0018__LANGUAGE,R_0037_0016__ACTUAL)
      & has_arg1(R_0037_0008__USING,R_0037_0010__NAMES)
      & has_conj2(Z_000_37_A_IBM_1401_22,R_0037_0005__TO_R_0037_0006__BE_R_0037_0007__WRITTEN)
      & r_0037_0005__to_r_0037_0006__be_r_0037_0007__written(R_0037_0005__TO_R_0037_0006__BE_R_0037_0007__WRITTEN)
      & has_arg0(R_0037_0005__TO_R_0037_0006__BE_R_0037_0007__WRITTEN,Z_000_37_A_IBM_1401_18)
      & has_arg1(R_0037_0005__TO_R_0037_0006__BE_R_0037_0007__WRITTEN,X_000_37_A_IBM_1401_12)
      & has_arg1(R_0037_0003__PERMIT,R_0037_0004__PROGRAMS)
      & has_arg0(R_0037_0003__PERMIT,R_0037_0001__THESE_R_0037_0002__SYSTEMS) ) ).

( (IP-MAT (NP-SBJ;{SYMBOLIC_SYSTEMS} (D These;{these})
                                     (NS systems;{system}))
          (VBP;_Cn.t_ permit;{permit})
          (NP-OB1 (NS programs;{program}))
          (IP-INF-PRD (TO to;{to})
                      (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn_ written;{write}))
                      (PP-SCON (IP-PPL3 (VAG;_Tn_ using;{use})
                                        (NP-OB1 (ADJP (ADJ meaningful;{meaningful}))
                                                (NS names;{name})
                                                (PULB -LRB-)
                                                (IP-PPL (NP-PRD (NS symbols;{symbol})))
                                                (PURB -RRB-))
                                        (ADVP-NIM (ADVR rather;{rather})
                                                  (PP (P-ROLE than;{than})
                                                      (IP-ADV (NP-OB1 (ADJP (ADJ actual;{actual}))
                                                                      (N machine;{machine})
                                                                      (N language;{language}))))))))
          (PUNC .))
  (ID 37_a_ibm_1401))