TSPC 44_a_lob

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.

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).

fof(formula,axiom,
    ? [R_0044_0010__A_R_0044_0012__OXYGEN_R_0044_0013__POTENTIAL,R_0044_0011__GIVEN,R_0044_0027__CONDITIONS,R_0044_0026__REDUCING] :
      ( r_0044_0010__a_r_0044_0012__oxygen_r_0044_0013__potential(R_0044_0010__A_R_0044_0012__OXYGEN_R_0044_0013__POTENTIAL)
      & r_0044_0027__conditions(R_0044_0027__CONDITIONS)
      & r_0044_0026__reducing(R_0044_0026__REDUCING)
      & has_arg0(R_0044_0026__REDUCING,R_0044_0027__CONDITIONS)
      & r_0044_0011__given(R_0044_0011__GIVEN)
      & has_arg0(R_0044_0011__GIVEN,R_0044_0010__A_R_0044_0012__OXYGEN_R_0044_0013__POTENTIAL)
      & ! [R_0044_0006__OXIDIZES,R_0044_0004__A_R_0044_0005__MATERIAL,R_0044_0008__SODIUM] :
          ( ( r_0044_0004__a_r_0044_0005__material(R_0044_0004__A_R_0044_0005__MATERIAL)
            & r_0044_0008__sodium(R_0044_0008__SODIUM)
            & r_0044_0006__oxidizes(R_0044_0006__OXIDIZES)
            & has_r_0044_0009__at_nim27(R_0044_0006__OXIDIZES,R_0044_0010__A_R_0044_0012__OXYGEN_R_0044_0013__POTENTIAL)
            & has_r_0044_0007__in_nim21(R_0044_0006__OXIDIZES,R_0044_0008__SODIUM)
            & has_arg0(R_0044_0006__OXIDIZES,R_0044_0004__A_R_0044_0005__MATERIAL) )
         => ? [R_0044_0001__HOWEVER,R_0044_0014__THE_R_0044_0015__REFERENCE_R_0044_0016__ELECTRODE,R_0044_0022__POTENTIAL,R_0044_0024__OXIDIZING,R_0044_0023__AND,R_0044_0021__THAT,R_0044_0025__OR,R_0044_0029__THE_R_0044_0030__COOLANT_R_0044_0031__CIRCUIT,Z_000_44_A_LOB_J01_50,R_0044_0018__BE_R_0044_0019__HELD,R_0044_0033__THAT_R_0044_0034__MATERIAL,R_0044_0040__NEGATIVE,R_0044_0042__POSITIVE,R_0044_0041__OR,R_0044_0045__THE_R_0044_0046__REFERENCE_R_0044_0047__ELECTRODE,R_0044_0039__A_R_0044_0043__POTENTIAL,R_0044_0035__WOULD_R_0044_0036__BE_R_0044_0037__INDICATED,R_0044_0032__FOR,R_0044_0017__COULD] :
              ( r_0044_0001__However(R_0044_0001__HOWEVER)
              & r_0044_0014__the_r_0044_0015__reference_r_0044_0016__electrode(R_0044_0014__THE_R_0044_0015__REFERENCE_R_0044_0016__ELECTRODE)
              & r_0044_0022__potential(R_0044_0022__POTENTIAL)
              & r_0044_0024__oxidizing(R_0044_0024__OXIDIZING)
              & r_0044_0029__the_r_0044_0030__coolant_r_0044_0031__circuit(R_0044_0029__THE_R_0044_0030__COOLANT_R_0044_0031__CIRCUIT)
              & r_0044_0033__that_r_0044_0034__material(R_0044_0033__THAT_R_0044_0034__MATERIAL)
              & r_0044_0040__negative(R_0044_0040__NEGATIVE)
              & r_0044_0042__positive(R_0044_0042__POSITIVE)
              & r_0044_0045__the_r_0044_0046__reference_r_0044_0047__electrode(R_0044_0045__THE_R_0044_0046__REFERENCE_R_0044_0047__ELECTRODE)
              & z_000_44_a_lob_j01_50(Z_000_44_A_LOB_J01_50)
              & r_0044_0017__could(R_0044_0017__COULD)
              & has_keep_scope(R_0044_0017__COULD,R_0044_0032__FOR)
              & r_0044_0032__for(R_0044_0032__FOR)
              & has_conj1(R_0044_0032__FOR,R_0044_0035__WOULD_R_0044_0036__BE_R_0044_0037__INDICATED)
              & r_0044_0035__would_r_0044_0036__be_r_0044_0037__indicated(R_0044_0035__WOULD_R_0044_0036__BE_R_0044_0037__INDICATED)
              & has_arg0(R_0044_0035__WOULD_R_0044_0036__BE_R_0044_0037__INDICATED,R_0044_0039__A_R_0044_0043__POTENTIAL)
              & r_0044_0039__a_r_0044_0043__potential(R_0044_0039__A_R_0044_0043__POTENTIAL)
              & has_r_0044_0044__at(R_0044_0039__A_R_0044_0043__POTENTIAL,R_0044_0045__THE_R_0044_0046__REFERENCE_R_0044_0047__ELECTRODE)
              & has_attrib115(R_0044_0039__A_R_0044_0043__POTENTIAL,R_0044_0041__OR)
              & r_0044_0041__or(R_0044_0041__OR)
              & has_conj2(R_0044_0041__OR,R_0044_0042__POSITIVE)
              & has_conj1(R_0044_0041__OR,R_0044_0040__NEGATIVE)
              & has_arg1(R_0044_0035__WOULD_R_0044_0036__BE_R_0044_0037__INDICATED,R_0044_0033__THAT_R_0044_0034__MATERIAL)
              & has_conj2(R_0044_0032__FOR,R_0044_0018__BE_R_0044_0019__HELD)
              & r_0044_0018__be_r_0044_0019__held(R_0044_0018__BE_R_0044_0019__HELD)
              & has_arg0(R_0044_0018__BE_R_0044_0019__HELD,Z_000_44_A_LOB_J01_50)
              & has_r_0044_0028__in_nim85(R_0044_0018__BE_R_0044_0019__HELD,R_0044_0029__THE_R_0044_0030__COOLANT_R_0044_0031__CIRCUIT)
              & has_r_0044_0020__at_nim57(R_0044_0018__BE_R_0044_0019__HELD,R_0044_0025__OR)
              & r_0044_0025__or(R_0044_0025__OR)
              & has_conj2(R_0044_0025__OR,R_0044_0027__CONDITIONS)
              & has_conj1(R_0044_0025__OR,R_0044_0021__THAT)
              & r_0044_0021__that(R_0044_0021__THAT)
              & has_attrib62(R_0044_0021__THAT,R_0044_0023__AND)
              & r_0044_0023__and(R_0044_0023__AND)
              & has_conj2(R_0044_0023__AND,R_0044_0024__OXIDIZING)
              & has_conj1(R_0044_0023__AND,R_0044_0022__POTENTIAL)
              & has_arg1(R_0044_0018__BE_R_0044_0019__HELD,R_0044_0014__THE_R_0044_0015__REFERENCE_R_0044_0016__ELECTRODE)
              & has_nim2(R_0044_0017__COULD,R_0044_0001__HOWEVER) ) ) ) ).

( (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))