Context                Previous, Next                Top


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.

%3 r_0045_0003__the_r_0045_0005__case the case r_0045_0004__specific specific r_0045_0003__the_r_0045_0005__case->r_0045_0004__specific [attrib] r_0045_0007__niobium niobium r_0045_0003__the_r_0045_0005__case->r_0045_0007__niobium of r_0045_0009__a_r_0045_0010__sodium_r_0045_0011__circuit a sodium circuit r_0045_0007__niobium->r_0045_0009__a_r_0045_0010__sodium_r_0045_0011__circuit in r_0045_0015__could could r_0045_0015__could->r_0045_0003__the_r_0045_0005__case for [nim] r_0045_0001__Thus Thus r_0045_0015__could->r_0045_0001__Thus [nim] r_0045_0016__be be r_0045_0015__could->r_0045_0016__be [scope] r_0045_0012__a_r_0045_0013__corrosion_r_0045_0014__indicator a corrosion indicator r_0045_0016__be->r_0045_0012__a_r_0045_0013__corrosion_r_0045_0014__indicator [arg0] r_0045_0017__a_r_0045_0018__reference_r_0045_0019__electrode a reference electrode r_0045_0016__be->r_0045_0017__a_r_0045_0018__reference_r_0045_0019__electrode [prd] r_0045_0021__sodium sodium r_0045_0017__a_r_0045_0018__reference_r_0045_0019__electrode->r_0045_0021__sodium of r_0045_0022__saturated saturated r_0045_0022__saturated->r_0045_0021__sodium [arg1] r_0045_0026__niobium niobium r_0045_0022__saturated->r_0045_0026__niobium with [nim] z_000_45_a_lob_j01_60 r_0045_0022__saturated->z_000_45_a_lob_j01_60 [arg0] r_0045_0023__and and r_0045_0023__and->r_0045_0022__saturated [conj1] r_0045_0024__equilibrated equilibrated r_0045_0023__and->r_0045_0024__equilibrated [conj2] r_0045_0024__equilibrated->r_0045_0021__sodium [arg1] r_0045_0024__equilibrated->r_0045_0026__niobium with [nim] z_000_45_a_lob_j01_68 r_0045_0024__equilibrated->z_000_45_a_lob_j01_68 [arg0] r_0045_0027__separated separated r_0045_0027__separated->r_0045_0026__niobium [arg1] r_0045_0029__the_r_0045_0030__coolant the coolant r_0045_0027__separated->r_0045_0029__the_r_0045_0030__coolant from [clr] r_0045_0032__a_r_0045_0035__electrolyte a electrolyte r_0045_0027__separated->r_0045_0032__a_r_0045_0035__electrolyte [arg0] r_0045_0033__solid solid r_0045_0032__a_r_0045_0035__electrolyte->r_0045_0033__solid [attrib] r_0045_0034__anionic anionic r_0045_0032__a_r_0045_0035__electrolyte->r_0045_0034__anionic [attrib] 
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).


