Context                Previous, Next                Top


32_a_lob_j01
Contamination of the sodium circuit by oxygen from the cell.

%3 r_0032_0001__Contamination Contamination r_0032_0003__the_r_0032_0004__sodium_r_0032_0005__circuit the sodium circuit r_0032_0001__Contamination->r_0032_0003__the_r_0032_0004__sodium_r_0032_0005__circuit of r_0032_0007__oxygen oxygen r_0032_0001__Contamination->r_0032_0007__oxygen by r_0032_0009__the_r_0032_0010__cell the cell r_0032_0007__oxygen->r_0032_0009__the_r_0032_0010__cell from z_000_32_a_lob_j01_1 z_000_32_a_lob_j01_1->r_0032_0001__Contamination [nim] 
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_000_32_a_lob_j01_1, r_0032_0001__Contamination, nim2).


%3 z_000_32_a_lob_j01_1 r_0032_0001__Contamination Contamination z_000_32_a_lob_j01_1->r_0032_0001__Contamination [nim] r_0032_0007__oxygen oxygen r_0032_0001__Contamination->r_0032_0007__oxygen by r_0032_0003__the_r_0032_0004__sodium_r_0032_0005__circuit the sodium circuit r_0032_0001__Contamination->r_0032_0003__the_r_0032_0004__sodium_r_0032_0005__circuit of r_0032_0009__the_r_0032_0010__cell the cell r_0032_0007__oxygen->r_0032_0009__the_r_0032_0010__cell from 
fof(formula,axiom,
    ? [Z_32_A_LOB_J01_1,R_32_1_CONTAMINATION,R_32_3_THE_SODIUM_CIRCUIT,R_32_7_OXYGEN,R_32_9_THE_CELL] :
      ( the_sodium_circuit(R_32_3_THE_SODIUM_CIRCUIT)
      & the_cell(R_32_9_THE_CELL)
      & z_32_a_lob_j01_1(Z_32_A_LOB_J01_1)
      & nim2(Z_32_A_LOB_J01_1,R_32_1_CONTAMINATION)
      & contamination(R_32_1_CONTAMINATION)
      & of(R_32_1_CONTAMINATION,R_32_3_THE_SODIUM_CIRCUIT)
      & by(R_32_1_CONTAMINATION,R_32_7_OXYGEN)
      & oxygen(R_32_7_OXYGEN)
      & from(R_32_7_OXYGEN,R_32_9_THE_CELL) ) ).


n32_a_lob_j01 n32_a_lob_j01__1_1_1_1 Contamination n32_a_lob_j01__1_1_2_1_1 of n32_a_lob_j01__1_1_2_2_1_1 the n32_a_lob_j01__1_1_2_2_2_1 sodium n32_a_lob_j01__1_1_2_2_3_1 circuit n32_a_lob_j01__1_1_3_1_1 by n32_a_lob_j01__1_1_3_2_1_1 oxygen n32_a_lob_j01__1_1_3_2_2_1_1 from n32_a_lob_j01__1_1_3_2_2_2_1_1 the n32_a_lob_j01__1_1_3_2_2_2_2_1 cell n32_a_lob_j01__1_2_1 . n32_a_lob_j01__1 FRAG n32_a_lob_j01__1_1 NP n32_a_lob_j01__1->n32_a_lob_j01__1_1 n32_a_lob_j01__1_2 PUNC n32_a_lob_j01__1->n32_a_lob_j01__1_2 n32_a_lob_j01__1_1_1 N n32_a_lob_j01__1_1->n32_a_lob_j01__1_1_1 n32_a_lob_j01__1_1_2 PP n32_a_lob_j01__1_1->n32_a_lob_j01__1_1_2 n32_a_lob_j01__1_1_3 PP n32_a_lob_j01__1_1->n32_a_lob_j01__1_1_3 n32_a_lob_j01__1_1_1->n32_a_lob_j01__1_1_1_1 n32_a_lob_j01__1_1_2_1 P-ROLE n32_a_lob_j01__1_1_2->n32_a_lob_j01__1_1_2_1 n32_a_lob_j01__1_1_2_2 NP n32_a_lob_j01__1_1_2->n32_a_lob_j01__1_1_2_2 n32_a_lob_j01__1_1_2_1->n32_a_lob_j01__1_1_2_1_1 n32_a_lob_j01__1_1_2_2_1 D n32_a_lob_j01__1_1_2_2->n32_a_lob_j01__1_1_2_2_1 n32_a_lob_j01__1_1_2_2_2 N n32_a_lob_j01__1_1_2_2->n32_a_lob_j01__1_1_2_2_2 n32_a_lob_j01__1_1_2_2_3 N n32_a_lob_j01__1_1_2_2->n32_a_lob_j01__1_1_2_2_3 n32_a_lob_j01__1_1_2_2_1->n32_a_lob_j01__1_1_2_2_1_1 n32_a_lob_j01__1_1_2_2_2->n32_a_lob_j01__1_1_2_2_2_1 n32_a_lob_j01__1_1_2_2_3->n32_a_lob_j01__1_1_2_2_3_1 n32_a_lob_j01__1_1_3_1 P-ROLE n32_a_lob_j01__1_1_3->n32_a_lob_j01__1_1_3_1 n32_a_lob_j01__1_1_3_2 NP n32_a_lob_j01__1_1_3->n32_a_lob_j01__1_1_3_2 n32_a_lob_j01__1_1_3_1->n32_a_lob_j01__1_1_3_1_1 n32_a_lob_j01__1_1_3_2_1 N n32_a_lob_j01__1_1_3_2->n32_a_lob_j01__1_1_3_2_1 n32_a_lob_j01__1_1_3_2_2 PP n32_a_lob_j01__1_1_3_2->n32_a_lob_j01__1_1_3_2_2 n32_a_lob_j01__1_1_3_2_1->n32_a_lob_j01__1_1_3_2_1_1 n32_a_lob_j01__1_1_3_2_2_1 P-ROLE n32_a_lob_j01__1_1_3_2_2->n32_a_lob_j01__1_1_3_2_2_1 n32_a_lob_j01__1_1_3_2_2_2 NP n32_a_lob_j01__1_1_3_2_2->n32_a_lob_j01__1_1_3_2_2_2 n32_a_lob_j01__1_1_3_2_2_1->n32_a_lob_j01__1_1_3_2_2_1_1 n32_a_lob_j01__1_1_3_2_2_2_1 D n32_a_lob_j01__1_1_3_2_2_2->n32_a_lob_j01__1_1_3_2_2_2_1 n32_a_lob_j01__1_1_3_2_2_2_2 N n32_a_lob_j01__1_1_3_2_2_2->n32_a_lob_j01__1_1_3_2_2_2_2 n32_a_lob_j01__1_1_3_2_2_2_1->n32_a_lob_j01__1_1_3_2_2_2_1_1 n32_a_lob_j01__1_1_3_2_2_2_2->n32_a_lob_j01__1_1_3_2_2_2_2_1 n32_a_lob_j01__1_2->n32_a_lob_j01__1_2_1 
( (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))