75_a_ibm_1401
Service that has been proven by years of data processing experience.
( (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 (NLYR (NS data;{data})
(N processing;{processing}))
(N experience;{experience})))))))))
(PUNC .))
(ID 75_a_ibm_1401))
arc(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,inv_arg1).
arc(r_0075_0005__proven,r_0075_0007__years,r_0075_0006__by_arg0).
arc(r_0075_0007__years,r_0075_0011__experience,r_0075_0008__of).
arc(r_0075_0011__experience,r_0075_0009__data_r_0075_0010__processing,nim).
arc(z_0075_5014,r_0075_0001__Service,z_0075_5002).
fof(formula,axiom,
? [R_0075_0009__DATA_R_0075_0010__PROCESSING,R_0075_0011__EXPERIENCE,R_0075_0007__YEARS,R_0075_0003__HAS_R_0075_0004__BEEN_R_0075_0005__PROVEN,R_0075_0001__SERVICE,Z_0075_5014] :
( r_0075_0009__data_r_0075_0010__processing(R_0075_0009__DATA_R_0075_0010__PROCESSING)
& z_0075_5014(Z_0075_5014)
& has_z_0075_5002(Z_0075_5014,R_0075_0001__SERVICE)
& r_0075_0001__Service(R_0075_0001__SERVICE)
& has_inv_arg1(R_0075_0001__SERVICE,R_0075_0003__HAS_R_0075_0004__BEEN_R_0075_0005__PROVEN)
& r_0075_0003__has_r_0075_0004__been_r_0075_0005__proven(R_0075_0003__HAS_R_0075_0004__BEEN_R_0075_0005__PROVEN)
& has_r_0075_0006__by_arg0(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_0011__EXPERIENCE)
& r_0075_0011__experience(R_0075_0011__EXPERIENCE)
& has_nim(R_0075_0011__EXPERIENCE,R_0075_0009__DATA_R_0075_0010__PROCESSING) ) ).