%3 r_0045_0003__the_r_0045_0005__case the case r_0045_0004__specific specific r_0045_0003__the_r_0045_0005__case->r_0045_0004__specific [attrib] r_0045_0007__niobium niobium r_0045_0003__the_r_0045_0005__case->r_0045_0007__niobium of r_0045_0009__a_r_0045_0010__sodium_r_0045_0011__circuit a sodium circuit r_0045_0007__niobium->r_0045_0009__a_r_0045_0010__sodium_r_0045_0011__circuit in r_0045_0015__could_r_0045_0016__be could be r_0045_0015__could_r_0045_0016__be->r_0045_0003__the_r_0045_0005__case for [nim] r_0045_0001__Thus Thus r_0045_0015__could_r_0045_0016__be->r_0045_0001__Thus [nim] r_0045_0012__a_r_0045_0013__corrosion_r_0045_0014__indicator a corrosion indicator r_0045_0015__could_r_0045_0016__be->r_0045_0012__a_r_0045_0013__corrosion_r_0045_0014__indicator [arg0] r_0045_0017__a_r_0045_0018__reference_r_0045_0019__electrode a reference electrode r_0045_0015__could_r_0045_0016__be->r_0045_0017__a_r_0045_0018__reference_r_0045_0019__electrode [prd] r_0045_0021__sodium sodium r_0045_0017__a_r_0045_0018__reference_r_0045_0019__electrode->r_0045_0021__sodium of r_0045_0022__saturated saturated r_0045_0022__saturated->r_0045_0021__sodium [arg1] r_0045_0026__niobium niobium r_0045_0022__saturated->r_0045_0026__niobium with [nim] z_000_45_a_lob_j01_60 r_0045_0022__saturated->z_000_45_a_lob_j01_60 [arg0] r_0045_0023__and and r_0045_0023__and->r_0045_0022__saturated [conj1] r_0045_0024__equilibrated equilibrated r_0045_0023__and->r_0045_0024__equilibrated [conj2] r_0045_0024__equilibrated->r_0045_0021__sodium [arg1] r_0045_0024__equilibrated->r_0045_0026__niobium with [nim] z_000_45_a_lob_j01_68 r_0045_0024__equilibrated->z_000_45_a_lob_j01_68 [arg0] r_0045_0027__separated separated r_0045_0027__separated->r_0045_0026__niobium [arg1] r_0045_0029__the_r_0045_0030__coolant the coolant r_0045_0027__separated->r_0045_0029__the_r_0045_0030__coolant from [clr] r_0045_0032__a_r_0045_0035__electrolyte a electrolyte r_0045_0027__separated->r_0045_0032__a_r_0045_0035__electrolyte [arg0] r_0045_0033__solid solid r_0045_0032__a_r_0045_0035__electrolyte->r_0045_0033__solid [attrib] r_0045_0034__anionic anionic r_0045_0032__a_r_0045_0035__electrolyte->r_0045_0034__anionic [attrib] 
fof(formula,axiom,
    ? [R_45_15_COULD_BE,R_45_12_A_CORROSION_INDICATOR,R_45_1_THUS,R_45_17_A_REFERENCE_ELECTRODE,R_45_3_THE_CASE,R_45_4_SPECIFIC,R_45_7_NIOBIUM,R_45_9_A_SODIUM_CIRCUIT,R_45_23_AND,R_45_22_SATURATED,Z_45_A_LOB_J01_60,R_45_24_EQUILIBRATED,Z_45_A_LOB_J01_68,R_45_21_SODIUM,R_45_27_SEPARATED,R_45_32_A_ELECTROLYTE,R_45_33_SOLID,R_45_34_ANIONIC,R_45_26_NIOBIUM,R_45_29_THE_COOLANT] :
      ( a_corrosion_indicator(R_45_12_A_CORROSION_INDICATOR)
      & thus(R_45_1_THUS)
      & specific(R_45_4_SPECIFIC)
      & a_sodium_circuit(R_45_9_A_SODIUM_CIRCUIT)
      & sodium(R_45_21_SODIUM)
      & solid(R_45_33_SOLID)
      & anionic(R_45_34_ANIONIC)
      & niobium(R_45_26_NIOBIUM)
      & the_coolant(R_45_29_THE_COOLANT)
      & could_be(R_45_15_COULD_BE,R_45_12_A_CORROSION_INDICATOR,R_45_17_A_REFERENCE_ELECTRODE)
      & a_reference_electrode(R_45_17_A_REFERENCE_ELECTRODE)
      & of(R_45_17_A_REFERENCE_ELECTRODE,R_45_21_SODIUM)
      & nim2(R_45_15_COULD_BE,R_45_1_THUS)
      & for_nim8(R_45_15_COULD_BE,R_45_3_THE_CASE)
      & the_case(R_45_3_THE_CASE)
      & attrib11(R_45_3_THE_CASE,R_45_4_SPECIFIC)
      & of(R_45_3_THE_CASE,R_45_7_NIOBIUM)
      & niobium(R_45_7_NIOBIUM)
      & in(R_45_7_NIOBIUM,R_45_9_A_SODIUM_CIRCUIT)
      & and(R_45_23_AND)
      & conj1(R_45_23_AND,R_45_22_SATURATED)
      & saturated(R_45_22_SATURATED,Z_45_A_LOB_J01_60,R_45_21_SODIUM)
      & with_nim75(R_45_22_SATURATED,R_45_26_NIOBIUM)
      & conj2(R_45_23_AND,R_45_24_EQUILIBRATED)
      & equilibrated(R_45_24_EQUILIBRATED,Z_45_A_LOB_J01_68,R_45_21_SODIUM)
      & with_nim75(R_45_24_EQUILIBRATED,R_45_26_NIOBIUM)
      & separated(R_45_27_SEPARATED,R_45_32_A_ELECTROLYTE,R_45_26_NIOBIUM)
      & a_electrolyte(R_45_32_A_ELECTROLYTE)
      & attrib95(R_45_32_A_ELECTROLYTE,R_45_33_SOLID)
      & attrib98(R_45_32_A_ELECTROLYTE,R_45_34_ANIONIC)
      & from_clr84(R_45_27_SEPARATED,R_45_29_THE_COOLANT) ) ).


