TSPC 61_a_ibm

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

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

arc(r_0061_0002__are,r_0061_0003__supplied,scope).
arc(r_0061_0002__are,r_0061_0005__simplifying,r_0061_0004__for__nim).
arc(r_0061_0003__supplied,r_0061_0001__Routines,arg1).
arc(r_0061_0003__supplied,z_0061_5010___star_,arg0).
arc(r_0061_0005__simplifying,r_0061_0001__Routines,arg0).
arc(r_0061_0005__simplifying,r_0061_0006__organization,arg1).
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,attrib).

fof(formula,axiom,
    ? [R_0061_0001__ROUTINES,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,R_0061_0005__SIMPLIFYING,Z_0061_5010___STAR_,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_0061_5010___star_(Z_0061_5010___STAR_)
      & 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_0061_5010___STAR_)
      & has_arg1(R_0061_0002__ARE_R_0061_0003__SUPPLIED,R_0061_0001__ROUTINES)
      & has_r_0061_0004__for__nim(R_0061_0002__ARE_R_0061_0003__SUPPLIED,R_0061_0005__SIMPLIFYING)
      & r_0061_0005__simplifying(R_0061_0005__SIMPLIFYING)
      & 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_attrib(R_0061_0012__THE_R_0061_0013__1401_R_0061_0015__ACCESS_R_0061_0016__FILE,R_0061_0014__RANDOM)
      & has_arg0(R_0061_0005__SIMPLIFYING,R_0061_0001__ROUTINES) ) ).