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 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] 
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_4 Contamination n32_a_lob_j01_7 of n32_a_lob_j01_10 the n32_a_lob_j01_12 sodium n32_a_lob_j01_14 circuit n32_a_lob_j01_17 by n32_a_lob_j01_20 oxygen n32_a_lob_j01_23 from n32_a_lob_j01_26 the n32_a_lob_j01_28 cell n32_a_lob_j01_30 . n32_a_lob_j01_1 FRAG n32_a_lob_j01_2 NP n32_a_lob_j01_1->n32_a_lob_j01_2 n32_a_lob_j01_29 PUNC n32_a_lob_j01_1->n32_a_lob_j01_29 n32_a_lob_j01_3 N n32_a_lob_j01_2->n32_a_lob_j01_3 n32_a_lob_j01_5 PP n32_a_lob_j01_2->n32_a_lob_j01_5 n32_a_lob_j01_15 PP n32_a_lob_j01_2->n32_a_lob_j01_15 n32_a_lob_j01_3->n32_a_lob_j01_4 n32_a_lob_j01_6 P-ROLE n32_a_lob_j01_5->n32_a_lob_j01_6 n32_a_lob_j01_8 NP n32_a_lob_j01_5->n32_a_lob_j01_8 n32_a_lob_j01_6->n32_a_lob_j01_7 n32_a_lob_j01_9 D n32_a_lob_j01_8->n32_a_lob_j01_9 n32_a_lob_j01_11 N n32_a_lob_j01_8->n32_a_lob_j01_11 n32_a_lob_j01_13 N n32_a_lob_j01_8->n32_a_lob_j01_13 n32_a_lob_j01_9->n32_a_lob_j01_10 n32_a_lob_j01_11->n32_a_lob_j01_12 n32_a_lob_j01_13->n32_a_lob_j01_14 n32_a_lob_j01_16 P-ROLE n32_a_lob_j01_15->n32_a_lob_j01_16 n32_a_lob_j01_18 NP n32_a_lob_j01_15->n32_a_lob_j01_18 n32_a_lob_j01_16->n32_a_lob_j01_17 n32_a_lob_j01_19 N n32_a_lob_j01_18->n32_a_lob_j01_19 n32_a_lob_j01_21 PP n32_a_lob_j01_18->n32_a_lob_j01_21 n32_a_lob_j01_19->n32_a_lob_j01_20 n32_a_lob_j01_22 P-ROLE n32_a_lob_j01_21->n32_a_lob_j01_22 n32_a_lob_j01_24 NP n32_a_lob_j01_21->n32_a_lob_j01_24 n32_a_lob_j01_22->n32_a_lob_j01_23 n32_a_lob_j01_25 D n32_a_lob_j01_24->n32_a_lob_j01_25 n32_a_lob_j01_27 N n32_a_lob_j01_24->n32_a_lob_j01_27 n32_a_lob_j01_25->n32_a_lob_j01_26 n32_a_lob_j01_27->n32_a_lob_j01_28 n32_a_lob_j01_29->n32_a_lob_j01_30 
( (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))