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_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 [conj2] r_0053_0013__is_r_0053_0014__taking is taking r_0053_0008__while->r_0053_0013__is_r_0053_0014__taking [conj1] 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_0015__place place r_0053_0013__is_r_0053_0014__taking->r_0053_0015__place [arg1] r_0053_0012__data data r_0053_0009__the_r_0053_0010__transfer->r_0053_0012__data of 
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_4 They n53_a_ibm_1401_7 also n53_a_ibm_1401_9 provide n53_a_ibm_1401_12 for n53_a_ibm_1401_15 some n53_a_ibm_1401_17 1401 n53_a_ibm_1401_19 processing n53_a_ibm_1401_22 while n53_a_ibm_1401_26 the n53_a_ibm_1401_28 transfer n53_a_ibm_1401_31 of n53_a_ibm_1401_34 data n53_a_ibm_1401_36 is n53_a_ibm_1401_39 taking n53_a_ibm_1401_42 place n53_a_ibm_1401_44 . n53_a_ibm_1401_1 IP-MAT n53_a_ibm_1401_2 NP-SBJ n53_a_ibm_1401_1->n53_a_ibm_1401_2 n53_a_ibm_1401_5 ADVP-NIM n53_a_ibm_1401_1->n53_a_ibm_1401_5 n53_a_ibm_1401_8 VBP;_phr_Vpr_ n53_a_ibm_1401_1->n53_a_ibm_1401_8 n53_a_ibm_1401_10 PP-CLR n53_a_ibm_1401_1->n53_a_ibm_1401_10 n53_a_ibm_1401_20 PP-SCON n53_a_ibm_1401_1->n53_a_ibm_1401_20 n53_a_ibm_1401_43 PUNC n53_a_ibm_1401_1->n53_a_ibm_1401_43 n53_a_ibm_1401_3 PRO n53_a_ibm_1401_2->n53_a_ibm_1401_3 n53_a_ibm_1401_3->n53_a_ibm_1401_4 n53_a_ibm_1401_6 ADV n53_a_ibm_1401_5->n53_a_ibm_1401_6 n53_a_ibm_1401_6->n53_a_ibm_1401_7 n53_a_ibm_1401_8->n53_a_ibm_1401_9 n53_a_ibm_1401_11 P-ROLE n53_a_ibm_1401_10->n53_a_ibm_1401_11 n53_a_ibm_1401_13 NP n53_a_ibm_1401_10->n53_a_ibm_1401_13 n53_a_ibm_1401_11->n53_a_ibm_1401_12 n53_a_ibm_1401_14 D n53_a_ibm_1401_13->n53_a_ibm_1401_14 n53_a_ibm_1401_16 NPR n53_a_ibm_1401_13->n53_a_ibm_1401_16 n53_a_ibm_1401_18 N n53_a_ibm_1401_13->n53_a_ibm_1401_18 n53_a_ibm_1401_14->n53_a_ibm_1401_15 n53_a_ibm_1401_16->n53_a_ibm_1401_17 n53_a_ibm_1401_18->n53_a_ibm_1401_19 n53_a_ibm_1401_21 P-CONN n53_a_ibm_1401_20->n53_a_ibm_1401_21 n53_a_ibm_1401_23 IP-ADV n53_a_ibm_1401_20->n53_a_ibm_1401_23 n53_a_ibm_1401_21->n53_a_ibm_1401_22 n53_a_ibm_1401_24 NP-SBJ n53_a_ibm_1401_23->n53_a_ibm_1401_24 n53_a_ibm_1401_35 BEP;_cat_Vg_ n53_a_ibm_1401_23->n53_a_ibm_1401_35 n53_a_ibm_1401_37 IP-PPL-CAT n53_a_ibm_1401_23->n53_a_ibm_1401_37 n53_a_ibm_1401_25 D n53_a_ibm_1401_24->n53_a_ibm_1401_25 n53_a_ibm_1401_27 N n53_a_ibm_1401_24->n53_a_ibm_1401_27 n53_a_ibm_1401_29 PP n53_a_ibm_1401_24->n53_a_ibm_1401_29 n53_a_ibm_1401_25->n53_a_ibm_1401_26 n53_a_ibm_1401_27->n53_a_ibm_1401_28 n53_a_ibm_1401_30 P-ROLE n53_a_ibm_1401_29->n53_a_ibm_1401_30 n53_a_ibm_1401_32 NP n53_a_ibm_1401_29->n53_a_ibm_1401_32 n53_a_ibm_1401_30->n53_a_ibm_1401_31 n53_a_ibm_1401_33 NS n53_a_ibm_1401_32->n53_a_ibm_1401_33 n53_a_ibm_1401_33->n53_a_ibm_1401_34 n53_a_ibm_1401_35->n53_a_ibm_1401_36 n53_a_ibm_1401_38 VAG;_Tn_ n53_a_ibm_1401_37->n53_a_ibm_1401_38 n53_a_ibm_1401_40 NP-OB1 n53_a_ibm_1401_37->n53_a_ibm_1401_40 n53_a_ibm_1401_38->n53_a_ibm_1401_39 n53_a_ibm_1401_41 N n53_a_ibm_1401_40->n53_a_ibm_1401_41 n53_a_ibm_1401_41->n53_a_ibm_1401_42 n53_a_ibm_1401_43->n53_a_ibm_1401_44 
( (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))