Context                Previous, Next                Top


75_a_ibm_1401
Service that has been proven by years of data processing experience.

%3 r_0075_0002__that_r_0075_0003__has that has r_0075_0004__been been r_0075_0002__that_r_0075_0003__has->r_0075_0004__been [scope] r_0075_0005__proven proven r_0075_0004__been->r_0075_0005__proven [scope] r_0075_0001__Service Service r_0075_0005__proven->r_0075_0001__Service [arg1] r_0075_0007__years years r_0075_0005__proven->r_0075_0007__years [arg0] r_0075_0009__data_r_0075_0010__processing_r_0075_0011__experience data processing experience r_0075_0007__years->r_0075_0009__data_r_0075_0010__processing_r_0075_0011__experience of z_000_75_a_ibm_1401_1 z_000_75_a_ibm_1401_1->r_0075_0001__Service [nim] 
arc(r_0075_0002__that_r_0075_0003__has, r_0075_0004__been, scope).
arc(r_0075_0004__been, r_0075_0005__proven, scope).
arc(r_0075_0005__proven, r_0075_0001__Service, arg1).
arc(r_0075_0005__proven, r_0075_0007__years, arg0).
arc(r_0075_0007__years, r_0075_0009__data_r_0075_0010__processing_r_0075_0011__experience, r_0075_0008__of).
arc(z_000_75_a_ibm_1401_1, r_0075_0001__Service, nim2).


%3 r_0075_0002__that_r_0075_0003__has_r_0075_0004__been_r_0075_0005__proven that has been proven r_0075_0001__Service Service r_0075_0002__that_r_0075_0003__has_r_0075_0004__been_r_0075_0005__proven->r_0075_0001__Service [arg1] r_0075_0007__years years r_0075_0002__that_r_0075_0003__has_r_0075_0004__been_r_0075_0005__proven->r_0075_0007__years [arg0] r_0075_0009__data_r_0075_0010__processing_r_0075_0011__experience data processing experience r_0075_0007__years->r_0075_0009__data_r_0075_0010__processing_r_0075_0011__experience of z_000_75_a_ibm_1401_1 z_000_75_a_ibm_1401_1->r_0075_0001__Service [nim] 
fof(formula,axiom,
    ? [R_75_2_THAT_HAS_BEEN_PROVEN,R_75_7_YEARS,R_75_9_DATA_PROCESSING_EXPERIENCE,Z_75_A_IBM_1401_1,R_75_1_SERVICE] :
      ( data_processing_experience(R_75_9_DATA_PROCESSING_EXPERIENCE)
      & service(R_75_1_SERVICE)
      & that_has_been_proven(R_75_2_THAT_HAS_BEEN_PROVEN,R_75_7_YEARS,R_75_1_SERVICE)
      & years(R_75_7_YEARS)
      & of(R_75_7_YEARS,R_75_9_DATA_PROCESSING_EXPERIENCE)
      & z_75_a_ibm_1401_1(Z_75_A_IBM_1401_1)
      & nim2(Z_75_A_IBM_1401_1,R_75_1_SERVICE) ) ).


n75_a_ibm_1401 n75_a_ibm_1401_4 Service n75_a_ibm_1401_7 that n75_a_ibm_1401_9 *T* n75_a_ibm_1401_11 has n75_a_ibm_1401_14 been n75_a_ibm_1401_17 proven n75_a_ibm_1401_20 by n75_a_ibm_1401_23 years n75_a_ibm_1401_26 of n75_a_ibm_1401_29 data n75_a_ibm_1401_31 processing n75_a_ibm_1401_33 experience n75_a_ibm_1401_35 . n75_a_ibm_1401_1 FRAG n75_a_ibm_1401_2 NP n75_a_ibm_1401_1->n75_a_ibm_1401_2 n75_a_ibm_1401_34 PUNC n75_a_ibm_1401_1->n75_a_ibm_1401_34 n75_a_ibm_1401_3 N n75_a_ibm_1401_2->n75_a_ibm_1401_3 n75_a_ibm_1401_5 IP-REL n75_a_ibm_1401_2->n75_a_ibm_1401_5 n75_a_ibm_1401_3->n75_a_ibm_1401_4 n75_a_ibm_1401_6 C n75_a_ibm_1401_5->n75_a_ibm_1401_6 n75_a_ibm_1401_8 NP-SBJ n75_a_ibm_1401_5->n75_a_ibm_1401_8 n75_a_ibm_1401_10 HVP;_cat_Ve_ n75_a_ibm_1401_5->n75_a_ibm_1401_10 n75_a_ibm_1401_12 IP-PPL-CAT n75_a_ibm_1401_5->n75_a_ibm_1401_12 n75_a_ibm_1401_6->n75_a_ibm_1401_7 n75_a_ibm_1401_8->n75_a_ibm_1401_9 n75_a_ibm_1401_10->n75_a_ibm_1401_11 n75_a_ibm_1401_13 BEN;_cat_VePASS_ n75_a_ibm_1401_12->n75_a_ibm_1401_13 n75_a_ibm_1401_15 IP-PPL-CAT n75_a_ibm_1401_12->n75_a_ibm_1401_15 n75_a_ibm_1401_13->n75_a_ibm_1401_14 n75_a_ibm_1401_16 VVN;_Tn_ n75_a_ibm_1401_15->n75_a_ibm_1401_16 n75_a_ibm_1401_18 PP-LGS n75_a_ibm_1401_15->n75_a_ibm_1401_18 n75_a_ibm_1401_16->n75_a_ibm_1401_17 n75_a_ibm_1401_19 P-ROLE;_lgs_ n75_a_ibm_1401_18->n75_a_ibm_1401_19 n75_a_ibm_1401_21 NP n75_a_ibm_1401_18->n75_a_ibm_1401_21 n75_a_ibm_1401_19->n75_a_ibm_1401_20 n75_a_ibm_1401_22 NS n75_a_ibm_1401_21->n75_a_ibm_1401_22 n75_a_ibm_1401_24 PP n75_a_ibm_1401_21->n75_a_ibm_1401_24 n75_a_ibm_1401_22->n75_a_ibm_1401_23 n75_a_ibm_1401_25 P-ROLE n75_a_ibm_1401_24->n75_a_ibm_1401_25 n75_a_ibm_1401_27 NP n75_a_ibm_1401_24->n75_a_ibm_1401_27 n75_a_ibm_1401_25->n75_a_ibm_1401_26 n75_a_ibm_1401_28 NS n75_a_ibm_1401_27->n75_a_ibm_1401_28 n75_a_ibm_1401_30 N n75_a_ibm_1401_27->n75_a_ibm_1401_30 n75_a_ibm_1401_32 N n75_a_ibm_1401_27->n75_a_ibm_1401_32 n75_a_ibm_1401_28->n75_a_ibm_1401_29 n75_a_ibm_1401_30->n75_a_ibm_1401_31 n75_a_ibm_1401_32->n75_a_ibm_1401_33 n75_a_ibm_1401_34->n75_a_ibm_1401_35 
( (FRAG (NP (N Service;{service})
            (IP-REL (C that;{that})
                    (NP-SBJ *T*)
                    (HVP;_cat_Ve_ has;{have})
                    (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                                (IP-PPL-CAT (VVN;_Tn_ proven;{prove})
                                            (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                    (NP (NS years;{year})
                                                        (PP (P-ROLE of;{of})
                                                            (NP (NS data;{data})
                                                                (N processing;{processing})
                                                                (N experience;{experience})))))))))
        (PUNC .))
  (ID 75_a_ibm_1401))