Context                Previous, Next                Top


35_a_lob_j01
Thus if voltmeters of this type were used with the Na / Na<bsub>2<ast><bsub>0 cell it is possible to estimate the contamination of the circuit sodium from oxygen continuously diffusing through the electrolyte.

%3 r_0035_0002__if if r_0035_0007__were were r_0035_0002__if->r_0035_0007__were [restriction] r_0035_0016__is is r_0035_0002__if->r_0035_0016__is [scope] r_0035_0008__used used r_0035_0007__were->r_0035_0008__used [scope] r_0035_0001__Thus Thus r_0035_0016__is->r_0035_0001__Thus [nim] r_0035_0017__possible possible r_0035_0016__is->r_0035_0017__possible [prd] r_0035_0018__to_r_0035_0019__estimate to estimate r_0035_0016__is->r_0035_0018__to_r_0035_0019__estimate [arg0] r_0035_0003__voltmeters voltmeters r_0035_0005__this_r_0035_0006__type this type r_0035_0003__voltmeters->r_0035_0005__this_r_0035_0006__type of r_0035_0008__used->r_0035_0003__voltmeters [arg1] r_0035_0010__the_r_0035_0011__Na_r_0035_0013__Na_bsub_2_ast__bsub_0_r_0035_0014__cell the Na Na bsub 2 ast bsub 0 cell r_0035_0008__used->r_0035_0010__the_r_0035_0011__Na_r_0035_0013__Na_bsub_2_ast__bsub_0_r_0035_0014__cell with [nim] z_000_35_a_lob_j01_23 r_0035_0008__used->z_000_35_a_lob_j01_23 [arg0] r_0035_0020__the_r_0035_0021__contamination the contamination r_0035_0018__to_r_0035_0019__estimate->r_0035_0020__the_r_0035_0021__contamination [arg1] z_000_35_a_lob_j01_41 r_0035_0018__to_r_0035_0019__estimate->z_000_35_a_lob_j01_41 [arg0] r_0035_0023__the_r_0035_0024__circuit_r_0035_0025__sodium the circuit sodium r_0035_0020__the_r_0035_0021__contamination->r_0035_0023__the_r_0035_0024__circuit_r_0035_0025__sodium of r_0035_0027__oxygen oxygen r_0035_0023__the_r_0035_0024__circuit_r_0035_0025__sodium->r_0035_0027__oxygen from r_0035_0029__diffusing diffusing r_0035_0029__diffusing->r_0035_0027__oxygen [arg0] r_0035_0028__continuously continuously r_0035_0029__diffusing->r_0035_0028__continuously [nim] r_0035_0031__the_r_0035_0032__electrolyte the electrolyte r_0035_0029__diffusing->r_0035_0031__the_r_0035_0032__electrolyte through [nim] 
arc(r_0035_0002__if, r_0035_0007__were, restriction).
arc(r_0035_0002__if, r_0035_0016__is, scope).
arc(r_0035_0003__voltmeters, r_0035_0005__this_r_0035_0006__type, r_0035_0004__of).
arc(r_0035_0007__were, r_0035_0008__used, scope).
arc(r_0035_0008__used, r_0035_0003__voltmeters, arg1).
arc(r_0035_0008__used, r_0035_0010__the_r_0035_0011__Na_r_0035_0013__Na_bsub_2_ast__bsub_0_r_0035_0014__cell, r_0035_0009__with_nim30).
arc(r_0035_0008__used, z_000_35_a_lob_j01_23, arg0).
arc(r_0035_0016__is, r_0035_0001__Thus, nim2).
arc(r_0035_0016__is, r_0035_0017__possible, prd).
arc(r_0035_0016__is, r_0035_0018__to_r_0035_0019__estimate, arg0).
arc(r_0035_0018__to_r_0035_0019__estimate, r_0035_0020__the_r_0035_0021__contamination, arg1).
arc(r_0035_0018__to_r_0035_0019__estimate, z_000_35_a_lob_j01_41, arg0).
arc(r_0035_0020__the_r_0035_0021__contamination, r_0035_0023__the_r_0035_0024__circuit_r_0035_0025__sodium, r_0035_0022__of).
arc(r_0035_0023__the_r_0035_0024__circuit_r_0035_0025__sodium, r_0035_0027__oxygen, r_0035_0026__from).
arc(r_0035_0029__diffusing, r_0035_0027__oxygen, arg0).
arc(r_0035_0029__diffusing, r_0035_0028__continuously, nim76).
arc(r_0035_0029__diffusing, r_0035_0031__the_r_0035_0032__electrolyte, r_0035_0030__through_nim84).


