TSPC 61_a_ibm

61_a_ibm_1401
Routines are supplied for simplifying organization of records for storage in the 1401 Random Access File.

arc(r_0061_0002__are, r_0061_0003__supplied, scope).
arc(r_0061_0002__are, r_0061_0005__simplifying, r_0061_0004__for_nim15).
arc(r_0061_0003__supplied, r_0061_0001__Routines, arg1).
arc(r_0061_0003__supplied, z_000_61_a_ibm_1401_8, arg0).
arc(r_0061_0005__simplifying, r_0061_0006__organization, arg1).
arc(r_0061_0005__simplifying, z_000_61_a_ibm_1401_15, arg0).
arc(r_0061_0006__organization, r_0061_0008__records, r_0061_0007__of).
arc(r_0061_0008__records, r_0061_0010__storage, r_0061_0009__for).
arc(r_0061_0010__storage, r_0061_0012__the_r_0061_0013__1401_r_0061_0015__Access_r_0061_0016__File, r_0061_0011__in).
arc(r_0061_0012__the_r_0061_0013__1401_r_0061_0015__Access_r_0061_0016__File, r_0061_0014__Random, attrib41).

fof(formula,axiom,
    ? [R_0061_0014__RANDOM,R_0061_0012__THE_R_0061_0013__1401_R_0061_0015__ACCESS_R_0061_0016__FILE,R_0061_0010__STORAGE,R_0061_0008__RECORDS,R_0061_0006__ORGANIZATION,Z_000_61_A_IBM_1401_15,R_0061_0005__SIMPLIFYING,R_0061_0001__ROUTINES,Z_000_61_A_IBM_1401_8,R_0061_0002__ARE_R_0061_0003__SUPPLIED] :
      ( r_0061_0001__Routines(R_0061_0001__ROUTINES)
      & r_0061_0014__Random(R_0061_0014__RANDOM)
      & z_000_61_a_ibm_1401_15(Z_000_61_A_IBM_1401_15)
      & z_000_61_a_ibm_1401_8(Z_000_61_A_IBM_1401_8)
      & r_0061_0002__are_r_0061_0003__supplied(R_0061_0002__ARE_R_0061_0003__SUPPLIED)
      & has_arg0(R_0061_0002__ARE_R_0061_0003__SUPPLIED,Z_000_61_A_IBM_1401_8)
      & has_arg1(R_0061_0002__ARE_R_0061_0003__SUPPLIED,R_0061_0001__ROUTINES)
      & has_r_0061_0004__for_nim15(R_0061_0002__ARE_R_0061_0003__SUPPLIED,R_0061_0005__SIMPLIFYING)
      & r_0061_0005__simplifying(R_0061_0005__SIMPLIFYING)
      & has_arg0(R_0061_0005__SIMPLIFYING,Z_000_61_A_IBM_1401_15)
      & has_arg1(R_0061_0005__SIMPLIFYING,R_0061_0006__ORGANIZATION)
      & r_0061_0006__organization(R_0061_0006__ORGANIZATION)
      & has_r_0061_0007__of(R_0061_0006__ORGANIZATION,R_0061_0008__RECORDS)
      & r_0061_0008__records(R_0061_0008__RECORDS)
      & has_r_0061_0009__for(R_0061_0008__RECORDS,R_0061_0010__STORAGE)
      & r_0061_0010__storage(R_0061_0010__STORAGE)
      & has_r_0061_0011__in(R_0061_0010__STORAGE,R_0061_0012__THE_R_0061_0013__1401_R_0061_0015__ACCESS_R_0061_0016__FILE)
      & r_0061_0012__the_r_0061_0013__1401_r_0061_0015__Access_r_0061_0016__File(R_0061_0012__THE_R_0061_0013__1401_R_0061_0015__ACCESS_R_0061_0016__FILE)
      & has_attrib41(R_0061_0012__THE_R_0061_0013__1401_R_0061_0015__ACCESS_R_0061_0016__FILE,R_0061_0014__RANDOM) ) ).

( (IP-MAT (NP-SBJ (NS Routines;{routine}))
          (BEP;_cat_VePASS_ are;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ supplied;{supply}))
          (PP-NIM (P-ROLE for;{for})
                  (IP-PPL (VAG;_Tn_ simplifying;{simplify})
                          (NP-OB1 (N organization;{organization})
                                  (PP (P-ROLE of;{of})
                                      (NP (NS records;{record})
                                          (PP (P-ROLE for;{for})
                                              (NP (N storage;{storage})
                                                  (PP (P-ROLE in;{in})
                                                      (NP (D the;{the})
                                                          (NPR 1401)
                                                          (ADJP (ADJ Random;{random}))
                                                          (N Access;{access})
                                                          (N File;{file}))))))))))
          (PUNC .))
  (ID 61_a_ibm_1401))