Context                Previous, Next                Top


53_a_ibm_1401
They also provide for some 1401 processing while the transfer of data is taking place.

%3 r_0053_0003__provide provide r_0053_0001__They They r_0053_0003__provide->r_0053_0001__They [arg0] r_0053_0002__also also r_0053_0003__provide->r_0053_0002__also [nim] r_0053_0005__some_r_0053_0006__1401_r_0053_0007__processing some 1401 processing r_0053_0003__provide->r_0053_0005__some_r_0053_0006__1401_r_0053_0007__processing for [clr] r_0053_0008__while while r_0053_0008__while->r_0053_0003__provide [scope] r_0053_0013__is is r_0053_0008__while->r_0053_0013__is [restriction] r_0053_0014__taking taking r_0053_0013__is->r_0053_0014__taking [scope] r_0053_0009__the_r_0053_0010__transfer the transfer r_0053_0012__data data r_0053_0009__the_r_0053_0010__transfer->r_0053_0012__data of r_0053_0014__taking->r_0053_0009__the_r_0053_0010__transfer [arg0] r_0053_0015__place place r_0053_0014__taking->r_0053_0015__place [arg1] 
arc(r_0053_0003__provide, r_0053_0001__They, arg0).
arc(r_0053_0003__provide, r_0053_0002__also, nim5).
arc(r_0053_0003__provide, r_0053_0005__some_r_0053_0006__1401_r_0053_0007__processing, r_0053_0004__for_clr13).
arc(r_0053_0008__while, r_0053_0003__provide, scope).
arc(r_0053_0008__while, r_0053_0013__is, restriction).
arc(r_0053_0009__the_r_0053_0010__transfer, r_0053_0012__data, r_0053_0011__of).
arc(r_0053_0013__is, r_0053_0014__taking, scope).
arc(r_0053_0014__taking, r_0053_0009__the_r_0053_0010__transfer, arg0).
arc(r_0053_0014__taking, r_0053_0015__place, arg1).


%3 r_0053_0013__is_r_0053_0014__taking is taking r_0053_0015__place place r_0053_0013__is_r_0053_0014__taking->r_0053_0015__place [arg1] r_0053_0009__the_r_0053_0010__transfer the transfer r_0053_0013__is_r_0053_0014__taking->r_0053_0009__the_r_0053_0010__transfer [arg0] r_0053_0012__data data r_0053_0009__the_r_0053_0010__transfer->r_0053_0012__data of r_0053_0008__while while r_0053_0008__while->r_0053_0013__is_r_0053_0014__taking [conj1] r_0053_0003__provide provide r_0053_0008__while->r_0053_0003__provide [conj2] r_0053_0005__some_r_0053_0006__1401_r_0053_0007__processing some 1401 processing r_0053_0003__provide->r_0053_0005__some_r_0053_0006__1401_r_0053_0007__processing for [clr] r_0053_0002__also also r_0053_0003__provide->r_0053_0002__also [nim] r_0053_0001__They They r_0053_0003__provide->r_0053_0001__They [arg0] 
fof(formula,axiom,
    ? [R_53_8_WHILE,R_53_13_IS_TAKING,R_53_9_THE_TRANSFER,R_53_12_DATA,R_53_15_PLACE,R_53_3_PROVIDE,R_53_1_THEY,R_53_2_ALSO,R_53_5_SOME_1401_PROCESSING] :
      ( data(R_53_12_DATA)
      & place(R_53_15_PLACE)
      & they(R_53_1_THEY)
      & also(R_53_2_ALSO)
      & some_1401_processing(R_53_5_SOME_1401_PROCESSING)
      & while(R_53_8_WHILE)
      & conj1(R_53_8_WHILE,R_53_13_IS_TAKING)
      & is_taking(R_53_13_IS_TAKING,R_53_9_THE_TRANSFER,R_53_15_PLACE)
      & the_transfer(R_53_9_THE_TRANSFER)
      & of(R_53_9_THE_TRANSFER,R_53_12_DATA)
      & conj2(R_53_8_WHILE,R_53_3_PROVIDE)
      & provide(R_53_3_PROVIDE,R_53_1_THEY)
      & nim5(R_53_3_PROVIDE,R_53_2_ALSO)
      & for_clr13(R_53_3_PROVIDE,R_53_5_SOME_1401_PROCESSING) ) ).


