55_a_ibm_1401
Data can be sorted and classified at high speed for further processing by use of these generalized sorting routines.
arc(r_0055_0002__can, r_0055_0003__be, scope).
arc(r_0055_0002__can, r_0055_0012__processing, r_0055_0010__for_nim37).
arc(r_0055_0002__can, r_0055_0014__use, r_0055_0013__by_nim46).
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_nim28).
arc(r_0055_0004__sorted, z_000_55_a_ibm_1401_13, 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_nim28).
arc(r_0055_0006__classified, z_000_55_a_ibm_1401_21, arg0).
arc(r_0055_0009__speed, r_0055_0008__high, attrib29).
arc(r_0055_0012__processing, r_0055_0011__further, attrib38).
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, attrib55).
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_000_55_A_IBM_1401_13,R_0055_0004__SORTED,Z_000_55_A_IBM_1401_21,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_000_55_a_ibm_1401_13(Z_000_55_A_IBM_1401_13)
& z_000_55_a_ibm_1401_21(Z_000_55_A_IBM_1401_21)
& 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_000_55_A_IBM_1401_21)
& has_r_0055_0007__at_nim28(R_0055_0006__CLASSIFIED,R_0055_0009__SPEED)
& r_0055_0009__speed(R_0055_0009__SPEED)
& has_attrib29(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_000_55_A_IBM_1401_13)
& has_r_0055_0007__at_nim28(R_0055_0004__SORTED,R_0055_0009__SPEED)
& has_arg1(R_0055_0004__SORTED,R_0055_0001__DATA)
& has_r_0055_0013__by_nim46(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_attrib55(R_0055_0016__THESE_R_0055_0018__SORTING_R_0055_0019__ROUTINES,R_0055_0017__GENERALIZED)
& has_r_0055_0010__for_nim37(R_0055_0002__CAN_R_0055_0003__BE,R_0055_0012__PROCESSING)
& r_0055_0012__processing(R_0055_0012__PROCESSING)
& has_attrib38(R_0055_0012__PROCESSING,R_0055_0011__FURTHER) ) ).
( (IP-MAT (NP-SBJ (NS Data;{data}))
(MD;_cat_Vi_ can;{can})
(IP-INF-CAT (BE;_cat_VePASS_ be;{be})
(IP-PPL-CAT (ILYR (ILYR (NP-LGS *)
(VVN;_Tn_ sorted;{sort}))
(CONJP (CONJ and;{and})
(ILYR (NP-LGS *)
(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))