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_0002__are_r_0061_0003__supplied are supplied r_0061_0001__Routines Routines r_0061_0002__are_r_0061_0003__supplied->r_0061_0001__Routines [arg1] r_0061_0005__simplifying simplifying 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_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] 
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_4 Routines n61_a_ibm_1401_6 are n61_a_ibm_1401_9 * n61_a_ibm_1401_11 supplied n61_a_ibm_1401_14 for n61_a_ibm_1401_17 simplifying n61_a_ibm_1401_20 organization n61_a_ibm_1401_23 of n61_a_ibm_1401_26 records n61_a_ibm_1401_29 for n61_a_ibm_1401_32 storage n61_a_ibm_1401_35 in n61_a_ibm_1401_38 the n61_a_ibm_1401_40 1401 n61_a_ibm_1401_43 Random n61_a_ibm_1401_45 Access n61_a_ibm_1401_47 File n61_a_ibm_1401_49 . n61_a_ibm_1401_1 IP-MAT n61_a_ibm_1401_2 NP-SBJ n61_a_ibm_1401_1->n61_a_ibm_1401_2 n61_a_ibm_1401_5 BEP;_cat_VePASS_ n61_a_ibm_1401_1->n61_a_ibm_1401_5 n61_a_ibm_1401_7 IP-PPL-CAT n61_a_ibm_1401_1->n61_a_ibm_1401_7 n61_a_ibm_1401_12 PP-NIM n61_a_ibm_1401_1->n61_a_ibm_1401_12 n61_a_ibm_1401_48 PUNC n61_a_ibm_1401_1->n61_a_ibm_1401_48 n61_a_ibm_1401_3 NS n61_a_ibm_1401_2->n61_a_ibm_1401_3 n61_a_ibm_1401_3->n61_a_ibm_1401_4 n61_a_ibm_1401_5->n61_a_ibm_1401_6 n61_a_ibm_1401_8 NP-LGS n61_a_ibm_1401_7->n61_a_ibm_1401_8 n61_a_ibm_1401_10 VVN;_Tn_ n61_a_ibm_1401_7->n61_a_ibm_1401_10 n61_a_ibm_1401_8->n61_a_ibm_1401_9 n61_a_ibm_1401_10->n61_a_ibm_1401_11 n61_a_ibm_1401_13 P-ROLE n61_a_ibm_1401_12->n61_a_ibm_1401_13 n61_a_ibm_1401_15 IP-PPL n61_a_ibm_1401_12->n61_a_ibm_1401_15 n61_a_ibm_1401_13->n61_a_ibm_1401_14 n61_a_ibm_1401_16 VAG;_Tn_ n61_a_ibm_1401_15->n61_a_ibm_1401_16 n61_a_ibm_1401_18 NP-OB1 n61_a_ibm_1401_15->n61_a_ibm_1401_18 n61_a_ibm_1401_16->n61_a_ibm_1401_17 n61_a_ibm_1401_19 N n61_a_ibm_1401_18->n61_a_ibm_1401_19 n61_a_ibm_1401_21 PP n61_a_ibm_1401_18->n61_a_ibm_1401_21 n61_a_ibm_1401_19->n61_a_ibm_1401_20 n61_a_ibm_1401_22 P-ROLE n61_a_ibm_1401_21->n61_a_ibm_1401_22 n61_a_ibm_1401_24 NP n61_a_ibm_1401_21->n61_a_ibm_1401_24 n61_a_ibm_1401_22->n61_a_ibm_1401_23 n61_a_ibm_1401_25 NS n61_a_ibm_1401_24->n61_a_ibm_1401_25 n61_a_ibm_1401_27 PP n61_a_ibm_1401_24->n61_a_ibm_1401_27 n61_a_ibm_1401_25->n61_a_ibm_1401_26 n61_a_ibm_1401_28 P-ROLE n61_a_ibm_1401_27->n61_a_ibm_1401_28 n61_a_ibm_1401_30 NP n61_a_ibm_1401_27->n61_a_ibm_1401_30 n61_a_ibm_1401_28->n61_a_ibm_1401_29 n61_a_ibm_1401_31 N n61_a_ibm_1401_30->n61_a_ibm_1401_31 n61_a_ibm_1401_33 PP n61_a_ibm_1401_30->n61_a_ibm_1401_33 n61_a_ibm_1401_31->n61_a_ibm_1401_32 n61_a_ibm_1401_34 P-ROLE n61_a_ibm_1401_33->n61_a_ibm_1401_34 n61_a_ibm_1401_36 NP n61_a_ibm_1401_33->n61_a_ibm_1401_36 n61_a_ibm_1401_34->n61_a_ibm_1401_35 n61_a_ibm_1401_37 D n61_a_ibm_1401_36->n61_a_ibm_1401_37 n61_a_ibm_1401_39 NPR n61_a_ibm_1401_36->n61_a_ibm_1401_39 n61_a_ibm_1401_41 ADJP n61_a_ibm_1401_36->n61_a_ibm_1401_41 n61_a_ibm_1401_44 N n61_a_ibm_1401_36->n61_a_ibm_1401_44 n61_a_ibm_1401_46 N n61_a_ibm_1401_36->n61_a_ibm_1401_46 n61_a_ibm_1401_37->n61_a_ibm_1401_38 n61_a_ibm_1401_39->n61_a_ibm_1401_40 n61_a_ibm_1401_42 ADJ n61_a_ibm_1401_41->n61_a_ibm_1401_42 n61_a_ibm_1401_42->n61_a_ibm_1401_43 n61_a_ibm_1401_44->n61_a_ibm_1401_45 n61_a_ibm_1401_46->n61_a_ibm_1401_47 n61_a_ibm_1401_48->n61_a_ibm_1401_49 
( (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))