TSPC 45_a_lob

45_a_lob_j01
Thus for the specific case of niobium in a sodium circuit a corrosion indicator could be a reference electrode of sodium saturated and equilibrated with niobium separated from the coolant by a solid anionic electrolyte.

arc(r_0045_0003__the_r_0045_0005__case, r_0045_0004__specific, attrib11).
arc(r_0045_0003__the_r_0045_0005__case, r_0045_0007__niobium, r_0045_0006__of).
arc(r_0045_0007__niobium, r_0045_0009__a_r_0045_0010__sodium_r_0045_0011__circuit, r_0045_0008__in).
arc(r_0045_0015__could, r_0045_0001__Thus, nim2).
arc(r_0045_0015__could, r_0045_0003__the_r_0045_0005__case, r_0045_0002__for_nim8).
arc(r_0045_0015__could, r_0045_0016__be, scope).
arc(r_0045_0016__be, r_0045_0012__a_r_0045_0013__corrosion_r_0045_0014__indicator, arg0).
arc(r_0045_0016__be, r_0045_0017__a_r_0045_0018__reference_r_0045_0019__electrode, prd).
arc(r_0045_0017__a_r_0045_0018__reference_r_0045_0019__electrode, r_0045_0021__sodium, r_0045_0020__of).
arc(r_0045_0022__saturated, r_0045_0021__sodium, arg1).
arc(r_0045_0022__saturated, r_0045_0026__niobium, r_0045_0025__with_nim75).
arc(r_0045_0022__saturated, z_000_45_a_lob_j01_60, arg0).
arc(r_0045_0023__and, r_0045_0022__saturated, conj1).
arc(r_0045_0023__and, r_0045_0024__equilibrated, conj2).
arc(r_0045_0024__equilibrated, r_0045_0021__sodium, arg1).
arc(r_0045_0024__equilibrated, r_0045_0026__niobium, r_0045_0025__with_nim75).
arc(r_0045_0024__equilibrated, z_000_45_a_lob_j01_68, arg0).
arc(r_0045_0027__separated, r_0045_0026__niobium, arg1).
arc(r_0045_0027__separated, r_0045_0029__the_r_0045_0030__coolant, r_0045_0028__from_clr84).
arc(r_0045_0027__separated, r_0045_0032__a_r_0045_0035__electrolyte, arg0).
arc(r_0045_0032__a_r_0045_0035__electrolyte, r_0045_0033__solid, attrib95).
arc(r_0045_0032__a_r_0045_0035__electrolyte, r_0045_0034__anionic, attrib98).

