Context                Previous, Next                Top


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

%3 r_0061_0002__are are r_0061_0003__supplied supplied r_0061_0002__are->r_0061_0003__supplied [scope] r_0061_0005__simplifying simplifying r_0061_0002__are->r_0061_0005__simplifying for [nim] r_0061_0001__Routines Routines r_0061_0003__supplied->r_0061_0001__Routines [arg1] z_000_61_a_ibm_1401_8 r_0061_0003__supplied->z_000_61_a_ibm_1401_8 [arg0] r_0061_0006__organization organization r_0061_0005__simplifying->r_0061_0006__organization [arg1] z_000_61_a_ibm_1401_15 r_0061_0005__simplifying->z_000_61_a_ibm_1401_15 [arg0] r_0061_0008__records records r_0061_0006__organization->r_0061_0008__records of r_0061_0010__storage storage r_0061_0008__records->r_0061_0010__storage for r_0061_0012__the_r_0061_0013__1401_r_0061_0015__Access_r_0061_0016__File the 1401 Access File r_0061_0010__storage->r_0061_0012__the_r_0061_0013__1401_r_0061_0015__Access_r_0061_0016__File in r_0061_0014__Random Random r_0061_0012__the_r_0061_0013__1401_r_0061_0015__Access_r_0061_0016__File->r_0061_0014__Random [attrib] 
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).


%3 r_0061_0012__the_r_0061_0013__1401_r_0061_0015__Access_r_0061_0016__File the 1401 Access File r_0061_0014__Random Random r_0061_0012__the_r_0061_0013__1401_r_0061_0015__Access_r_0061_0016__File->r_0061_0014__Random [attrib] r_0061_0010__storage storage r_0061_0010__storage->r_0061_0012__the_r_0061_0013__1401_r_0061_0015__Access_r_0061_0016__File in r_0061_0008__records records r_0061_0008__records->r_0061_0010__storage for r_0061_0006__organization organization r_0061_0006__organization->r_0061_0008__records of r_0061_0005__simplifying simplifying r_0061_0005__simplifying->r_0061_0006__organization [arg1] z_000_61_a_ibm_1401_15 r_0061_0005__simplifying->z_000_61_a_ibm_1401_15 [arg0] r_0061_0002__are_r_0061_0003__supplied are supplied r_0061_0002__are_r_0061_0003__supplied->r_0061_0005__simplifying for [nim] z_000_61_a_ibm_1401_8 r_0061_0002__are_r_0061_0003__supplied->z_000_61_a_ibm_1401_8 [arg0] r_0061_0001__Routines Routines r_0061_0002__are_r_0061_0003__supplied->r_0061_0001__Routines [arg1] 
fof(formula,axiom,
    ? [R_61_2_ARE_SUPPLIED,Z_61_A_IBM_1401_8,R_61_1_ROUTINES,R_61_5_SIMPLIFYING,Z_61_A_IBM_1401_15,R_61_6_ORGANIZATION,R_61_8_RECORDS,R_61_10_STORAGE,R_61_12_THE_1401_ACCESS_FILE,R_61_14_RANDOM] :
      ( routines(R_61_1_ROUTINES)
      & random(R_61_14_RANDOM)
      & are_supplied(R_61_2_ARE_SUPPLIED,Z_61_A_IBM_1401_8,R_61_1_ROUTINES)
      & for_nim15(R_61_2_ARE_SUPPLIED,R_61_5_SIMPLIFYING)
      & simplifying(R_61_5_SIMPLIFYING,Z_61_A_IBM_1401_15,R_61_6_ORGANIZATION)
      & organization(R_61_6_ORGANIZATION)
      & of(R_61_6_ORGANIZATION,R_61_8_RECORDS)
      & records(R_61_8_RECORDS)
      & for(R_61_8_RECORDS,R_61_10_STORAGE)
      & storage(R_61_10_STORAGE)
      & in(R_61_10_STORAGE,R_61_12_THE_1401_ACCESS_FILE)
      & the_1401_Access_File(R_61_12_THE_1401_ACCESS_FILE)
      & attrib41(R_61_12_THE_1401_ACCESS_FILE,R_61_14_RANDOM) ) ).


