44_a_lob_j01
However, if a material oxidizes in sodium at a given oxygen potential the reference electrode could be held at that potential and oxidizing or reducing conditions in the coolant circuit for that material would be indicated by a negative or positive potential at the reference electrode.

%3 r_0044_0003__if if r_0044_0006__oxidizes oxidizes r_0044_0003__if->r_0044_0006__oxidizes [restriction] r_0044_0017__could could r_0044_0003__if->r_0044_0017__could [scope] r_0044_0004__a_r_0044_0005__material a material r_0044_0006__oxidizes->r_0044_0004__a_r_0044_0005__material [arg0] r_0044_0008__sodium sodium r_0044_0006__oxidizes->r_0044_0008__sodium in [nim] r_0044_0010__a_r_0044_0012__oxygen_r_0044_0013__potential a oxygen potential r_0044_0006__oxidizes->r_0044_0010__a_r_0044_0012__oxygen_r_0044_0013__potential at [nim] r_0044_0001__However However r_0044_0017__could->r_0044_0001__However [nim] r_0044_0032__for for r_0044_0017__could->r_0044_0032__for [scope] r_0044_0011__given given r_0044_0011__given->r_0044_0010__a_r_0044_0012__oxygen_r_0044_0013__potential [arg0] r_0044_0018__be be r_0044_0032__for->r_0044_0018__be [scope] r_0044_0035__would would r_0044_0032__for->r_0044_0035__would [restriction] r_0044_0019__held held r_0044_0018__be->r_0044_0019__held [scope] r_0044_0014__the_r_0044_0015__reference_r_0044_0016__electrode the reference electrode r_0044_0019__held->r_0044_0014__the_r_0044_0015__reference_r_0044_0016__electrode [arg1] r_0044_0025__or or r_0044_0019__held->r_0044_0025__or at [nim] r_0044_0029__the_r_0044_0030__coolant_r_0044_0031__circuit the coolant circuit r_0044_0019__held->r_0044_0029__the_r_0044_0030__coolant_r_0044_0031__circuit in [nim] z_000_44_a_lob_j01_50 r_0044_0019__held->z_000_44_a_lob_j01_50 [arg0] r_0044_0021__that that r_0044_0025__or->r_0044_0021__that [conj1] r_0044_0027__conditions conditions r_0044_0025__or->r_0044_0027__conditions [conj2] r_0044_0023__and and r_0044_0021__that->r_0044_0023__and [attrib] r_0044_0022__potential potential r_0044_0023__and->r_0044_0022__potential [conj1] r_0044_0024__oxidizing oxidizing r_0044_0023__and->r_0044_0024__oxidizing [conj2] r_0044_0026__reducing reducing r_0044_0026__reducing->r_0044_0027__conditions [arg0] r_0044_0036__be be r_0044_0035__would->r_0044_0036__be [scope] r_0044_0037__indicated indicated r_0044_0036__be->r_0044_0037__indicated [scope] r_0044_0033__that_r_0044_0034__material that material r_0044_0037__indicated->r_0044_0033__that_r_0044_0034__material [arg1] r_0044_0039__a_r_0044_0043__potential a potential r_0044_0037__indicated->r_0044_0039__a_r_0044_0043__potential [arg0] r_0044_0041__or or r_0044_0039__a_r_0044_0043__potential->r_0044_0041__or [attrib] r_0044_0045__the_r_0044_0046__reference_r_0044_0047__electrode the reference electrode r_0044_0039__a_r_0044_0043__potential->r_0044_0045__the_r_0044_0046__reference_r_0044_0047__electrode at r_0044_0040__negative negative r_0044_0041__or->r_0044_0040__negative [conj1] r_0044_0042__positive positive r_0044_0041__or->r_0044_0042__positive [conj2]
arc(r_0044_0003__if, r_0044_0006__oxidizes, restriction).
arc(r_0044_0003__if, r_0044_0017__could, scope).
arc(r_0044_0006__oxidizes, r_0044_0004__a_r_0044_0005__material, arg0).
arc(r_0044_0006__oxidizes, r_0044_0008__sodium, r_0044_0007__in_nim21).
arc(r_0044_0006__oxidizes, r_0044_0010__a_r_0044_0012__oxygen_r_0044_0013__potential, r_0044_0009__at_nim27).
arc(r_0044_0011__given, r_0044_0010__a_r_0044_0012__oxygen_r_0044_0013__potential, arg0).
arc(r_0044_0017__could, r_0044_0001__However, nim2).
arc(r_0044_0017__could, r_0044_0032__for, scope).
arc(r_0044_0018__be, r_0044_0019__held, scope).
arc(r_0044_0019__held, r_0044_0014__the_r_0044_0015__reference_r_0044_0016__electrode, arg1).
arc(r_0044_0019__held, r_0044_0025__or, r_0044_0020__at_nim57).
arc(r_0044_0019__held, r_0044_0029__the_r_0044_0030__coolant_r_0044_0031__circuit, r_0044_0028__in_nim85).
arc(r_0044_0019__held, z_000_44_a_lob_j01_50, arg0).
arc(r_0044_0021__that, r_0044_0023__and, attrib62).
arc(r_0044_0023__and, r_0044_0022__potential, conj1).
arc(r_0044_0023__and, r_0044_0024__oxidizing, conj2).
arc(r_0044_0025__or, r_0044_0021__that, conj1).
arc(r_0044_0025__or, r_0044_0027__conditions, conj2).
arc(r_0044_0026__reducing, r_0044_0027__conditions, arg0).
arc(r_0044_0032__for, r_0044_0018__be, scope).
arc(r_0044_0032__for, r_0044_0035__would, restriction).
arc(r_0044_0035__would, r_0044_0036__be, scope).
arc(r_0044_0036__be, r_0044_0037__indicated, scope).
arc(r_0044_0037__indicated, r_0044_0033__that_r_0044_0034__material, arg1).
arc(r_0044_0037__indicated, r_0044_0039__a_r_0044_0043__potential, arg0).
arc(r_0044_0039__a_r_0044_0043__potential, r_0044_0041__or, attrib115).
arc(r_0044_0039__a_r_0044_0043__potential, r_0044_0045__the_r_0044_0046__reference_r_0044_0047__electrode, r_0044_0044__at).
arc(r_0044_0041__or, r_0044_0040__negative, conj1).
arc(r_0044_0041__or, r_0044_0042__positive, conj2).



