32_a_lob_j01
Contamination of the sodium circuit by oxygen from the cell.
( (FRAG (NP (N Contamination;{contamination})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(N sodium;{sodium})
(N circuit;{circuit})))
(PP (P-ROLE by;{by})
(NP (N oxygen;{oxygen})
(PP (P-ROLE from;{from})
(NP (D the;{the})
(N cell;{cell}))))))
(PUNC .))
(ID 32_a_lob_j01))
arc(r_0032_0001__Contamination,r_0032_0003__the_r_0032_0004__sodium_r_0032_0005__circuit,r_0032_0002__of).
arc(r_0032_0001__Contamination,r_0032_0007__oxygen,r_0032_0006__by).
arc(r_0032_0007__oxygen,r_0032_0009__the_r_0032_0010__cell,r_0032_0008__from).
arc(z_0032_5007,r_0032_0001__Contamination,z_0032_5002).
fof(formula,axiom,
? [R_0032_0003__THE_R_0032_0004__SODIUM_R_0032_0005__CIRCUIT,R_0032_0009__THE_R_0032_0010__CELL,R_0032_0007__OXYGEN,R_0032_0001__CONTAMINATION,Z_0032_5007] :
( r_0032_0003__the_r_0032_0004__sodium_r_0032_0005__circuit(R_0032_0003__THE_R_0032_0004__SODIUM_R_0032_0005__CIRCUIT)
& r_0032_0009__the_r_0032_0010__cell(R_0032_0009__THE_R_0032_0010__CELL)
& z_0032_5007(Z_0032_5007)
& has_z_0032_5002(Z_0032_5007,R_0032_0001__CONTAMINATION)
& r_0032_0001__Contamination(R_0032_0001__CONTAMINATION)
& has_r_0032_0006__by(R_0032_0001__CONTAMINATION,R_0032_0007__OXYGEN)
& r_0032_0007__oxygen(R_0032_0007__OXYGEN)
& has_r_0032_0008__from(R_0032_0007__OXYGEN,R_0032_0009__THE_R_0032_0010__CELL)
& has_r_0032_0002__of(R_0032_0001__CONTAMINATION,R_0032_0003__THE_R_0032_0004__SODIUM_R_0032_0005__CIRCUIT) ) ).