n61_a_ibm_1401 n61_a_ibm_1401__1_1_1_1 Routines n61_a_ibm_1401__1_2_1 are n61_a_ibm_1401__1_3_1_1 * n61_a_ibm_1401__1_3_2_1 supplied n61_a_ibm_1401__1_4_1_1 for n61_a_ibm_1401__1_4_2_1_1 simplifying n61_a_ibm_1401__1_4_2_2_1_1 organization n61_a_ibm_1401__1_4_2_2_2_1_1 of n61_a_ibm_1401__1_4_2_2_2_2_1_1 records n61_a_ibm_1401__1_4_2_2_2_2_2_1_1 for n61_a_ibm_1401__1_4_2_2_2_2_2_2_1_1 storage n61_a_ibm_1401__1_4_2_2_2_2_2_2_2_1_1 in n61_a_ibm_1401__1_4_2_2_2_2_2_2_2_2_1_1 the n61_a_ibm_1401__1_4_2_2_2_2_2_2_2_2_2_1 1401 n61_a_ibm_1401__1_4_2_2_2_2_2_2_2_2_3_1_1 Random n61_a_ibm_1401__1_4_2_2_2_2_2_2_2_2_4_1 Access n61_a_ibm_1401__1_4_2_2_2_2_2_2_2_2_5_1 File n61_a_ibm_1401__1_5_1 . n61_a_ibm_1401__1 IP-MAT n61_a_ibm_1401__1_1 NP-SBJ n61_a_ibm_1401__1->n61_a_ibm_1401__1_1 n61_a_ibm_1401__1_2 BEP;_cat_VePASS_ n61_a_ibm_1401__1->n61_a_ibm_1401__1_2 n61_a_ibm_1401__1_3 IP-PPL-CAT n61_a_ibm_1401__1->n61_a_ibm_1401__1_3 n61_a_ibm_1401__1_4 PP-NIM n61_a_ibm_1401__1->n61_a_ibm_1401__1_4 n61_a_ibm_1401__1_5 PUNC n61_a_ibm_1401__1->n61_a_ibm_1401__1_5 n61_a_ibm_1401__1_1_1 NS n61_a_ibm_1401__1_1->n61_a_ibm_1401__1_1_1 n61_a_ibm_1401__1_1_1->n61_a_ibm_1401__1_1_1_1 n61_a_ibm_1401__1_2->n61_a_ibm_1401__1_2_1 n61_a_ibm_1401__1_3_1 NP-LGS n61_a_ibm_1401__1_3->n61_a_ibm_1401__1_3_1 n61_a_ibm_1401__1_3_2 VVN;_Tn_ n61_a_ibm_1401__1_3->n61_a_ibm_1401__1_3_2 n61_a_ibm_1401__1_3_1->n61_a_ibm_1401__1_3_1_1 n61_a_ibm_1401__1_3_2->n61_a_ibm_1401__1_3_2_1 n61_a_ibm_1401__1_4_1 P-ROLE n61_a_ibm_1401__1_4->n61_a_ibm_1401__1_4_1 n61_a_ibm_1401__1_4_2 IP-PPL n61_a_ibm_1401__1_4->n61_a_ibm_1401__1_4_2 n61_a_ibm_1401__1_4_1->n61_a_ibm_1401__1_4_1_1 n61_a_ibm_1401__1_4_2_1 VAG;_Tn_ n61_a_ibm_1401__1_4_2->n61_a_ibm_1401__1_4_2_1 n61_a_ibm_1401__1_4_2_2 NP-OB1 n61_a_ibm_1401__1_4_2->n61_a_ibm_1401__1_4_2_2 n61_a_ibm_1401__1_4_2_1->n61_a_ibm_1401__1_4_2_1_1 n61_a_ibm_1401__1_4_2_2_1 N n61_a_ibm_1401__1_4_2_2->n61_a_ibm_1401__1_4_2_2_1 n61_a_ibm_1401__1_4_2_2_2 PP n61_a_ibm_1401__1_4_2_2->n61_a_ibm_1401__1_4_2_2_2 n61_a_ibm_1401__1_4_2_2_1->n61_a_ibm_1401__1_4_2_2_1_1 n61_a_ibm_1401__1_4_2_2_2_1 P-ROLE n61_a_ibm_1401__1_4_2_2_2->n61_a_ibm_1401__1_4_2_2_2_1 n61_a_ibm_1401__1_4_2_2_2_2 NP n61_a_ibm_1401__1_4_2_2_2->n61_a_ibm_1401__1_4_2_2_2_2 n61_a_ibm_1401__1_4_2_2_2_1->n61_a_ibm_1401__1_4_2_2_2_1_1 n61_a_ibm_1401__1_4_2_2_2_2_1 NS n61_a_ibm_1401__1_4_2_2_2_2->n61_a_ibm_1401__1_4_2_2_2_2_1 n61_a_ibm_1401__1_4_2_2_2_2_2 PP n61_a_ibm_1401__1_4_2_2_2_2->n61_a_ibm_1401__1_4_2_2_2_2_2 n61_a_ibm_1401__1_4_2_2_2_2_1->n61_a_ibm_1401__1_4_2_2_2_2_1_1 n61_a_ibm_1401__1_4_2_2_2_2_2_1 P-ROLE n61_a_ibm_1401__1_4_2_2_2_2_2->n61_a_ibm_1401__1_4_2_2_2_2_2_1 n61_a_ibm_1401__1_4_2_2_2_2_2_2 NP n61_a_ibm_1401__1_4_2_2_2_2_2->n61_a_ibm_1401__1_4_2_2_2_2_2_2 n61_a_ibm_1401__1_4_2_2_2_2_2_1->n61_a_ibm_1401__1_4_2_2_2_2_2_1_1 n61_a_ibm_1401__1_4_2_2_2_2_2_2_1 N n61_a_ibm_1401__1_4_2_2_2_2_2_2->n61_a_ibm_1401__1_4_2_2_2_2_2_2_1 n61_a_ibm_1401__1_4_2_2_2_2_2_2_2 PP n61_a_ibm_1401__1_4_2_2_2_2_2_2->n61_a_ibm_1401__1_4_2_2_2_2_2_2_2 n61_a_ibm_1401__1_4_2_2_2_2_2_2_1->n61_a_ibm_1401__1_4_2_2_2_2_2_2_1_1 n61_a_ibm_1401__1_4_2_2_2_2_2_2_2_1 P-ROLE n61_a_ibm_1401__1_4_2_2_2_2_2_2_2->n61_a_ibm_1401__1_4_2_2_2_2_2_2_2_1 n61_a_ibm_1401__1_4_2_2_2_2_2_2_2_2 NP n61_a_ibm_1401__1_4_2_2_2_2_2_2_2->n61_a_ibm_1401__1_4_2_2_2_2_2_2_2_2 n61_a_ibm_1401__1_4_2_2_2_2_2_2_2_1->n61_a_ibm_1401__1_4_2_2_2_2_2_2_2_1_1 n61_a_ibm_1401__1_4_2_2_2_2_2_2_2_2_1 D n61_a_ibm_1401__1_4_2_2_2_2_2_2_2_2->n61_a_ibm_1401__1_4_2_2_2_2_2_2_2_2_1 n61_a_ibm_1401__1_4_2_2_2_2_2_2_2_2_2 NPR n61_a_ibm_1401__1_4_2_2_2_2_2_2_2_2->n61_a_ibm_1401__1_4_2_2_2_2_2_2_2_2_2 n61_a_ibm_1401__1_4_2_2_2_2_2_2_2_2_3 ADJP n61_a_ibm_1401__1_4_2_2_2_2_2_2_2_2->n61_a_ibm_1401__1_4_2_2_2_2_2_2_2_2_3 n61_a_ibm_1401__1_4_2_2_2_2_2_2_2_2_4 N n61_a_ibm_1401__1_4_2_2_2_2_2_2_2_2->n61_a_ibm_1401__1_4_2_2_2_2_2_2_2_2_4 n61_a_ibm_1401__1_4_2_2_2_2_2_2_2_2_5 N n61_a_ibm_1401__1_4_2_2_2_2_2_2_2_2->n61_a_ibm_1401__1_4_2_2_2_2_2_2_2_2_5 n61_a_ibm_1401__1_4_2_2_2_2_2_2_2_2_1->n61_a_ibm_1401__1_4_2_2_2_2_2_2_2_2_1_1 n61_a_ibm_1401__1_4_2_2_2_2_2_2_2_2_2->n61_a_ibm_1401__1_4_2_2_2_2_2_2_2_2_2_1 n61_a_ibm_1401__1_4_2_2_2_2_2_2_2_2_3_1 ADJ n61_a_ibm_1401__1_4_2_2_2_2_2_2_2_2_3->n61_a_ibm_1401__1_4_2_2_2_2_2_2_2_2_3_1 n61_a_ibm_1401__1_4_2_2_2_2_2_2_2_2_3_1->n61_a_ibm_1401__1_4_2_2_2_2_2_2_2_2_3_1_1 n61_a_ibm_1401__1_4_2_2_2_2_2_2_2_2_4->n61_a_ibm_1401__1_4_2_2_2_2_2_2_2_2_4_1 n61_a_ibm_1401__1_4_2_2_2_2_2_2_2_2_5->n61_a_ibm_1401__1_4_2_2_2_2_2_2_2_2_5_1 n61_a_ibm_1401__1_5->n61_a_ibm_1401__1_5_1 
( (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))