TSPC 75_a_ibm

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

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

fof(formula,axiom,
    ? [R_0075_0001__SERVICE,R_0075_0009__DATA_R_0075_0010__PROCESSING_R_0075_0011__EXPERIENCE,R_0075_0007__YEARS,R_0075_0002__THAT_R_0075_0003__HAS_R_0075_0004__BEEN_R_0075_0005__PROVEN,Z_000_75_A_IBM_1401_1] :
      ( r_0075_0001__Service(R_0075_0001__SERVICE)
      & r_0075_0009__data_r_0075_0010__processing_r_0075_0011__experience(R_0075_0009__DATA_R_0075_0010__PROCESSING_R_0075_0011__EXPERIENCE)
      & z_000_75_a_ibm_1401_1(Z_000_75_A_IBM_1401_1)
      & has_nim2(Z_000_75_A_IBM_1401_1,R_0075_0001__SERVICE)
      & r_0075_0002__that_r_0075_0003__has_r_0075_0004__been_r_0075_0005__proven(R_0075_0002__THAT_R_0075_0003__HAS_R_0075_0004__BEEN_R_0075_0005__PROVEN)
      & has_arg0(R_0075_0002__THAT_R_0075_0003__HAS_R_0075_0004__BEEN_R_0075_0005__PROVEN,R_0075_0007__YEARS)
      & r_0075_0007__years(R_0075_0007__YEARS)
      & has_r_0075_0008__of(R_0075_0007__YEARS,R_0075_0009__DATA_R_0075_0010__PROCESSING_R_0075_0011__EXPERIENCE)
      & has_arg1(R_0075_0002__THAT_R_0075_0003__HAS_R_0075_0004__BEEN_R_0075_0005__PROVEN,R_0075_0001__SERVICE) ) ).

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