%3 r_0044_0017__could could r_0044_0032__for for r_0044_0017__could->r_0044_0032__for [keep_scope] r_0044_0001__However However r_0044_0017__could->r_0044_0001__However [nim] r_0044_0035__would_r_0044_0036__be_r_0044_0037__indicated would be indicated r_0044_0032__for->r_0044_0035__would_r_0044_0036__be_r_0044_0037__indicated [conj1] r_0044_0018__be_r_0044_0019__held be held r_0044_0032__for->r_0044_0018__be_r_0044_0019__held [conj2] r_0044_0041__or or r_0044_0042__positive positive r_0044_0041__or->r_0044_0042__positive [conj2] r_0044_0040__negative negative r_0044_0041__or->r_0044_0040__negative [conj1] r_0044_0039__a_r_0044_0043__potential a potential r_0044_0039__a_r_0044_0043__potential->r_0044_0041__or [attrib] r_0044_0045__the_r_0044_0046__reference_r_0044_0047__electrode the reference electrode r_0044_0039__a_r_0044_0043__potential->r_0044_0045__the_r_0044_0046__reference_r_0044_0047__electrode at r_0044_0035__would_r_0044_0036__be_r_0044_0037__indicated->r_0044_0039__a_r_0044_0043__potential [arg0] r_0044_0033__that_r_0044_0034__material that material r_0044_0035__would_r_0044_0036__be_r_0044_0037__indicated->r_0044_0033__that_r_0044_0034__material [arg1] r_0044_0025__or or r_0044_0018__be_r_0044_0019__held->r_0044_0025__or at [nim] z_000_44_a_lob_j01_50 r_0044_0018__be_r_0044_0019__held->z_000_44_a_lob_j01_50 [arg0] r_0044_0029__the_r_0044_0030__coolant_r_0044_0031__circuit the coolant circuit r_0044_0018__be_r_0044_0019__held->r_0044_0029__the_r_0044_0030__coolant_r_0044_0031__circuit in [nim] r_0044_0014__the_r_0044_0015__reference_r_0044_0016__electrode the reference electrode r_0044_0018__be_r_0044_0019__held->r_0044_0014__the_r_0044_0015__reference_r_0044_0016__electrode [arg1] r_0044_0026__reducing reducing r_0044_0027__conditions conditions r_0044_0026__reducing->r_0044_0027__conditions [arg0] r_0044_0025__or->r_0044_0027__conditions [conj2] r_0044_0021__that that r_0044_0025__or->r_0044_0021__that [conj1] r_0044_0023__and and r_0044_0021__that->r_0044_0023__and [attrib] r_0044_0024__oxidizing oxidizing r_0044_0023__and->r_0044_0024__oxidizing [conj2] r_0044_0022__potential potential r_0044_0023__and->r_0044_0022__potential [conj1] r_0044_0011__given given r_0044_0010__a_r_0044_0012__oxygen_r_0044_0013__potential a oxygen potential r_0044_0011__given->r_0044_0010__a_r_0044_0012__oxygen_r_0044_0013__potential [arg0] r_0044_0006__oxidizes oxidizes r_0044_0006__oxidizes->r_0044_0010__a_r_0044_0012__oxygen_r_0044_0013__potential at [nim] r_0044_0008__sodium sodium r_0044_0006__oxidizes->r_0044_0008__sodium in [nim] r_0044_0004__a_r_0044_0005__material a material r_0044_0006__oxidizes->r_0044_0004__a_r_0044_0005__material [arg0] r_0044_0003__if if r_0044_0003__if->r_0044_0017__could [scope] r_0044_0003__if->r_0044_0006__oxidizes [restriction]
fof(formula,axiom,
    ? [R_44_11_GIVEN,R_44_10_A_OXYGEN_POTENTIAL,R_44_26_REDUCING,R_44_27_CONDITIONS] :
      ( a_oxygen_potential(R_44_10_A_OXYGEN_POTENTIAL)
      & conditions(R_44_27_CONDITIONS)
      & ! [R_44_6_OXIDIZES,R_44_4_A_MATERIAL,R_44_8_SODIUM] :
          ( ( a_material(R_44_4_A_MATERIAL)
            & sodium(R_44_8_SODIUM)
            & oxidizes(R_44_6_OXIDIZES,R_44_4_A_MATERIAL)
            & in_nim21(R_44_6_OXIDIZES,R_44_8_SODIUM)
            & at_nim27(R_44_6_OXIDIZES,R_44_10_A_OXYGEN_POTENTIAL) )
         => ? [R_44_1_HOWEVER] :
              ( however(R_44_1_HOWEVER)
              & ? [R_44_32_FOR,R_44_35_WOULD_BE_INDICATED,R_44_39_A_POTENTIAL,R_44_41_OR,R_44_40_NEGATIVE,R_44_42_POSITIVE,R_44_45_THE_REFERENCE_ELECTRODE,R_44_33_THAT_MATERIAL,R_44_18_BE_HELD,Z_44_A_LOB_J01_50,R_44_14_THE_REFERENCE_ELECTRODE,R_44_25_OR,R_44_21_THAT,R_44_23_AND,R_44_22_POTENTIAL,R_44_24_OXIDIZING,R_44_29_THE_COOLANT_CIRCUIT] :
                  ( negative(R_44_40_NEGATIVE)
                  & positive(R_44_42_POSITIVE)
                  & the_reference_electrode(R_44_45_THE_REFERENCE_ELECTRODE)
                  & that_material(R_44_33_THAT_MATERIAL)
                  & the_reference_electrode(R_44_14_THE_REFERENCE_ELECTRODE)
                  & potential(R_44_22_POTENTIAL)
                  & oxidizing(R_44_24_OXIDIZING)
                  & the_coolant_circuit(R_44_29_THE_COOLANT_CIRCUIT)
                  & for(R_44_32_FOR)
                  & conj1(R_44_32_FOR,R_44_35_WOULD_BE_INDICATED)
                  & would_be_indicated(R_44_35_WOULD_BE_INDICATED,R_44_39_A_POTENTIAL,R_44_33_THAT_MATERIAL)
                  & a_potential(R_44_39_A_POTENTIAL)
                  & attrib115(R_44_39_A_POTENTIAL,R_44_41_OR)
                  & or(R_44_41_OR)
                  & conj1(R_44_41_OR,R_44_40_NEGATIVE)
                  & conj2(R_44_41_OR,R_44_42_POSITIVE)
                  & at(R_44_39_A_POTENTIAL,R_44_45_THE_REFERENCE_ELECTRODE)
                  & conj2(R_44_32_FOR,R_44_18_BE_HELD)
                  & be_held(R_44_18_BE_HELD,Z_44_A_LOB_J01_50,R_44_14_THE_REFERENCE_ELECTRODE)
                  & at_nim57(R_44_18_BE_HELD,R_44_25_OR)
                  & or(R_44_25_OR)
                  & conj1(R_44_25_OR,R_44_21_THAT)
                  & that(R_44_21_THAT)
                  & attrib62(R_44_21_THAT,R_44_23_AND)
                  & and(R_44_23_AND)
                  & conj1(R_44_23_AND,R_44_22_POTENTIAL)
                  & conj2(R_44_23_AND,R_44_24_OXIDIZING)
                  & conj2(R_44_25_OR,R_44_27_CONDITIONS)
                  & in_nim85(R_44_18_BE_HELD,R_44_29_THE_COOLANT_CIRCUIT) ) ) )
      & given(R_44_11_GIVEN,R_44_10_A_OXYGEN_POTENTIAL)
      & reducing(R_44_26_REDUCING,R_44_27_CONDITIONS) ) ).



