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 z_000_75_a_ibm_1401_1 r_0075_0001__Service Service z_000_75_a_ibm_1401_1->r_0075_0001__Service [nim] r_0075_0007__years years 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 r_0075_0002__that_r_0075_0003__has_r_0075_0004__been_r_0075_0005__proven that has been proven r_0075_0002__that_r_0075_0003__has_r_0075_0004__been_r_0075_0005__proven->r_0075_0001__Service [arg1] r_0075_0002__that_r_0075_0003__has_r_0075_0004__been_r_0075_0005__proven->r_0075_0007__years [arg0] 
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__1_1_1_1 Service n75_a_ibm_1401__1_1_2_1_1 that n75_a_ibm_1401__1_1_2_2_1 *T* n75_a_ibm_1401__1_1_2_3_1 has n75_a_ibm_1401__1_1_2_4_1_1 been n75_a_ibm_1401__1_1_2_4_2_1_1 proven n75_a_ibm_1401__1_1_2_4_2_2_1_1 by n75_a_ibm_1401__1_1_2_4_2_2_2_1_1 years n75_a_ibm_1401__1_1_2_4_2_2_2_2_1_1 of n75_a_ibm_1401__1_1_2_4_2_2_2_2_2_1_1 data n75_a_ibm_1401__1_1_2_4_2_2_2_2_2_2_1 processing n75_a_ibm_1401__1_1_2_4_2_2_2_2_2_3_1 experience n75_a_ibm_1401__1_2_1 . n75_a_ibm_1401__1 FRAG n75_a_ibm_1401__1_1 NP n75_a_ibm_1401__1->n75_a_ibm_1401__1_1 n75_a_ibm_1401__1_2 PUNC n75_a_ibm_1401__1->n75_a_ibm_1401__1_2 n75_a_ibm_1401__1_1_1 N n75_a_ibm_1401__1_1->n75_a_ibm_1401__1_1_1 n75_a_ibm_1401__1_1_2 IP-REL n75_a_ibm_1401__1_1->n75_a_ibm_1401__1_1_2 n75_a_ibm_1401__1_1_1->n75_a_ibm_1401__1_1_1_1 n75_a_ibm_1401__1_1_2_1 C n75_a_ibm_1401__1_1_2->n75_a_ibm_1401__1_1_2_1 n75_a_ibm_1401__1_1_2_2 NP-SBJ n75_a_ibm_1401__1_1_2->n75_a_ibm_1401__1_1_2_2 n75_a_ibm_1401__1_1_2_3 HVP;_cat_Ve_ n75_a_ibm_1401__1_1_2->n75_a_ibm_1401__1_1_2_3 n75_a_ibm_1401__1_1_2_4 IP-PPL-CAT n75_a_ibm_1401__1_1_2->n75_a_ibm_1401__1_1_2_4 n75_a_ibm_1401__1_1_2_1->n75_a_ibm_1401__1_1_2_1_1 n75_a_ibm_1401__1_1_2_2->n75_a_ibm_1401__1_1_2_2_1 n75_a_ibm_1401__1_1_2_3->n75_a_ibm_1401__1_1_2_3_1 n75_a_ibm_1401__1_1_2_4_1 BEN;_cat_VePASS_ n75_a_ibm_1401__1_1_2_4->n75_a_ibm_1401__1_1_2_4_1 n75_a_ibm_1401__1_1_2_4_2 IP-PPL-CAT n75_a_ibm_1401__1_1_2_4->n75_a_ibm_1401__1_1_2_4_2 n75_a_ibm_1401__1_1_2_4_1->n75_a_ibm_1401__1_1_2_4_1_1 n75_a_ibm_1401__1_1_2_4_2_1 VVN;_Tn_ n75_a_ibm_1401__1_1_2_4_2->n75_a_ibm_1401__1_1_2_4_2_1 n75_a_ibm_1401__1_1_2_4_2_2 PP-LGS n75_a_ibm_1401__1_1_2_4_2->n75_a_ibm_1401__1_1_2_4_2_2 n75_a_ibm_1401__1_1_2_4_2_1->n75_a_ibm_1401__1_1_2_4_2_1_1 n75_a_ibm_1401__1_1_2_4_2_2_1 P-ROLE;_lgs_ n75_a_ibm_1401__1_1_2_4_2_2->n75_a_ibm_1401__1_1_2_4_2_2_1 n75_a_ibm_1401__1_1_2_4_2_2_2 NP n75_a_ibm_1401__1_1_2_4_2_2->n75_a_ibm_1401__1_1_2_4_2_2_2 n75_a_ibm_1401__1_1_2_4_2_2_1->n75_a_ibm_1401__1_1_2_4_2_2_1_1 n75_a_ibm_1401__1_1_2_4_2_2_2_1 NS n75_a_ibm_1401__1_1_2_4_2_2_2->n75_a_ibm_1401__1_1_2_4_2_2_2_1 n75_a_ibm_1401__1_1_2_4_2_2_2_2 PP n75_a_ibm_1401__1_1_2_4_2_2_2->n75_a_ibm_1401__1_1_2_4_2_2_2_2 n75_a_ibm_1401__1_1_2_4_2_2_2_1->n75_a_ibm_1401__1_1_2_4_2_2_2_1_1 n75_a_ibm_1401__1_1_2_4_2_2_2_2_1 P-ROLE n75_a_ibm_1401__1_1_2_4_2_2_2_2->n75_a_ibm_1401__1_1_2_4_2_2_2_2_1 n75_a_ibm_1401__1_1_2_4_2_2_2_2_2 NP n75_a_ibm_1401__1_1_2_4_2_2_2_2->n75_a_ibm_1401__1_1_2_4_2_2_2_2_2 n75_a_ibm_1401__1_1_2_4_2_2_2_2_1->n75_a_ibm_1401__1_1_2_4_2_2_2_2_1_1 n75_a_ibm_1401__1_1_2_4_2_2_2_2_2_1 NS n75_a_ibm_1401__1_1_2_4_2_2_2_2_2->n75_a_ibm_1401__1_1_2_4_2_2_2_2_2_1 n75_a_ibm_1401__1_1_2_4_2_2_2_2_2_2 N n75_a_ibm_1401__1_1_2_4_2_2_2_2_2->n75_a_ibm_1401__1_1_2_4_2_2_2_2_2_2 n75_a_ibm_1401__1_1_2_4_2_2_2_2_2_3 N n75_a_ibm_1401__1_1_2_4_2_2_2_2_2->n75_a_ibm_1401__1_1_2_4_2_2_2_2_2_3 n75_a_ibm_1401__1_1_2_4_2_2_2_2_2_1->n75_a_ibm_1401__1_1_2_4_2_2_2_2_2_1_1 n75_a_ibm_1401__1_1_2_4_2_2_2_2_2_2->n75_a_ibm_1401__1_1_2_4_2_2_2_2_2_2_1 n75_a_ibm_1401__1_1_2_4_2_2_2_2_2_3->n75_a_ibm_1401__1_1_2_4_2_2_2_2_2_3_1 n75_a_ibm_1401__1_2->n75_a_ibm_1401__1_2_1 
( (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))