fof(formula,axiom,
    ? [R_0045_0001__THUS,R_0045_0004__SPECIFIC,R_0045_0009__A_R_0045_0010__SODIUM_R_0045_0011__CIRCUIT,R_0045_0007__NIOBIUM,R_0045_0003__THE_R_0045_0005__CASE,R_0045_0012__A_R_0045_0013__CORROSION_R_0045_0014__INDICATOR,R_0045_0021__SODIUM,R_0045_0017__A_R_0045_0018__REFERENCE_R_0045_0019__ELECTRODE,R_0045_0015__COULD_R_0045_0016__BE,R_0045_0026__NIOBIUM,Z_000_45_A_LOB_J01_60,R_0045_0022__SATURATED,Z_000_45_A_LOB_J01_68,R_0045_0024__EQUILIBRATED,R_0045_0023__AND,R_0045_0029__THE_R_0045_0030__COOLANT,R_0045_0033__SOLID,R_0045_0034__ANIONIC,R_0045_0032__A_R_0045_0035__ELECTROLYTE,R_0045_0027__SEPARATED] :
      ( r_0045_0001__Thus(R_0045_0001__THUS)
      & r_0045_0004__specific(R_0045_0004__SPECIFIC)
      & r_0045_0009__a_r_0045_0010__sodium_r_0045_0011__circuit(R_0045_0009__A_R_0045_0010__SODIUM_R_0045_0011__CIRCUIT)
      & r_0045_0012__a_r_0045_0013__corrosion_r_0045_0014__indicator(R_0045_0012__A_R_0045_0013__CORROSION_R_0045_0014__INDICATOR)
      & r_0045_0021__sodium(R_0045_0021__SODIUM)
      & r_0045_0026__niobium(R_0045_0026__NIOBIUM)
      & r_0045_0029__the_r_0045_0030__coolant(R_0045_0029__THE_R_0045_0030__COOLANT)
      & r_0045_0033__solid(R_0045_0033__SOLID)
      & r_0045_0034__anionic(R_0045_0034__ANIONIC)
      & z_000_45_a_lob_j01_60(Z_000_45_A_LOB_J01_60)
      & z_000_45_a_lob_j01_68(Z_000_45_A_LOB_J01_68)
      & r_0045_0027__separated(R_0045_0027__SEPARATED)
      & has_arg0(R_0045_0027__SEPARATED,R_0045_0032__A_R_0045_0035__ELECTROLYTE)
      & r_0045_0032__a_r_0045_0035__electrolyte(R_0045_0032__A_R_0045_0035__ELECTROLYTE)
      & has_attrib98(R_0045_0032__A_R_0045_0035__ELECTROLYTE,R_0045_0034__ANIONIC)
      & has_attrib95(R_0045_0032__A_R_0045_0035__ELECTROLYTE,R_0045_0033__SOLID)
      & has_r_0045_0028__from_clr84(R_0045_0027__SEPARATED,R_0045_0029__THE_R_0045_0030__COOLANT)
      & has_arg1(R_0045_0027__SEPARATED,R_0045_0026__NIOBIUM)
      & r_0045_0023__and(R_0045_0023__AND)
      & has_conj2(R_0045_0023__AND,R_0045_0024__EQUILIBRATED)
      & r_0045_0024__equilibrated(R_0045_0024__EQUILIBRATED)
      & has_arg0(R_0045_0024__EQUILIBRATED,Z_000_45_A_LOB_J01_68)
      & has_r_0045_0025__with_nim75(R_0045_0024__EQUILIBRATED,R_0045_0026__NIOBIUM)
      & has_arg1(R_0045_0024__EQUILIBRATED,R_0045_0021__SODIUM)
      & has_conj1(R_0045_0023__AND,R_0045_0022__SATURATED)
      & r_0045_0022__saturated(R_0045_0022__SATURATED)
      & has_arg0(R_0045_0022__SATURATED,Z_000_45_A_LOB_J01_60)
      & has_r_0045_0025__with_nim75(R_0045_0022__SATURATED,R_0045_0026__NIOBIUM)
      & has_arg1(R_0045_0022__SATURATED,R_0045_0021__SODIUM)
      & r_0045_0015__could_r_0045_0016__be(R_0045_0015__COULD_R_0045_0016__BE)
      & has_prd(R_0045_0015__COULD_R_0045_0016__BE,R_0045_0017__A_R_0045_0018__REFERENCE_R_0045_0019__ELECTRODE)
      & r_0045_0017__a_r_0045_0018__reference_r_0045_0019__electrode(R_0045_0017__A_R_0045_0018__REFERENCE_R_0045_0019__ELECTRODE)
      & has_r_0045_0020__of(R_0045_0017__A_R_0045_0018__REFERENCE_R_0045_0019__ELECTRODE,R_0045_0021__SODIUM)
      & has_arg0(R_0045_0015__COULD_R_0045_0016__BE,R_0045_0012__A_R_0045_0013__CORROSION_R_0045_0014__INDICATOR)
      & has_r_0045_0002__for_nim8(R_0045_0015__COULD_R_0045_0016__BE,R_0045_0003__THE_R_0045_0005__CASE)
      & r_0045_0003__the_r_0045_0005__case(R_0045_0003__THE_R_0045_0005__CASE)
      & has_r_0045_0006__of(R_0045_0003__THE_R_0045_0005__CASE,R_0045_0007__NIOBIUM)
      & r_0045_0007__niobium(R_0045_0007__NIOBIUM)
      & has_r_0045_0008__in(R_0045_0007__NIOBIUM,R_0045_0009__A_R_0045_0010__SODIUM_R_0045_0011__CIRCUIT)
      & has_attrib11(R_0045_0003__THE_R_0045_0005__CASE,R_0045_0004__SPECIFIC)
      & has_nim2(R_0045_0015__COULD_R_0045_0016__BE,R_0045_0001__THUS) ) ).

( (IP-MAT (ADVP-NIM (ADV Thus;{thus}))
          (PP-NIM (P-ROLE for;{for})
                  (NP (D the;{the})
                      (ADJP (ADJ specific;{specific}))
                      (N case;{case})
                      (PP (P-ROLE of;{of})
                          (NP (N niobium;{niobium})
                              (PP (P-ROLE in;{in})
                                  (NP (D a;{a})
                                      (N sodium;{sodium})
                                      (N circuit;{circuit})))))))
          (NP-SBJ (D a;{a})
                  (N corrosion;{corrosion})
                  (N indicator;{indicator}))
          (MD;_cat_Vi_ could;{can})
          (IP-INF-CAT (BE;_Ln_ be;{be})
                      (NP-PRD (D a;{a})
                              (N reference;{reference})
                              (N electrode;{electrode})
                              (PP (P-ROLE of;{of})
                                  (NP (N sodium;{sodium})
                                      (IP-PPL (ILYR (ILYR (NP-LGS *)
                                                          (VVN;_Tn_ saturated;{saturate}))
                                                    (CONJP (CONJ and;{and})
                                                           (ILYR (NP-LGS *)
                                                                 (VVN;_Tn_ equilibrated;{equilibrate}))))
                                              (PP-NIM (P-ROLE with;{with})
                                                      (NP (N niobium;{niobium})
                                                          (IP-PPL (VVN;_Tn.pr_ separated;{separate[from]})
                                                                  (PP-CLR (P-ROLE from;{from})
                                                                          (NP (D the;{the})
                                                                              (N coolant;{coolant})))
                                                                  (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                          (NP (D a;{a})
                                                                              (ADJP (ADJ solid;{solid}))
                                                                              (ADJP (ADJ anionic;{anionic}))
                                                                              (N electrolyte;{electrolyte})))))))))))
          (PUNC .))
  (ID 45_a_lob_j01))