TSPC 55_a_ibm

55_a_ibm_1401
Data can be sorted and classified at high speed for further processing by use of these generalized sorting routines.

( (IP-MAT (NP-SBJ (NS Data;{data}))
          (MD;_cat_Vi_ can;{can})
          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (ILYR (ILYR (VVN;_Tn_ sorted;{sort}))
                                        (CONJP (CONJ and;{and})
                                               (ILYR (VVN;_Tn_ classified;{classify}))))
                                  (PP-NIM (P-ROLE at;{at})
                                          (NP (ADJP (ADJ high;{high}))
                                              (N speed;{speed})))))
          (PP-NIM (P-ROLE for;{for})
                  (NP (ADJP (ADJR further;{far}))
                      (N processing;{processing})))
          (PP-NIM (P-ROLE by;{by})
                  (NP (N use;{use})
                      (PP (P-ROLE of;{of})
                          (NP (D these;{these})
                              (ADJP (ADJ generalized;{generalized}))
                              (N sorting;{sorting})
                              (NS routines;{routine})))))
          (PUNC .))
  (ID 55_a_ibm_1401))

arc(r_0055_0002__can,r_0055_0003__be,scope).
arc(r_0055_0002__can,r_0055_0012__processing,r_0055_0010__for__nim).
arc(r_0055_0002__can,r_0055_0014__use,r_0055_0013__by__nim).
arc(r_0055_0003__be,r_0055_0005__and,scope).
arc(r_0055_0004__sorted,r_0055_0001__Data,arg1).
arc(r_0055_0004__sorted,r_0055_0009__speed,r_0055_0007__at__nim).
arc(r_0055_0004__sorted,z_0055_5011___star_,arg0).
arc(r_0055_0005__and,r_0055_0004__sorted,conj1).
arc(r_0055_0005__and,r_0055_0006__classified,conj2).
arc(r_0055_0006__classified,r_0055_0001__Data,arg1).
arc(r_0055_0006__classified,r_0055_0009__speed,r_0055_0007__at__nim).
arc(r_0055_0006__classified,z_0055_5011___star_,arg0).
arc(r_0055_0009__speed,r_0055_0008__high,attrib).
arc(r_0055_0012__processing,r_0055_0011__further,attrib).
arc(r_0055_0014__use,r_0055_0016__these_r_0055_0018__sorting_r_0055_0019__routines,r_0055_0015__of).
arc(r_0055_0016__these_r_0055_0018__sorting_r_0055_0019__routines,r_0055_0017__generalized,attrib).

fof(formula,axiom,
    ? [R_0055_0011__FURTHER,R_0055_0012__PROCESSING,R_0055_0017__GENERALIZED,R_0055_0016__THESE_R_0055_0018__SORTING_R_0055_0019__ROUTINES,R_0055_0014__USE,R_0055_0001__DATA,R_0055_0008__HIGH,R_0055_0009__SPEED,Z_0055_5011___STAR_,R_0055_0004__SORTED,R_0055_0006__CLASSIFIED,R_0055_0005__AND,R_0055_0002__CAN_R_0055_0003__BE] :
      ( r_0055_0001__Data(R_0055_0001__DATA)
      & r_0055_0008__high(R_0055_0008__HIGH)
      & r_0055_0011__further(R_0055_0011__FURTHER)
      & r_0055_0017__generalized(R_0055_0017__GENERALIZED)
      & z_0055_5011___star_(Z_0055_5011___STAR_)
      & r_0055_0002__can_r_0055_0003__be(R_0055_0002__CAN_R_0055_0003__BE)
      & has_keep_scope(R_0055_0002__CAN_R_0055_0003__BE,R_0055_0005__AND)
      & r_0055_0005__and(R_0055_0005__AND)
      & has_conj2(R_0055_0005__AND,R_0055_0006__CLASSIFIED)
      & r_0055_0006__classified(R_0055_0006__CLASSIFIED)
      & has_arg0(R_0055_0006__CLASSIFIED,Z_0055_5011___STAR_)
      & has_r_0055_0007__at__nim(R_0055_0006__CLASSIFIED,R_0055_0009__SPEED)
      & r_0055_0009__speed(R_0055_0009__SPEED)
      & has_attrib(R_0055_0009__SPEED,R_0055_0008__HIGH)
      & has_arg1(R_0055_0006__CLASSIFIED,R_0055_0001__DATA)
      & has_conj1(R_0055_0005__AND,R_0055_0004__SORTED)
      & r_0055_0004__sorted(R_0055_0004__SORTED)
      & has_arg0(R_0055_0004__SORTED,Z_0055_5011___STAR_)
      & has_r_0055_0007__at__nim(R_0055_0004__SORTED,R_0055_0009__SPEED)
      & has_arg1(R_0055_0004__SORTED,R_0055_0001__DATA)
      & has_r_0055_0013__by__nim(R_0055_0002__CAN_R_0055_0003__BE,R_0055_0014__USE)
      & r_0055_0014__use(R_0055_0014__USE)
      & has_r_0055_0015__of(R_0055_0014__USE,R_0055_0016__THESE_R_0055_0018__SORTING_R_0055_0019__ROUTINES)
      & r_0055_0016__these_r_0055_0018__sorting_r_0055_0019__routines(R_0055_0016__THESE_R_0055_0018__SORTING_R_0055_0019__ROUTINES)
      & has_attrib(R_0055_0016__THESE_R_0055_0018__SORTING_R_0055_0019__ROUTINES,R_0055_0017__GENERALIZED)
      & has_r_0055_0010__for__nim(R_0055_0002__CAN_R_0055_0003__BE,R_0055_0012__PROCESSING)
      & r_0055_0012__processing(R_0055_0012__PROCESSING)
      & has_attrib(R_0055_0012__PROCESSING,R_0055_0011__FURTHER) ) ).