%3 r_0035_0002__if if r_0035_0007__were_r_0035_0008__used were used r_0035_0002__if->r_0035_0007__were_r_0035_0008__used [restriction] r_0035_0016__is is r_0035_0002__if->r_0035_0016__is [scope] r_0035_0003__voltmeters voltmeters r_0035_0007__were_r_0035_0008__used->r_0035_0003__voltmeters [arg1] r_0035_0010__the_r_0035_0011__Na_r_0035_0013__Na_bsub_2_ast__bsub_0_r_0035_0014__cell the Na Na bsub 2 ast bsub 0 cell r_0035_0007__were_r_0035_0008__used->r_0035_0010__the_r_0035_0011__Na_r_0035_0013__Na_bsub_2_ast__bsub_0_r_0035_0014__cell with [nim] z_000_35_a_lob_j01_23 r_0035_0007__were_r_0035_0008__used->z_000_35_a_lob_j01_23 [arg0] r_0035_0001__Thus Thus r_0035_0016__is->r_0035_0001__Thus [nim] r_0035_0017__possible possible r_0035_0016__is->r_0035_0017__possible [prd] r_0035_0018__to_r_0035_0019__estimate to estimate r_0035_0016__is->r_0035_0018__to_r_0035_0019__estimate [arg0] r_0035_0005__this_r_0035_0006__type this type r_0035_0003__voltmeters->r_0035_0005__this_r_0035_0006__type of r_0035_0020__the_r_0035_0021__contamination the contamination r_0035_0018__to_r_0035_0019__estimate->r_0035_0020__the_r_0035_0021__contamination [arg1] z_000_35_a_lob_j01_41 r_0035_0018__to_r_0035_0019__estimate->z_000_35_a_lob_j01_41 [arg0] r_0035_0023__the_r_0035_0024__circuit_r_0035_0025__sodium the circuit sodium r_0035_0020__the_r_0035_0021__contamination->r_0035_0023__the_r_0035_0024__circuit_r_0035_0025__sodium of r_0035_0027__oxygen oxygen r_0035_0023__the_r_0035_0024__circuit_r_0035_0025__sodium->r_0035_0027__oxygen from r_0035_0029__diffusing diffusing r_0035_0029__diffusing->r_0035_0027__oxygen [arg0] r_0035_0028__continuously continuously r_0035_0029__diffusing->r_0035_0028__continuously [nim] r_0035_0031__the_r_0035_0032__electrolyte the electrolyte r_0035_0029__diffusing->r_0035_0031__the_r_0035_0032__electrolyte through [nim] 
fof(formula,axiom,
    ? [R_35_29_DIFFUSING,R_35_27_OXYGEN,R_35_28_CONTINUOUSLY,R_35_31_THE_ELECTROLYTE] :
      ( oxygen(R_35_27_OXYGEN)
      & continuously(R_35_28_CONTINUOUSLY)
      & the_electrolyte(R_35_31_THE_ELECTROLYTE)
      & ! [R_35_7_WERE_USED,Z_35_A_LOB_J01_23,R_35_3_VOLTMETERS,R_35_5_THIS_TYPE,R_35_10_THE_NA_NA_BSUB_2_AST_BSUB_CELL] :
          ( ( this_type(R_35_5_THIS_TYPE)
            & the_Na_Na_bsub_2_ast_bsub_cell(R_35_10_THE_NA_NA_BSUB_2_AST_BSUB_CELL)
            & were_used(R_35_7_WERE_USED,Z_35_A_LOB_J01_23,R_35_3_VOLTMETERS)
            & voltmeters(R_35_3_VOLTMETERS)
            & of(R_35_3_VOLTMETERS,R_35_5_THIS_TYPE)
            & with_nim30(R_35_7_WERE_USED,R_35_10_THE_NA_NA_BSUB_2_AST_BSUB_CELL) )
         => ? [R_35_16_IS,R_35_18_TO_ESTIMATE,Z_35_A_LOB_J01_41,R_35_20_THE_CONTAMINATION,R_35_23_THE_CIRCUIT_SODIUM,R_35_1_THUS,R_35_17_POSSIBLE] :
              ( thus(R_35_1_THUS)
              & possible(R_35_17_POSSIBLE)
              & is(R_35_16_IS,R_35_18_TO_ESTIMATE,R_35_17_POSSIBLE)
              & to_estimate(R_35_18_TO_ESTIMATE,Z_35_A_LOB_J01_41,R_35_20_THE_CONTAMINATION)
              & the_contamination(R_35_20_THE_CONTAMINATION)
              & of(R_35_20_THE_CONTAMINATION,R_35_23_THE_CIRCUIT_SODIUM)
              & the_circuit_sodium(R_35_23_THE_CIRCUIT_SODIUM)
              & from(R_35_23_THE_CIRCUIT_SODIUM,R_35_27_OXYGEN)
              & nim2(R_35_16_IS,R_35_1_THUS) ) )
      & diffusing(R_35_29_DIFFUSING,R_35_27_OXYGEN)
      & nim76(R_35_29_DIFFUSING,R_35_28_CONTINUOUSLY)
      & through_nim84(R_35_29_DIFFUSING,R_35_31_THE_ELECTROLYTE) ) ).


