41_a_lob_j01
The use of the cell as a corrosion meter.
( (FRAG (NP (D The;{the})
(N use;{use})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(N cell;{cell})
(PP (P-ROLE as;{as})
(NP (D a;{a})
(N corrosion;{corrosion})
(N meter;{meter}))))))
(PUNC .))
(ID 41_a_lob_j01))
arc(r_0041_0001__The_r_0041_0002__use,r_0041_0004__the_r_0041_0005__cell,r_0041_0003__of).
arc(r_0041_0004__the_r_0041_0005__cell,r_0041_0007__a_r_0041_0008__corrosion_r_0041_0009__meter,r_0041_0006__as).
arc(z_0041_5006,r_0041_0001__The_r_0041_0002__use,z_0041_5002).
fof(formula,axiom,
? [R_0041_0007__A_R_0041_0008__CORROSION_R_0041_0009__METER,R_0041_0004__THE_R_0041_0005__CELL,R_0041_0001__THE_R_0041_0002__USE,Z_0041_5006] :
( r_0041_0007__a_r_0041_0008__corrosion_r_0041_0009__meter(R_0041_0007__A_R_0041_0008__CORROSION_R_0041_0009__METER)
& z_0041_5006(Z_0041_5006)
& has_z_0041_5002(Z_0041_5006,R_0041_0001__THE_R_0041_0002__USE)
& r_0041_0001__The_r_0041_0002__use(R_0041_0001__THE_R_0041_0002__USE)
& has_r_0041_0003__of(R_0041_0001__THE_R_0041_0002__USE,R_0041_0004__THE_R_0041_0005__CELL)
& r_0041_0004__the_r_0041_0005__cell(R_0041_0004__THE_R_0041_0005__CELL)
& has_r_0041_0006__as(R_0041_0004__THE_R_0041_0005__CELL,R_0041_0007__A_R_0041_0008__CORROSION_R_0041_0009__METER) ) ).