n45_a_lob_j01 n45_a_lob_j01_4 Thus n45_a_lob_j01_7 for n45_a_lob_j01_10 the n45_a_lob_j01_13 specific n45_a_lob_j01_15 case n45_a_lob_j01_18 of n45_a_lob_j01_21 niobium n45_a_lob_j01_24 in n45_a_lob_j01_27 a n45_a_lob_j01_29 sodium n45_a_lob_j01_31 circuit n45_a_lob_j01_34 a n45_a_lob_j01_36 corrosion n45_a_lob_j01_38 indicator n45_a_lob_j01_40 could n45_a_lob_j01_43 be n45_a_lob_j01_46 a n45_a_lob_j01_48 reference n45_a_lob_j01_50 electrode n45_a_lob_j01_53 of n45_a_lob_j01_56 sodium n45_a_lob_j01_61 * n45_a_lob_j01_63 saturated n45_a_lob_j01_66 and n45_a_lob_j01_69 * n45_a_lob_j01_71 equilibrated n45_a_lob_j01_74 with n45_a_lob_j01_77 niobium n45_a_lob_j01_80 separated n45_a_lob_j01_83 from n45_a_lob_j01_86 the n45_a_lob_j01_88 coolant n45_a_lob_j01_91 by n45_a_lob_j01_94 a n45_a_lob_j01_97 solid n45_a_lob_j01_100 anionic n45_a_lob_j01_102 electrolyte n45_a_lob_j01_104 . n45_a_lob_j01_1 IP-MAT n45_a_lob_j01_2 ADVP-NIM n45_a_lob_j01_1->n45_a_lob_j01_2 n45_a_lob_j01_5 PP-NIM n45_a_lob_j01_1->n45_a_lob_j01_5 n45_a_lob_j01_32 NP-SBJ n45_a_lob_j01_1->n45_a_lob_j01_32 n45_a_lob_j01_39 MD;_cat_Vi_ n45_a_lob_j01_1->n45_a_lob_j01_39 n45_a_lob_j01_41 IP-INF-CAT n45_a_lob_j01_1->n45_a_lob_j01_41 n45_a_lob_j01_103 PUNC n45_a_lob_j01_1->n45_a_lob_j01_103 n45_a_lob_j01_3 ADV n45_a_lob_j01_2->n45_a_lob_j01_3 n45_a_lob_j01_3->n45_a_lob_j01_4 n45_a_lob_j01_6 P-ROLE n45_a_lob_j01_5->n45_a_lob_j01_6 n45_a_lob_j01_8 NP n45_a_lob_j01_5->n45_a_lob_j01_8 n45_a_lob_j01_6->n45_a_lob_j01_7 n45_a_lob_j01_9 D n45_a_lob_j01_8->n45_a_lob_j01_9 n45_a_lob_j01_11 ADJP n45_a_lob_j01_8->n45_a_lob_j01_11 n45_a_lob_j01_14 N n45_a_lob_j01_8->n45_a_lob_j01_14 n45_a_lob_j01_16 PP n45_a_lob_j01_8->n45_a_lob_j01_16 n45_a_lob_j01_9->n45_a_lob_j01_10 n45_a_lob_j01_12 ADJ n45_a_lob_j01_11->n45_a_lob_j01_12 n45_a_lob_j01_12->n45_a_lob_j01_13 n45_a_lob_j01_14->n45_a_lob_j01_15 n45_a_lob_j01_17 P-ROLE n45_a_lob_j01_16->n45_a_lob_j01_17 n45_a_lob_j01_19 NP n45_a_lob_j01_16->n45_a_lob_j01_19 n45_a_lob_j01_17->n45_a_lob_j01_18 n45_a_lob_j01_20 N n45_a_lob_j01_19->n45_a_lob_j01_20 n45_a_lob_j01_22 PP n45_a_lob_j01_19->n45_a_lob_j01_22 n45_a_lob_j01_20->n45_a_lob_j01_21 n45_a_lob_j01_23 P-ROLE n45_a_lob_j01_22->n45_a_lob_j01_23 n45_a_lob_j01_25 NP n45_a_lob_j01_22->n45_a_lob_j01_25 n45_a_lob_j01_23->n45_a_lob_j01_24 n45_a_lob_j01_26 D n45_a_lob_j01_25->n45_a_lob_j01_26 n45_a_lob_j01_28 N n45_a_lob_j01_25->n45_a_lob_j01_28 n45_a_lob_j01_30 N n45_a_lob_j01_25->n45_a_lob_j01_30 n45_a_lob_j01_26->n45_a_lob_j01_27 n45_a_lob_j01_28->n45_a_lob_j01_29 n45_a_lob_j01_30->n45_a_lob_j01_31 n45_a_lob_j01_33 D n45_a_lob_j01_32->n45_a_lob_j01_33 n45_a_lob_j01_35 N n45_a_lob_j01_32->n45_a_lob_j01_35 n45_a_lob_j01_37 N n45_a_lob_j01_32->n45_a_lob_j01_37 n45_a_lob_j01_33->n45_a_lob_j01_34 n45_a_lob_j01_35->n45_a_lob_j01_36 n45_a_lob_j01_37->n45_a_lob_j01_38 n45_a_lob_j01_39->n45_a_lob_j01_40 n45_a_lob_j01_42 BE;_Ln_ n45_a_lob_j01_41->n45_a_lob_j01_42 n45_a_lob_j01_44 NP-PRD n45_a_lob_j01_41->n45_a_lob_j01_44 n45_a_lob_j01_42->n45_a_lob_j01_43 n45_a_lob_j01_45 D n45_a_lob_j01_44->n45_a_lob_j01_45 n45_a_lob_j01_47 N n45_a_lob_j01_44->n45_a_lob_j01_47 n45_a_lob_j01_49 N n45_a_lob_j01_44->n45_a_lob_j01_49 n45_a_lob_j01_51 PP n45_a_lob_j01_44->n45_a_lob_j01_51 n45_a_lob_j01_45->n45_a_lob_j01_46 n45_a_lob_j01_47->n45_a_lob_j01_48 n45_a_lob_j01_49->n45_a_lob_j01_50 n45_a_lob_j01_52 P-ROLE n45_a_lob_j01_51->n45_a_lob_j01_52 n45_a_lob_j01_54 NP n45_a_lob_j01_51->n45_a_lob_j01_54 n45_a_lob_j01_52->n45_a_lob_j01_53 n45_a_lob_j01_55 N n45_a_lob_j01_54->n45_a_lob_j01_55 n45_a_lob_j01_57 IP-PPL n45_a_lob_j01_54->n45_a_lob_j01_57 n45_a_lob_j01_55->n45_a_lob_j01_56 n45_a_lob_j01_58 ILYR n45_a_lob_j01_57->n45_a_lob_j01_58 n45_a_lob_j01_72 PP-NIM n45_a_lob_j01_57->n45_a_lob_j01_72 n45_a_lob_j01_59 ILYR n45_a_lob_j01_58->n45_a_lob_j01_59 n45_a_lob_j01_64 CONJP n45_a_lob_j01_58->n45_a_lob_j01_64 n45_a_lob_j01_60 NP-LGS n45_a_lob_j01_59->n45_a_lob_j01_60 n45_a_lob_j01_62 VVN;_Tn_ n45_a_lob_j01_59->n45_a_lob_j01_62 n45_a_lob_j01_60->n45_a_lob_j01_61 n45_a_lob_j01_62->n45_a_lob_j01_63 n45_a_lob_j01_65 CONJ n45_a_lob_j01_64->n45_a_lob_j01_65 n45_a_lob_j01_67 ILYR n45_a_lob_j01_64->n45_a_lob_j01_67 n45_a_lob_j01_65->n45_a_lob_j01_66 n45_a_lob_j01_68 NP-LGS n45_a_lob_j01_67->n45_a_lob_j01_68 n45_a_lob_j01_70 VVN;_Tn_ n45_a_lob_j01_67->n45_a_lob_j01_70 n45_a_lob_j01_68->n45_a_lob_j01_69 n45_a_lob_j01_70->n45_a_lob_j01_71 n45_a_lob_j01_73 P-ROLE n45_a_lob_j01_72->n45_a_lob_j01_73 n45_a_lob_j01_75 NP n45_a_lob_j01_72->n45_a_lob_j01_75 n45_a_lob_j01_73->n45_a_lob_j01_74 n45_a_lob_j01_76 N n45_a_lob_j01_75->n45_a_lob_j01_76 n45_a_lob_j01_78 IP-PPL n45_a_lob_j01_75->n45_a_lob_j01_78 n45_a_lob_j01_76->n45_a_lob_j01_77 n45_a_lob_j01_79 VVN;_Tn.pr_ n45_a_lob_j01_78->n45_a_lob_j01_79 n45_a_lob_j01_81 PP-CLR n45_a_lob_j01_78->n45_a_lob_j01_81 n45_a_lob_j01_89 PP-LGS n45_a_lob_j01_78->n45_a_lob_j01_89 n45_a_lob_j01_79->n45_a_lob_j01_80 n45_a_lob_j01_82 P-ROLE n45_a_lob_j01_81->n45_a_lob_j01_82 n45_a_lob_j01_84 NP n45_a_lob_j01_81->n45_a_lob_j01_84 n45_a_lob_j01_82->n45_a_lob_j01_83 n45_a_lob_j01_85 D n45_a_lob_j01_84->n45_a_lob_j01_85 n45_a_lob_j01_87 N n45_a_lob_j01_84->n45_a_lob_j01_87 n45_a_lob_j01_85->n45_a_lob_j01_86 n45_a_lob_j01_87->n45_a_lob_j01_88 n45_a_lob_j01_90 P-ROLE;_lgs_ n45_a_lob_j01_89->n45_a_lob_j01_90 n45_a_lob_j01_92 NP n45_a_lob_j01_89->n45_a_lob_j01_92 n45_a_lob_j01_90->n45_a_lob_j01_91 n45_a_lob_j01_93 D n45_a_lob_j01_92->n45_a_lob_j01_93 n45_a_lob_j01_95 ADJP n45_a_lob_j01_92->n45_a_lob_j01_95 n45_a_lob_j01_98 ADJP n45_a_lob_j01_92->n45_a_lob_j01_98 n45_a_lob_j01_101 N n45_a_lob_j01_92->n45_a_lob_j01_101 n45_a_lob_j01_93->n45_a_lob_j01_94 n45_a_lob_j01_96 ADJ n45_a_lob_j01_95->n45_a_lob_j01_96 n45_a_lob_j01_96->n45_a_lob_j01_97 n45_a_lob_j01_99 ADJ n45_a_lob_j01_98->n45_a_lob_j01_99 n45_a_lob_j01_99->n45_a_lob_j01_100 n45_a_lob_j01_101->n45_a_lob_j01_102 n45_a_lob_j01_103->n45_a_lob_j01_104 
( (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))