n35_a_lob_j01 n35_a_lob_j01_4 Thus n35_a_lob_j01_7 if n35_a_lob_j01_11 voltmeters n35_a_lob_j01_14 of n35_a_lob_j01_17 this n35_a_lob_j01_19 type n35_a_lob_j01_21 were n35_a_lob_j01_24 * n35_a_lob_j01_26 used n35_a_lob_j01_29 with n35_a_lob_j01_32 the n35_a_lob_j01_34 Na n35_a_lob_j01_36 <sol> n35_a_lob_j01_38 Na<bsub>2<ast><bsub>0 n35_a_lob_j01_40 cell n35_a_lob_j01_43 it n35_a_lob_j01_45 is n35_a_lob_j01_48 possible n35_a_lob_j01_51 to n35_a_lob_j01_53 estimate n35_a_lob_j01_56 the n35_a_lob_j01_58 contamination n35_a_lob_j01_61 of n35_a_lob_j01_64 the n35_a_lob_j01_66 circuit n35_a_lob_j01_68 sodium n35_a_lob_j01_71 from n35_a_lob_j01_74 oxygen n35_a_lob_j01_78 continuously n35_a_lob_j01_80 diffusing n35_a_lob_j01_83 through n35_a_lob_j01_86 the n35_a_lob_j01_88 electrolyte n35_a_lob_j01_90 . n35_a_lob_j01_1 IP-MAT n35_a_lob_j01_2 ADVP-NIM n35_a_lob_j01_1->n35_a_lob_j01_2 n35_a_lob_j01_5 PP-SCON n35_a_lob_j01_1->n35_a_lob_j01_5 n35_a_lob_j01_41 NP-SBJ n35_a_lob_j01_1->n35_a_lob_j01_41 n35_a_lob_j01_44 BEP;_La_ n35_a_lob_j01_1->n35_a_lob_j01_44 n35_a_lob_j01_46 ADJP-PRD n35_a_lob_j01_1->n35_a_lob_j01_46 n35_a_lob_j01_49 IP-INF-NSBJ n35_a_lob_j01_1->n35_a_lob_j01_49 n35_a_lob_j01_89 PUNC n35_a_lob_j01_1->n35_a_lob_j01_89 n35_a_lob_j01_3 ADV n35_a_lob_j01_2->n35_a_lob_j01_3 n35_a_lob_j01_3->n35_a_lob_j01_4 n35_a_lob_j01_6 P-CONN n35_a_lob_j01_5->n35_a_lob_j01_6 n35_a_lob_j01_8 IP-ADV n35_a_lob_j01_5->n35_a_lob_j01_8 n35_a_lob_j01_6->n35_a_lob_j01_7 n35_a_lob_j01_9 NP-SBJ n35_a_lob_j01_8->n35_a_lob_j01_9 n35_a_lob_j01_20 BED;_cat_VePASS_ n35_a_lob_j01_8->n35_a_lob_j01_20 n35_a_lob_j01_22 IP-PPL-CAT n35_a_lob_j01_8->n35_a_lob_j01_22 n35_a_lob_j01_10 NS n35_a_lob_j01_9->n35_a_lob_j01_10 n35_a_lob_j01_12 PP n35_a_lob_j01_9->n35_a_lob_j01_12 n35_a_lob_j01_10->n35_a_lob_j01_11 n35_a_lob_j01_13 P-ROLE n35_a_lob_j01_12->n35_a_lob_j01_13 n35_a_lob_j01_15 NP n35_a_lob_j01_12->n35_a_lob_j01_15 n35_a_lob_j01_13->n35_a_lob_j01_14 n35_a_lob_j01_16 D n35_a_lob_j01_15->n35_a_lob_j01_16 n35_a_lob_j01_18 N n35_a_lob_j01_15->n35_a_lob_j01_18 n35_a_lob_j01_16->n35_a_lob_j01_17 n35_a_lob_j01_18->n35_a_lob_j01_19 n35_a_lob_j01_20->n35_a_lob_j01_21 n35_a_lob_j01_23 NP-LGS n35_a_lob_j01_22->n35_a_lob_j01_23 n35_a_lob_j01_25 VVN;_Tn_ n35_a_lob_j01_22->n35_a_lob_j01_25 n35_a_lob_j01_27 PP-NIM n35_a_lob_j01_22->n35_a_lob_j01_27 n35_a_lob_j01_23->n35_a_lob_j01_24 n35_a_lob_j01_25->n35_a_lob_j01_26 n35_a_lob_j01_28 P-ROLE n35_a_lob_j01_27->n35_a_lob_j01_28 n35_a_lob_j01_30 NP n35_a_lob_j01_27->n35_a_lob_j01_30 n35_a_lob_j01_28->n35_a_lob_j01_29 n35_a_lob_j01_31 D n35_a_lob_j01_30->n35_a_lob_j01_31 n35_a_lob_j01_33 NPR n35_a_lob_j01_30->n35_a_lob_j01_33 n35_a_lob_j01_35 PUNC n35_a_lob_j01_30->n35_a_lob_j01_35 n35_a_lob_j01_37 NPR n35_a_lob_j01_30->n35_a_lob_j01_37 n35_a_lob_j01_39 N n35_a_lob_j01_30->n35_a_lob_j01_39 n35_a_lob_j01_31->n35_a_lob_j01_32 n35_a_lob_j01_33->n35_a_lob_j01_34 n35_a_lob_j01_35->n35_a_lob_j01_36 n35_a_lob_j01_37->n35_a_lob_j01_38 n35_a_lob_j01_39->n35_a_lob_j01_40 n35_a_lob_j01_42 PRO;_provisional_ n35_a_lob_j01_41->n35_a_lob_j01_42 n35_a_lob_j01_42->n35_a_lob_j01_43 n35_a_lob_j01_44->n35_a_lob_j01_45 n35_a_lob_j01_47 ADJ n35_a_lob_j01_46->n35_a_lob_j01_47 n35_a_lob_j01_47->n35_a_lob_j01_48 n35_a_lob_j01_50 TO n35_a_lob_j01_49->n35_a_lob_j01_50 n35_a_lob_j01_52 VB;_Tn_ n35_a_lob_j01_49->n35_a_lob_j01_52 n35_a_lob_j01_54 NP-OB1 n35_a_lob_j01_49->n35_a_lob_j01_54 n35_a_lob_j01_50->n35_a_lob_j01_51 n35_a_lob_j01_52->n35_a_lob_j01_53 n35_a_lob_j01_55 D n35_a_lob_j01_54->n35_a_lob_j01_55 n35_a_lob_j01_57 N n35_a_lob_j01_54->n35_a_lob_j01_57 n35_a_lob_j01_59 PP n35_a_lob_j01_54->n35_a_lob_j01_59 n35_a_lob_j01_55->n35_a_lob_j01_56 n35_a_lob_j01_57->n35_a_lob_j01_58 n35_a_lob_j01_60 P-ROLE n35_a_lob_j01_59->n35_a_lob_j01_60 n35_a_lob_j01_62 NP n35_a_lob_j01_59->n35_a_lob_j01_62 n35_a_lob_j01_60->n35_a_lob_j01_61 n35_a_lob_j01_63 D n35_a_lob_j01_62->n35_a_lob_j01_63 n35_a_lob_j01_65 N n35_a_lob_j01_62->n35_a_lob_j01_65 n35_a_lob_j01_67 N n35_a_lob_j01_62->n35_a_lob_j01_67 n35_a_lob_j01_69 PP n35_a_lob_j01_62->n35_a_lob_j01_69 n35_a_lob_j01_63->n35_a_lob_j01_64 n35_a_lob_j01_65->n35_a_lob_j01_66 n35_a_lob_j01_67->n35_a_lob_j01_68 n35_a_lob_j01_70 P-ROLE n35_a_lob_j01_69->n35_a_lob_j01_70 n35_a_lob_j01_72 NP n35_a_lob_j01_69->n35_a_lob_j01_72 n35_a_lob_j01_70->n35_a_lob_j01_71 n35_a_lob_j01_73 N n35_a_lob_j01_72->n35_a_lob_j01_73 n35_a_lob_j01_75 IP-PPL n35_a_lob_j01_72->n35_a_lob_j01_75 n35_a_lob_j01_73->n35_a_lob_j01_74 n35_a_lob_j01_76 ADVP-NIM n35_a_lob_j01_75->n35_a_lob_j01_76 n35_a_lob_j01_79 VAG;_I_ n35_a_lob_j01_75->n35_a_lob_j01_79 n35_a_lob_j01_81 PP-NIM n35_a_lob_j01_75->n35_a_lob_j01_81 n35_a_lob_j01_77 ADV n35_a_lob_j01_76->n35_a_lob_j01_77 n35_a_lob_j01_77->n35_a_lob_j01_78 n35_a_lob_j01_79->n35_a_lob_j01_80 n35_a_lob_j01_82 P-ROLE n35_a_lob_j01_81->n35_a_lob_j01_82 n35_a_lob_j01_84 NP n35_a_lob_j01_81->n35_a_lob_j01_84 n35_a_lob_j01_82->n35_a_lob_j01_83 n35_a_lob_j01_85 D n35_a_lob_j01_84->n35_a_lob_j01_85 n35_a_lob_j01_87 N n35_a_lob_j01_84->n35_a_lob_j01_87 n35_a_lob_j01_85->n35_a_lob_j01_86 n35_a_lob_j01_87->n35_a_lob_j01_88 n35_a_lob_j01_89->n35_a_lob_j01_90 
( (IP-MAT (ADVP-NIM (ADV Thus;{thus}))
          (PP-SCON (P-CONN if;{if})
                   (IP-ADV (NP-SBJ (NS voltmeters;{voltmeter})
                                   (PP (P-ROLE of;{of})
                                       (NP (D this;{this})
                                           (N type;{type}))))
                           (BED;_cat_VePASS_ were;{be})
                           (IP-PPL-CAT (NP-LGS *)
                                       (VVN;_Tn_ used;{use})
                                       (PP-NIM (P-ROLE with;{with})
                                               (NP (D the;{the})
                                                   (NPR Na)
                                                   (PUNC <sol>)
                                                   (NPR Na<bsub>2<ast><bsub>0)
                                                   (N cell;{cell}))))))
          (NP-SBJ (PRO;_provisional_ it;{it}))
          (BEP;_La_ is;{be})
          (ADJP-PRD (ADJ possible;{possible}))
          (IP-INF-NSBJ (TO to;{to})
                       (VB;_Tn_ estimate;{estimate})
                       (NP-OB1 (D the;{the})
                               (N contamination;{contamination})
                               (PP (P-ROLE of;{of})
                                   (NP (D the;{the})
                                       (N circuit;{circuit})
                                       (N sodium;{sodium})
                                       (PP (P-ROLE from;{from})
                                           (NP (N oxygen;{oxygen})
                                               (IP-PPL (ADVP-NIM (ADV continuously;{continuously}))
                                                       (VAG;_I_ diffusing;{diffuse})
                                                       (PP-NIM (P-ROLE through;{through})
                                                               (NP (D the;{the})
                                                                   (N electrolyte;{electrolyte}))))))))))
          (PUNC .))
  (ID 35_a_lob_j01))