TSPC 53_a_ibm

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

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

arc(r_0053_0003__provide,r_0053_0001__They,arg0).
arc(r_0053_0003__provide,r_0053_0002__also,nim).
arc(r_0053_0003__provide,r_0053_0005__some_r_0053_0006__1401_r_0053_0007__processing,r_0053_0004__for__clr).
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).

fof(formula,axiom,
    ? [R_0053_0001__THEY,R_0053_0002__ALSO,R_0053_0005__SOME_R_0053_0006__1401_R_0053_0007__PROCESSING,R_0053_0003__PROVIDE,R_0053_0012__DATA,R_0053_0009__THE_R_0053_0010__TRANSFER,R_0053_0015__PLACE,R_0053_0013__IS_R_0053_0014__TAKING,R_0053_0008__WHILE] :
      ( r_0053_0001__They(R_0053_0001__THEY)
      & r_0053_0002__also(R_0053_0002__ALSO)
      & r_0053_0005__some_r_0053_0006__1401_r_0053_0007__processing(R_0053_0005__SOME_R_0053_0006__1401_R_0053_0007__PROCESSING)
      & r_0053_0012__data(R_0053_0012__DATA)
      & r_0053_0015__place(R_0053_0015__PLACE)
      & r_0053_0008__while(R_0053_0008__WHILE)
      & has_conj1(R_0053_0008__WHILE,R_0053_0013__IS_R_0053_0014__TAKING)
      & r_0053_0013__is_r_0053_0014__taking(R_0053_0013__IS_R_0053_0014__TAKING)
      & has_arg1(R_0053_0013__IS_R_0053_0014__TAKING,R_0053_0015__PLACE)
      & has_arg0(R_0053_0013__IS_R_0053_0014__TAKING,R_0053_0009__THE_R_0053_0010__TRANSFER)
      & r_0053_0009__the_r_0053_0010__transfer(R_0053_0009__THE_R_0053_0010__TRANSFER)
      & has_r_0053_0011__of(R_0053_0009__THE_R_0053_0010__TRANSFER,R_0053_0012__DATA)
      & has_conj2(R_0053_0008__WHILE,R_0053_0003__PROVIDE)
      & r_0053_0003__provide(R_0053_0003__PROVIDE)
      & has_r_0053_0004__for__clr(R_0053_0003__PROVIDE,R_0053_0005__SOME_R_0053_0006__1401_R_0053_0007__PROCESSING)
      & has_nim(R_0053_0003__PROVIDE,R_0053_0002__ALSO)
      & has_arg0(R_0053_0003__PROVIDE,R_0053_0001__THEY) ) ).