n53_a_ibm_1401 n53_a_ibm_1401__1_1_1_1 They n53_a_ibm_1401__1_2_1_1 also n53_a_ibm_1401__1_3_1 provide n53_a_ibm_1401__1_4_1_1 for n53_a_ibm_1401__1_4_2_1_1 some n53_a_ibm_1401__1_4_2_2_1 1401 n53_a_ibm_1401__1_4_2_3_1 processing n53_a_ibm_1401__1_5_1_1 while n53_a_ibm_1401__1_5_2_1_1_1 the n53_a_ibm_1401__1_5_2_1_2_1 transfer n53_a_ibm_1401__1_5_2_1_3_1_1 of n53_a_ibm_1401__1_5_2_1_3_2_1_1 data n53_a_ibm_1401__1_5_2_2_1 is n53_a_ibm_1401__1_5_2_3_1_1 taking n53_a_ibm_1401__1_5_2_3_2_1_1 place n53_a_ibm_1401__1_6_1 . n53_a_ibm_1401__1 IP-MAT n53_a_ibm_1401__1_1 NP-SBJ n53_a_ibm_1401__1->n53_a_ibm_1401__1_1 n53_a_ibm_1401__1_2 ADVP-NIM n53_a_ibm_1401__1->n53_a_ibm_1401__1_2 n53_a_ibm_1401__1_3 VBP;_phr_Vpr_ n53_a_ibm_1401__1->n53_a_ibm_1401__1_3 n53_a_ibm_1401__1_4 PP-CLR n53_a_ibm_1401__1->n53_a_ibm_1401__1_4 n53_a_ibm_1401__1_5 PP-SCON n53_a_ibm_1401__1->n53_a_ibm_1401__1_5 n53_a_ibm_1401__1_6 PUNC n53_a_ibm_1401__1->n53_a_ibm_1401__1_6 n53_a_ibm_1401__1_1_1 PRO n53_a_ibm_1401__1_1->n53_a_ibm_1401__1_1_1 n53_a_ibm_1401__1_1_1->n53_a_ibm_1401__1_1_1_1 n53_a_ibm_1401__1_2_1 ADV n53_a_ibm_1401__1_2->n53_a_ibm_1401__1_2_1 n53_a_ibm_1401__1_2_1->n53_a_ibm_1401__1_2_1_1 n53_a_ibm_1401__1_3->n53_a_ibm_1401__1_3_1 n53_a_ibm_1401__1_4_1 P-ROLE n53_a_ibm_1401__1_4->n53_a_ibm_1401__1_4_1 n53_a_ibm_1401__1_4_2 NP n53_a_ibm_1401__1_4->n53_a_ibm_1401__1_4_2 n53_a_ibm_1401__1_4_1->n53_a_ibm_1401__1_4_1_1 n53_a_ibm_1401__1_4_2_1 D n53_a_ibm_1401__1_4_2->n53_a_ibm_1401__1_4_2_1 n53_a_ibm_1401__1_4_2_2 NPR n53_a_ibm_1401__1_4_2->n53_a_ibm_1401__1_4_2_2 n53_a_ibm_1401__1_4_2_3 N n53_a_ibm_1401__1_4_2->n53_a_ibm_1401__1_4_2_3 n53_a_ibm_1401__1_4_2_1->n53_a_ibm_1401__1_4_2_1_1 n53_a_ibm_1401__1_4_2_2->n53_a_ibm_1401__1_4_2_2_1 n53_a_ibm_1401__1_4_2_3->n53_a_ibm_1401__1_4_2_3_1 n53_a_ibm_1401__1_5_1 P-CONN n53_a_ibm_1401__1_5->n53_a_ibm_1401__1_5_1 n53_a_ibm_1401__1_5_2 IP-ADV n53_a_ibm_1401__1_5->n53_a_ibm_1401__1_5_2 n53_a_ibm_1401__1_5_1->n53_a_ibm_1401__1_5_1_1 n53_a_ibm_1401__1_5_2_1 NP-SBJ n53_a_ibm_1401__1_5_2->n53_a_ibm_1401__1_5_2_1 n53_a_ibm_1401__1_5_2_2 BEP;_cat_Vg_ n53_a_ibm_1401__1_5_2->n53_a_ibm_1401__1_5_2_2 n53_a_ibm_1401__1_5_2_3 IP-PPL-CAT n53_a_ibm_1401__1_5_2->n53_a_ibm_1401__1_5_2_3 n53_a_ibm_1401__1_5_2_1_1 D n53_a_ibm_1401__1_5_2_1->n53_a_ibm_1401__1_5_2_1_1 n53_a_ibm_1401__1_5_2_1_2 N n53_a_ibm_1401__1_5_2_1->n53_a_ibm_1401__1_5_2_1_2 n53_a_ibm_1401__1_5_2_1_3 PP n53_a_ibm_1401__1_5_2_1->n53_a_ibm_1401__1_5_2_1_3 n53_a_ibm_1401__1_5_2_1_1->n53_a_ibm_1401__1_5_2_1_1_1 n53_a_ibm_1401__1_5_2_1_2->n53_a_ibm_1401__1_5_2_1_2_1 n53_a_ibm_1401__1_5_2_1_3_1 P-ROLE n53_a_ibm_1401__1_5_2_1_3->n53_a_ibm_1401__1_5_2_1_3_1 n53_a_ibm_1401__1_5_2_1_3_2 NP n53_a_ibm_1401__1_5_2_1_3->n53_a_ibm_1401__1_5_2_1_3_2 n53_a_ibm_1401__1_5_2_1_3_1->n53_a_ibm_1401__1_5_2_1_3_1_1 n53_a_ibm_1401__1_5_2_1_3_2_1 NS n53_a_ibm_1401__1_5_2_1_3_2->n53_a_ibm_1401__1_5_2_1_3_2_1 n53_a_ibm_1401__1_5_2_1_3_2_1->n53_a_ibm_1401__1_5_2_1_3_2_1_1 n53_a_ibm_1401__1_5_2_2->n53_a_ibm_1401__1_5_2_2_1 n53_a_ibm_1401__1_5_2_3_1 VAG;_Tn_ n53_a_ibm_1401__1_5_2_3->n53_a_ibm_1401__1_5_2_3_1 n53_a_ibm_1401__1_5_2_3_2 NP-OB1 n53_a_ibm_1401__1_5_2_3->n53_a_ibm_1401__1_5_2_3_2 n53_a_ibm_1401__1_5_2_3_1->n53_a_ibm_1401__1_5_2_3_1_1 n53_a_ibm_1401__1_5_2_3_2_1 N n53_a_ibm_1401__1_5_2_3_2->n53_a_ibm_1401__1_5_2_3_2_1 n53_a_ibm_1401__1_5_2_3_2_1->n53_a_ibm_1401__1_5_2_3_2_1_1 n53_a_ibm_1401__1_6->n53_a_ibm_1401__1_6_1 
( (IP-MAT (NP-SBJ;{TAPE_UTILITIES} (PRO They;{they}))
          (ADVP-NIM (ADV also;{also}))
          (VBP;_phr_Vpr_ provide;{provide[for]})
          (PP-CLR (P-ROLE for;{for})
                  (NP (D some;{some})
                      (NPR 1401)
                      (N processing;{processing})))
          (PP-SCON (P-CONN while;{while})
                   (IP-ADV (NP-SBJ (D the;{the})
                                   (N transfer;{transfer})
                                   (PP (P-ROLE of;{of})
                                       (NP (NS data;{data}))))
                           (BEP;_cat_Vg_ is;{be})
                           (IP-PPL-CAT (VAG;_Tn_ taking;{take})
                                       (NP-OB1 (N place;{place})))))
          (PUNC .))
  (ID 53_a_ibm_1401))