n44_a_lob_j01 n44_a_lob_j01__1_1_1_1 However n44_a_lob_j01__1_2_1 , n44_a_lob_j01__1_3_1_1 if n44_a_lob_j01__1_3_2_1_1_1 a n44_a_lob_j01__1_3_2_1_2_1 material n44_a_lob_j01__1_3_2_2_1 oxidizes n44_a_lob_j01__1_3_2_3_1_1 in n44_a_lob_j01__1_3_2_3_2_1_1 sodium n44_a_lob_j01__1_3_2_4_1_1 at n44_a_lob_j01__1_3_2_4_2_1_1 a n44_a_lob_j01__1_3_2_4_2_2_1_1 given n44_a_lob_j01__1_3_2_4_2_3_1 oxygen n44_a_lob_j01__1_3_2_4_2_4_1 potential n44_a_lob_j01__1_4_1_1 the n44_a_lob_j01__1_4_2_1 reference n44_a_lob_j01__1_4_3_1 electrode n44_a_lob_j01__1_5_1 could n44_a_lob_j01__1_6_1_1 be n44_a_lob_j01__1_6_2_1_1 * n44_a_lob_j01__1_6_2_2_1 held n44_a_lob_j01__1_6_2_3_1_1 at n44_a_lob_j01__1_6_2_3_2_1_1_1_1 that n44_a_lob_j01__1_6_2_3_2_1_1_2_1_1_1_1 potential n44_a_lob_j01__1_6_2_3_2_1_1_2_1_2_1_1 and n44_a_lob_j01__1_6_2_3_2_1_1_2_1_2_2_1_1 oxidizing n44_a_lob_j01__1_6_2_3_2_1_2_1_1 or n44_a_lob_j01__1_6_2_3_2_1_2_2_1_1_1 reducing n44_a_lob_j01__1_6_2_3_2_1_2_2_2_1 conditions n44_a_lob_j01__1_6_2_4_1_1 in n44_a_lob_j01__1_6_2_4_2_1_1 the n44_a_lob_j01__1_6_2_4_2_2_1 coolant n44_a_lob_j01__1_6_2_4_2_3_1 circuit n44_a_lob_j01__1_6_3_1_1 for n44_a_lob_j01__1_6_3_2_1_1_1 that n44_a_lob_j01__1_6_3_2_1_2_1 material n44_a_lob_j01__1_6_3_2_2_1 would n44_a_lob_j01__1_6_3_2_3_1_1 be n44_a_lob_j01__1_6_3_2_3_2_1_1 indicated n44_a_lob_j01__1_6_3_2_3_2_2_1_1 by n44_a_lob_j01__1_6_3_2_3_2_2_2_1_1 a n44_a_lob_j01__1_6_3_2_3_2_2_2_2_1_1_1_1 negative n44_a_lob_j01__1_6_3_2_3_2_2_2_2_1_2_1_1 or n44_a_lob_j01__1_6_3_2_3_2_2_2_2_1_2_2_1_1 positive n44_a_lob_j01__1_6_3_2_3_2_2_2_3_1 potential n44_a_lob_j01__1_6_3_2_3_2_2_2_4_1_1 at n44_a_lob_j01__1_6_3_2_3_2_2_2_4_2_1_1 the n44_a_lob_j01__1_6_3_2_3_2_2_2_4_2_2_1 reference n44_a_lob_j01__1_6_3_2_3_2_2_2_4_2_3_1 electrode n44_a_lob_j01__1_7_1 . n44_a_lob_j01__1 IP-MAT n44_a_lob_j01__1_1 ADVP-NIM n44_a_lob_j01__1->n44_a_lob_j01__1_1 n44_a_lob_j01__1_2 PUNC n44_a_lob_j01__1->n44_a_lob_j01__1_2 n44_a_lob_j01__1_3 PP-SCON n44_a_lob_j01__1->n44_a_lob_j01__1_3 n44_a_lob_j01__1_4 NP-SBJ n44_a_lob_j01__1->n44_a_lob_j01__1_4 n44_a_lob_j01__1_5 MD;_cat_Vi_ n44_a_lob_j01__1->n44_a_lob_j01__1_5 n44_a_lob_j01__1_6 IP-INF-CAT n44_a_lob_j01__1->n44_a_lob_j01__1_6 n44_a_lob_j01__1_7 PUNC n44_a_lob_j01__1->n44_a_lob_j01__1_7 n44_a_lob_j01__1_1_1 ADV n44_a_lob_j01__1_1->n44_a_lob_j01__1_1_1 n44_a_lob_j01__1_1_1->n44_a_lob_j01__1_1_1_1 n44_a_lob_j01__1_2->n44_a_lob_j01__1_2_1 n44_a_lob_j01__1_3_1 P-CONN n44_a_lob_j01__1_3->n44_a_lob_j01__1_3_1 n44_a_lob_j01__1_3_2 IP-ADV n44_a_lob_j01__1_3->n44_a_lob_j01__1_3_2 n44_a_lob_j01__1_3_1->n44_a_lob_j01__1_3_1_1 n44_a_lob_j01__1_3_2_1 NP-SBJ n44_a_lob_j01__1_3_2->n44_a_lob_j01__1_3_2_1 n44_a_lob_j01__1_3_2_2 VBP;__ n44_a_lob_j01__1_3_2->n44_a_lob_j01__1_3_2_2 n44_a_lob_j01__1_3_2_3 PP-NIM n44_a_lob_j01__1_3_2->n44_a_lob_j01__1_3_2_3 n44_a_lob_j01__1_3_2_4 PP-NIM n44_a_lob_j01__1_3_2->n44_a_lob_j01__1_3_2_4 n44_a_lob_j01__1_3_2_1_1 D n44_a_lob_j01__1_3_2_1->n44_a_lob_j01__1_3_2_1_1 n44_a_lob_j01__1_3_2_1_2 N n44_a_lob_j01__1_3_2_1->n44_a_lob_j01__1_3_2_1_2 n44_a_lob_j01__1_3_2_1_1->n44_a_lob_j01__1_3_2_1_1_1 n44_a_lob_j01__1_3_2_1_2->n44_a_lob_j01__1_3_2_1_2_1 n44_a_lob_j01__1_3_2_2->n44_a_lob_j01__1_3_2_2_1 n44_a_lob_j01__1_3_2_3_1 P-ROLE n44_a_lob_j01__1_3_2_3->n44_a_lob_j01__1_3_2_3_1 n44_a_lob_j01__1_3_2_3_2 NP n44_a_lob_j01__1_3_2_3->n44_a_lob_j01__1_3_2_3_2 n44_a_lob_j01__1_3_2_3_1->n44_a_lob_j01__1_3_2_3_1_1 n44_a_lob_j01__1_3_2_3_2_1 N n44_a_lob_j01__1_3_2_3_2->n44_a_lob_j01__1_3_2_3_2_1 n44_a_lob_j01__1_3_2_3_2_1->n44_a_lob_j01__1_3_2_3_2_1_1 n44_a_lob_j01__1_3_2_4_1 P-ROLE n44_a_lob_j01__1_3_2_4->n44_a_lob_j01__1_3_2_4_1 n44_a_lob_j01__1_3_2_4_2 NP n44_a_lob_j01__1_3_2_4->n44_a_lob_j01__1_3_2_4_2 n44_a_lob_j01__1_3_2_4_1->n44_a_lob_j01__1_3_2_4_1_1 n44_a_lob_j01__1_3_2_4_2_1 D n44_a_lob_j01__1_3_2_4_2->n44_a_lob_j01__1_3_2_4_2_1 n44_a_lob_j01__1_3_2_4_2_2 IP-PPL n44_a_lob_j01__1_3_2_4_2->n44_a_lob_j01__1_3_2_4_2_2 n44_a_lob_j01__1_3_2_4_2_3 N n44_a_lob_j01__1_3_2_4_2->n44_a_lob_j01__1_3_2_4_2_3 n44_a_lob_j01__1_3_2_4_2_4 N n44_a_lob_j01__1_3_2_4_2->n44_a_lob_j01__1_3_2_4_2_4 n44_a_lob_j01__1_3_2_4_2_1->n44_a_lob_j01__1_3_2_4_2_1_1 n44_a_lob_j01__1_3_2_4_2_2_1 VVN;__ n44_a_lob_j01__1_3_2_4_2_2->n44_a_lob_j01__1_3_2_4_2_2_1 n44_a_lob_j01__1_3_2_4_2_2_1->n44_a_lob_j01__1_3_2_4_2_2_1_1 n44_a_lob_j01__1_3_2_4_2_3->n44_a_lob_j01__1_3_2_4_2_3_1 n44_a_lob_j01__1_3_2_4_2_4->n44_a_lob_j01__1_3_2_4_2_4_1 n44_a_lob_j01__1_4_1 D n44_a_lob_j01__1_4->n44_a_lob_j01__1_4_1 n44_a_lob_j01__1_4_2 N n44_a_lob_j01__1_4->n44_a_lob_j01__1_4_2 n44_a_lob_j01__1_4_3 N n44_a_lob_j01__1_4->n44_a_lob_j01__1_4_3 n44_a_lob_j01__1_4_1->n44_a_lob_j01__1_4_1_1 n44_a_lob_j01__1_4_2->n44_a_lob_j01__1_4_2_1 n44_a_lob_j01__1_4_3->n44_a_lob_j01__1_4_3_1 n44_a_lob_j01__1_5->n44_a_lob_j01__1_5_1 n44_a_lob_j01__1_6_1 BE;_cat_VePASS_ n44_a_lob_j01__1_6->n44_a_lob_j01__1_6_1 n44_a_lob_j01__1_6_2 IP-PPL-CAT n44_a_lob_j01__1_6->n44_a_lob_j01__1_6_2 n44_a_lob_j01__1_6_3 PP-SCON n44_a_lob_j01__1_6->n44_a_lob_j01__1_6_3 n44_a_lob_j01__1_6_1->n44_a_lob_j01__1_6_1_1 n44_a_lob_j01__1_6_2_1 NP-LGS n44_a_lob_j01__1_6_2->n44_a_lob_j01__1_6_2_1 n44_a_lob_j01__1_6_2_2 VVN;__ n44_a_lob_j01__1_6_2->n44_a_lob_j01__1_6_2_2 n44_a_lob_j01__1_6_2_3 PP-NIM n44_a_lob_j01__1_6_2->n44_a_lob_j01__1_6_2_3 n44_a_lob_j01__1_6_2_4 PP-NIM n44_a_lob_j01__1_6_2->n44_a_lob_j01__1_6_2_4 n44_a_lob_j01__1_6_2_1->n44_a_lob_j01__1_6_2_1_1 n44_a_lob_j01__1_6_2_2->n44_a_lob_j01__1_6_2_2_1 n44_a_lob_j01__1_6_2_3_1 P-ROLE n44_a_lob_j01__1_6_2_3->n44_a_lob_j01__1_6_2_3_1 n44_a_lob_j01__1_6_2_3_2 NP n44_a_lob_j01__1_6_2_3->n44_a_lob_j01__1_6_2_3_2 n44_a_lob_j01__1_6_2_3_1->n44_a_lob_j01__1_6_2_3_1_1 n44_a_lob_j01__1_6_2_3_2_1 NLYR n44_a_lob_j01__1_6_2_3_2->n44_a_lob_j01__1_6_2_3_2_1 n44_a_lob_j01__1_6_2_3_2_1_1 NLYR n44_a_lob_j01__1_6_2_3_2_1->n44_a_lob_j01__1_6_2_3_2_1_1 n44_a_lob_j01__1_6_2_3_2_1_2 CONJP n44_a_lob_j01__1_6_2_3_2_1->n44_a_lob_j01__1_6_2_3_2_1_2 n44_a_lob_j01__1_6_2_3_2_1_1_1 D;_nphd_ n44_a_lob_j01__1_6_2_3_2_1_1->n44_a_lob_j01__1_6_2_3_2_1_1_1 n44_a_lob_j01__1_6_2_3_2_1_1_2 ADJP n44_a_lob_j01__1_6_2_3_2_1_1->n44_a_lob_j01__1_6_2_3_2_1_1_2 n44_a_lob_j01__1_6_2_3_2_1_1_1->n44_a_lob_j01__1_6_2_3_2_1_1_1_1 n44_a_lob_j01__1_6_2_3_2_1_1_2_1 AJLYR n44_a_lob_j01__1_6_2_3_2_1_1_2->n44_a_lob_j01__1_6_2_3_2_1_1_2_1 n44_a_lob_j01__1_6_2_3_2_1_1_2_1_1 AJLYR n44_a_lob_j01__1_6_2_3_2_1_1_2_1->n44_a_lob_j01__1_6_2_3_2_1_1_2_1_1 n44_a_lob_j01__1_6_2_3_2_1_1_2_1_2 CONJP n44_a_lob_j01__1_6_2_3_2_1_1_2_1->n44_a_lob_j01__1_6_2_3_2_1_1_2_1_2 n44_a_lob_j01__1_6_2_3_2_1_1_2_1_1_1 ADJ n44_a_lob_j01__1_6_2_3_2_1_1_2_1_1->n44_a_lob_j01__1_6_2_3_2_1_1_2_1_1_1 n44_a_lob_j01__1_6_2_3_2_1_1_2_1_1_1->n44_a_lob_j01__1_6_2_3_2_1_1_2_1_1_1_1 n44_a_lob_j01__1_6_2_3_2_1_1_2_1_2_1 CONJ n44_a_lob_j01__1_6_2_3_2_1_1_2_1_2->n44_a_lob_j01__1_6_2_3_2_1_1_2_1_2_1 n44_a_lob_j01__1_6_2_3_2_1_1_2_1_2_2 AJLYR n44_a_lob_j01__1_6_2_3_2_1_1_2_1_2->n44_a_lob_j01__1_6_2_3_2_1_1_2_1_2_2 n44_a_lob_j01__1_6_2_3_2_1_1_2_1_2_1->n44_a_lob_j01__1_6_2_3_2_1_1_2_1_2_1_1 n44_a_lob_j01__1_6_2_3_2_1_1_2_1_2_2_1 ADJ n44_a_lob_j01__1_6_2_3_2_1_1_2_1_2_2->n44_a_lob_j01__1_6_2_3_2_1_1_2_1_2_2_1 n44_a_lob_j01__1_6_2_3_2_1_1_2_1_2_2_1->n44_a_lob_j01__1_6_2_3_2_1_1_2_1_2_2_1_1 n44_a_lob_j01__1_6_2_3_2_1_2_1 CONJ n44_a_lob_j01__1_6_2_3_2_1_2->n44_a_lob_j01__1_6_2_3_2_1_2_1 n44_a_lob_j01__1_6_2_3_2_1_2_2 NLYR n44_a_lob_j01__1_6_2_3_2_1_2->n44_a_lob_j01__1_6_2_3_2_1_2_2 n44_a_lob_j01__1_6_2_3_2_1_2_1->n44_a_lob_j01__1_6_2_3_2_1_2_1_1 n44_a_lob_j01__1_6_2_3_2_1_2_2_1 IP-PPL n44_a_lob_j01__1_6_2_3_2_1_2_2->n44_a_lob_j01__1_6_2_3_2_1_2_2_1 n44_a_lob_j01__1_6_2_3_2_1_2_2_2 NS n44_a_lob_j01__1_6_2_3_2_1_2_2->n44_a_lob_j01__1_6_2_3_2_1_2_2_2 n44_a_lob_j01__1_6_2_3_2_1_2_2_1_1 VAG;__ n44_a_lob_j01__1_6_2_3_2_1_2_2_1->n44_a_lob_j01__1_6_2_3_2_1_2_2_1_1 n44_a_lob_j01__1_6_2_3_2_1_2_2_1_1->n44_a_lob_j01__1_6_2_3_2_1_2_2_1_1_1 n44_a_lob_j01__1_6_2_3_2_1_2_2_2->n44_a_lob_j01__1_6_2_3_2_1_2_2_2_1 n44_a_lob_j01__1_6_2_4_1 P-ROLE n44_a_lob_j01__1_6_2_4->n44_a_lob_j01__1_6_2_4_1 n44_a_lob_j01__1_6_2_4_2 NP n44_a_lob_j01__1_6_2_4->n44_a_lob_j01__1_6_2_4_2 n44_a_lob_j01__1_6_2_4_1->n44_a_lob_j01__1_6_2_4_1_1 n44_a_lob_j01__1_6_2_4_2_1 D n44_a_lob_j01__1_6_2_4_2->n44_a_lob_j01__1_6_2_4_2_1 n44_a_lob_j01__1_6_2_4_2_2 N n44_a_lob_j01__1_6_2_4_2->n44_a_lob_j01__1_6_2_4_2_2 n44_a_lob_j01__1_6_2_4_2_3 N n44_a_lob_j01__1_6_2_4_2->n44_a_lob_j01__1_6_2_4_2_3 n44_a_lob_j01__1_6_2_4_2_1->n44_a_lob_j01__1_6_2_4_2_1_1 n44_a_lob_j01__1_6_2_4_2_2->n44_a_lob_j01__1_6_2_4_2_2_1 n44_a_lob_j01__1_6_2_4_2_3->n44_a_lob_j01__1_6_2_4_2_3_1 n44_a_lob_j01__1_6_3_1 P-CONN n44_a_lob_j01__1_6_3->n44_a_lob_j01__1_6_3_1 n44_a_lob_j01__1_6_3_2 IP-ADV n44_a_lob_j01__1_6_3->n44_a_lob_j01__1_6_3_2 n44_a_lob_j01__1_6_3_1->n44_a_lob_j01__1_6_3_1_1 n44_a_lob_j01__1_6_3_2_1 NP-SBJ n44_a_lob_j01__1_6_3_2->n44_a_lob_j01__1_6_3_2_1 n44_a_lob_j01__1_6_3_2_2 MD;_cat_Vi_ n44_a_lob_j01__1_6_3_2->n44_a_lob_j01__1_6_3_2_2 n44_a_lob_j01__1_6_3_2_3 IP-INF-CAT n44_a_lob_j01__1_6_3_2->n44_a_lob_j01__1_6_3_2_3 n44_a_lob_j01__1_6_3_2_1_1 D n44_a_lob_j01__1_6_3_2_1->n44_a_lob_j01__1_6_3_2_1_1 n44_a_lob_j01__1_6_3_2_1_2 N n44_a_lob_j01__1_6_3_2_1->n44_a_lob_j01__1_6_3_2_1_2 n44_a_lob_j01__1_6_3_2_1_1->n44_a_lob_j01__1_6_3_2_1_1_1 n44_a_lob_j01__1_6_3_2_1_2->n44_a_lob_j01__1_6_3_2_1_2_1 n44_a_lob_j01__1_6_3_2_2->n44_a_lob_j01__1_6_3_2_2_1 n44_a_lob_j01__1_6_3_2_3_1 BE;_cat_VePASS_ n44_a_lob_j01__1_6_3_2_3->n44_a_lob_j01__1_6_3_2_3_1 n44_a_lob_j01__1_6_3_2_3_2 IP-PPL-CAT n44_a_lob_j01__1_6_3_2_3->n44_a_lob_j01__1_6_3_2_3_2 n44_a_lob_j01__1_6_3_2_3_1->n44_a_lob_j01__1_6_3_2_3_1_1 n44_a_lob_j01__1_6_3_2_3_2_1 VVN;_Tn_ n44_a_lob_j01__1_6_3_2_3_2->n44_a_lob_j01__1_6_3_2_3_2_1 n44_a_lob_j01__1_6_3_2_3_2_2 PP-LGS n44_a_lob_j01__1_6_3_2_3_2->n44_a_lob_j01__1_6_3_2_3_2_2 n44_a_lob_j01__1_6_3_2_3_2_1->n44_a_lob_j01__1_6_3_2_3_2_1_1 n44_a_lob_j01__1_6_3_2_3_2_2_1 P-ROLE;_lgs_ n44_a_lob_j01__1_6_3_2_3_2_2->n44_a_lob_j01__1_6_3_2_3_2_2_1 n44_a_lob_j01__1_6_3_2_3_2_2_2 NP n44_a_lob_j01__1_6_3_2_3_2_2->n44_a_lob_j01__1_6_3_2_3_2_2_2 n44_a_lob_j01__1_6_3_2_3_2_2_1->n44_a_lob_j01__1_6_3_2_3_2_2_1_1 n44_a_lob_j01__1_6_3_2_3_2_2_2_1 D n44_a_lob_j01__1_6_3_2_3_2_2_2->n44_a_lob_j01__1_6_3_2_3_2_2_2_1 n44_a_lob_j01__1_6_3_2_3_2_2_2_2 ADJP n44_a_lob_j01__1_6_3_2_3_2_2_2->n44_a_lob_j01__1_6_3_2_3_2_2_2_2 n44_a_lob_j01__1_6_3_2_3_2_2_2_3 N n44_a_lob_j01__1_6_3_2_3_2_2_2->n44_a_lob_j01__1_6_3_2_3_2_2_2_3 n44_a_lob_j01__1_6_3_2_3_2_2_2_4 PP n44_a_lob_j01__1_6_3_2_3_2_2_2->n44_a_lob_j01__1_6_3_2_3_2_2_2_4 n44_a_lob_j01__1_6_3_2_3_2_2_2_1->n44_a_lob_j01__1_6_3_2_3_2_2_2_1_1 n44_a_lob_j01__1_6_3_2_3_2_2_2_2_1 AJLYR n44_a_lob_j01__1_6_3_2_3_2_2_2_2->n44_a_lob_j01__1_6_3_2_3_2_2_2_2_1 n44_a_lob_j01__1_6_3_2_3_2_2_2_2_1_1 AJLYR n44_a_lob_j01__1_6_3_2_3_2_2_2_2_1->n44_a_lob_j01__1_6_3_2_3_2_2_2_2_1_1 n44_a_lob_j01__1_6_3_2_3_2_2_2_2_1_2 CONJP n44_a_lob_j01__1_6_3_2_3_2_2_2_2_1->n44_a_lob_j01__1_6_3_2_3_2_2_2_2_1_2 n44_a_lob_j01__1_6_3_2_3_2_2_2_2_1_1_1 ADJ n44_a_lob_j01__1_6_3_2_3_2_2_2_2_1_1->n44_a_lob_j01__1_6_3_2_3_2_2_2_2_1_1_1 n44_a_lob_j01__1_6_3_2_3_2_2_2_2_1_1_1->n44_a_lob_j01__1_6_3_2_3_2_2_2_2_1_1_1_1 n44_a_lob_j01__1_6_3_2_3_2_2_2_2_1_2_1 CONJ n44_a_lob_j01__1_6_3_2_3_2_2_2_2_1_2->n44_a_lob_j01__1_6_3_2_3_2_2_2_2_1_2_1 n44_a_lob_j01__1_6_3_2_3_2_2_2_2_1_2_2 AJLYR n44_a_lob_j01__1_6_3_2_3_2_2_2_2_1_2->n44_a_lob_j01__1_6_3_2_3_2_2_2_2_1_2_2 n44_a_lob_j01__1_6_3_2_3_2_2_2_2_1_2_1->n44_a_lob_j01__1_6_3_2_3_2_2_2_2_1_2_1_1 n44_a_lob_j01__1_6_3_2_3_2_2_2_2_1_2_2_1 ADJ n44_a_lob_j01__1_6_3_2_3_2_2_2_2_1_2_2->n44_a_lob_j01__1_6_3_2_3_2_2_2_2_1_2_2_1 n44_a_lob_j01__1_6_3_2_3_2_2_2_2_1_2_2_1->n44_a_lob_j01__1_6_3_2_3_2_2_2_2_1_2_2_1_1 n44_a_lob_j01__1_6_3_2_3_2_2_2_3->n44_a_lob_j01__1_6_3_2_3_2_2_2_3_1 n44_a_lob_j01__1_6_3_2_3_2_2_2_4_1 P-ROLE n44_a_lob_j01__1_6_3_2_3_2_2_2_4->n44_a_lob_j01__1_6_3_2_3_2_2_2_4_1 n44_a_lob_j01__1_6_3_2_3_2_2_2_4_2 NP n44_a_lob_j01__1_6_3_2_3_2_2_2_4->n44_a_lob_j01__1_6_3_2_3_2_2_2_4_2 n44_a_lob_j01__1_6_3_2_3_2_2_2_4_1->n44_a_lob_j01__1_6_3_2_3_2_2_2_4_1_1 n44_a_lob_j01__1_6_3_2_3_2_2_2_4_2_1 D n44_a_lob_j01__1_6_3_2_3_2_2_2_4_2->n44_a_lob_j01__1_6_3_2_3_2_2_2_4_2_1 n44_a_lob_j01__1_6_3_2_3_2_2_2_4_2_2 N n44_a_lob_j01__1_6_3_2_3_2_2_2_4_2->n44_a_lob_j01__1_6_3_2_3_2_2_2_4_2_2 n44_a_lob_j01__1_6_3_2_3_2_2_2_4_2_3 N n44_a_lob_j01__1_6_3_2_3_2_2_2_4_2->n44_a_lob_j01__1_6_3_2_3_2_2_2_4_2_3 n44_a_lob_j01__1_6_3_2_3_2_2_2_4_2_1->n44_a_lob_j01__1_6_3_2_3_2_2_2_4_2_1_1 n44_a_lob_j01__1_6_3_2_3_2_2_2_4_2_2->n44_a_lob_j01__1_6_3_2_3_2_2_2_4_2_2_1 n44_a_lob_j01__1_6_3_2_3_2_2_2_4_2_3->n44_a_lob_j01__1_6_3_2_3_2_2_2_4_2_3_1 n44_a_lob_j01__1_7->n44_a_lob_j01__1_7_1
( (IP-MAT (ADVP-NIM (ADV However;{however}))
          (PUNC ,)
          (PP-SCON (P-CONN if;{if})
                   (IP-ADV (NP-SBJ (D a;{a})
                                   (N material;{material}))
                           (VBP;__ oxidizes;{oxidize})
                           (PP-NIM (P-ROLE in;{in})
                                   (NP (N sodium;{sodium})))
                           (PP-NIM (P-ROLE at;{at})
                                   (NP (D a;{a})
                                       (IP-PPL (VVN;__ given;{give}))
                                       (N oxygen;{oxygen})
                                       (N potential;{potential})))))
          (NP-SBJ (D the;{the})
                  (N reference;{reference})
                  (N electrode;{electrode}))
          (MD;_cat_Vi_ could;{can})
          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;__ held;{hold})
                                  (PP-NIM (P-ROLE at;{at})
                                          (NP (NLYR (NLYR (D;_nphd_ that;{that})
                                                          (ADJP (AJLYR (AJLYR (ADJ potential;{potential}))
                                                                       (CONJP (CONJ and;{and})
                                                                              (AJLYR (ADJ oxidizing;{oxidizing}))))))
                                                    (CONJP (CONJ or;{or})
                                                           (NLYR (IP-PPL (VAG;__ reducing;{reduce}))
                                                                 (NS conditions;{condition}))))))
                                  (PP-NIM (P-ROLE in;{in})
                                          (NP (D the;{the})
                                              (N coolant;{coolant})
                                              (N circuit;{circuit}))))
                      (PP-SCON (P-CONN for;{for})
                               (IP-ADV (NP-SBJ (D that;{that})
                                               (N material;{material}))
                                       (MD;_cat_Vi_ would;{will})
                                       (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                                                   (IP-PPL-CAT (VVN;_Tn_ indicated;{indicate})
                                                               (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                       (NP (D a;{a})
                                                                           (ADJP (AJLYR (AJLYR (ADJ negative;{negative}))
                                                                                        (CONJP (CONJ or;{or})
                                                                                               (AJLYR (ADJ positive;{positive})))))
                                                                           (N potential;{potential})
                                                                           (PP (P-ROLE at;{at})
                                                                               (NP (D the;{the})
                                                                                   (N reference;{reference})
                                                                                   (N electrode;{electrode}))))))))))
          (PUNC .))
  (ID 44_a_lob_j01))