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.

n35_a_lob_j01 n35_a_lob_j01__1_1_1_1 Thus n35_a_lob_j01__1_2_1_1 if n35_a_lob_j01__1_2_2_1_1_1 voltmeters n35_a_lob_j01__1_2_2_1_2_1_1 of n35_a_lob_j01__1_2_2_1_2_2_1_1 this n35_a_lob_j01__1_2_2_1_2_2_2_1 type n35_a_lob_j01__1_2_2_2_1 were n35_a_lob_j01__1_2_2_3_1_1 * n35_a_lob_j01__1_2_2_3_2_1 used n35_a_lob_j01__1_2_2_3_3_1_1 with n35_a_lob_j01__1_2_2_3_3_2_1_1 the n35_a_lob_j01__1_2_2_3_3_2_2_1 Na n35_a_lob_j01__1_2_2_3_3_2_3_1 <sol> n35_a_lob_j01__1_2_2_3_3_2_4_1 Na<bsub>2<ast><bsub>0 n35_a_lob_j01__1_2_2_3_3_2_5_1 cell n35_a_lob_j01__1_3_1_1 it n35_a_lob_j01__1_4_1 is n35_a_lob_j01__1_5_1_1 possible n35_a_lob_j01__1_6_1_1 to n35_a_lob_j01__1_6_2_1 estimate n35_a_lob_j01__1_6_3_1_1 the n35_a_lob_j01__1_6_3_2_1 contamination n35_a_lob_j01__1_6_3_3_1_1 of n35_a_lob_j01__1_6_3_3_2_1_1 the n35_a_lob_j01__1_6_3_3_2_2_1 circuit n35_a_lob_j01__1_6_3_3_2_3_1 sodium n35_a_lob_j01__1_6_3_3_2_4_1_1 from n35_a_lob_j01__1_6_3_3_2_4_2_1_1 oxygen n35_a_lob_j01__1_6_3_3_2_4_2_2_1_1_1 continuously n35_a_lob_j01__1_6_3_3_2_4_2_2_2_1 diffusing n35_a_lob_j01__1_6_3_3_2_4_2_2_3_1_1 through n35_a_lob_j01__1_6_3_3_2_4_2_2_3_2_1_1 the n35_a_lob_j01__1_6_3_3_2_4_2_2_3_2_2_1 electrolyte n35_a_lob_j01__1_7_1 . n35_a_lob_j01__1 IP-MAT n35_a_lob_j01__1_1 ADVP-NIM n35_a_lob_j01__1->n35_a_lob_j01__1_1 n35_a_lob_j01__1_2 PP-SCON n35_a_lob_j01__1->n35_a_lob_j01__1_2 n35_a_lob_j01__1_3 NP-SBJ n35_a_lob_j01__1->n35_a_lob_j01__1_3 n35_a_lob_j01__1_4 BEP;_La_ n35_a_lob_j01__1->n35_a_lob_j01__1_4 n35_a_lob_j01__1_5 ADJP-PRD n35_a_lob_j01__1->n35_a_lob_j01__1_5 n35_a_lob_j01__1_6 IP-INF-NSBJ n35_a_lob_j01__1->n35_a_lob_j01__1_6 n35_a_lob_j01__1_7 PUNC n35_a_lob_j01__1->n35_a_lob_j01__1_7 n35_a_lob_j01__1_1_1 ADV n35_a_lob_j01__1_1->n35_a_lob_j01__1_1_1 n35_a_lob_j01__1_1_1->n35_a_lob_j01__1_1_1_1 n35_a_lob_j01__1_2_1 P-CONN n35_a_lob_j01__1_2->n35_a_lob_j01__1_2_1 n35_a_lob_j01__1_2_2 IP-ADV n35_a_lob_j01__1_2->n35_a_lob_j01__1_2_2 n35_a_lob_j01__1_2_1->n35_a_lob_j01__1_2_1_1 n35_a_lob_j01__1_2_2_1 NP-SBJ n35_a_lob_j01__1_2_2->n35_a_lob_j01__1_2_2_1 n35_a_lob_j01__1_2_2_2 BED;_cat_VePASS_ n35_a_lob_j01__1_2_2->n35_a_lob_j01__1_2_2_2 n35_a_lob_j01__1_2_2_3 IP-PPL-CAT n35_a_lob_j01__1_2_2->n35_a_lob_j01__1_2_2_3 n35_a_lob_j01__1_2_2_1_1 NS n35_a_lob_j01__1_2_2_1->n35_a_lob_j01__1_2_2_1_1 n35_a_lob_j01__1_2_2_1_2 PP n35_a_lob_j01__1_2_2_1->n35_a_lob_j01__1_2_2_1_2 n35_a_lob_j01__1_2_2_1_1->n35_a_lob_j01__1_2_2_1_1_1 n35_a_lob_j01__1_2_2_1_2_1 P-ROLE n35_a_lob_j01__1_2_2_1_2->n35_a_lob_j01__1_2_2_1_2_1 n35_a_lob_j01__1_2_2_1_2_2 NP n35_a_lob_j01__1_2_2_1_2->n35_a_lob_j01__1_2_2_1_2_2 n35_a_lob_j01__1_2_2_1_2_1->n35_a_lob_j01__1_2_2_1_2_1_1 n35_a_lob_j01__1_2_2_1_2_2_1 D n35_a_lob_j01__1_2_2_1_2_2->n35_a_lob_j01__1_2_2_1_2_2_1 n35_a_lob_j01__1_2_2_1_2_2_2 N n35_a_lob_j01__1_2_2_1_2_2->n35_a_lob_j01__1_2_2_1_2_2_2 n35_a_lob_j01__1_2_2_1_2_2_1->n35_a_lob_j01__1_2_2_1_2_2_1_1 n35_a_lob_j01__1_2_2_1_2_2_2->n35_a_lob_j01__1_2_2_1_2_2_2_1 n35_a_lob_j01__1_2_2_2->n35_a_lob_j01__1_2_2_2_1 n35_a_lob_j01__1_2_2_3_1 NP-LGS n35_a_lob_j01__1_2_2_3->n35_a_lob_j01__1_2_2_3_1 n35_a_lob_j01__1_2_2_3_2 VVN;_Tn_ n35_a_lob_j01__1_2_2_3->n35_a_lob_j01__1_2_2_3_2 n35_a_lob_j01__1_2_2_3_3 PP-NIM n35_a_lob_j01__1_2_2_3->n35_a_lob_j01__1_2_2_3_3 n35_a_lob_j01__1_2_2_3_1->n35_a_lob_j01__1_2_2_3_1_1 n35_a_lob_j01__1_2_2_3_2->n35_a_lob_j01__1_2_2_3_2_1 n35_a_lob_j01__1_2_2_3_3_1 P-ROLE n35_a_lob_j01__1_2_2_3_3->n35_a_lob_j01__1_2_2_3_3_1 n35_a_lob_j01__1_2_2_3_3_2 NP n35_a_lob_j01__1_2_2_3_3->n35_a_lob_j01__1_2_2_3_3_2 n35_a_lob_j01__1_2_2_3_3_1->n35_a_lob_j01__1_2_2_3_3_1_1 n35_a_lob_j01__1_2_2_3_3_2_1 D n35_a_lob_j01__1_2_2_3_3_2->n35_a_lob_j01__1_2_2_3_3_2_1 n35_a_lob_j01__1_2_2_3_3_2_2 NPR n35_a_lob_j01__1_2_2_3_3_2->n35_a_lob_j01__1_2_2_3_3_2_2 n35_a_lob_j01__1_2_2_3_3_2_3 PUNC n35_a_lob_j01__1_2_2_3_3_2->n35_a_lob_j01__1_2_2_3_3_2_3 n35_a_lob_j01__1_2_2_3_3_2_4 NPR n35_a_lob_j01__1_2_2_3_3_2->n35_a_lob_j01__1_2_2_3_3_2_4 n35_a_lob_j01__1_2_2_3_3_2_5 N n35_a_lob_j01__1_2_2_3_3_2->n35_a_lob_j01__1_2_2_3_3_2_5 n35_a_lob_j01__1_2_2_3_3_2_1->n35_a_lob_j01__1_2_2_3_3_2_1_1 n35_a_lob_j01__1_2_2_3_3_2_2->n35_a_lob_j01__1_2_2_3_3_2_2_1 n35_a_lob_j01__1_2_2_3_3_2_3->n35_a_lob_j01__1_2_2_3_3_2_3_1 n35_a_lob_j01__1_2_2_3_3_2_4->n35_a_lob_j01__1_2_2_3_3_2_4_1 n35_a_lob_j01__1_2_2_3_3_2_5->n35_a_lob_j01__1_2_2_3_3_2_5_1 n35_a_lob_j01__1_3_1 PRO;_provisional_ n35_a_lob_j01__1_3->n35_a_lob_j01__1_3_1 n35_a_lob_j01__1_3_1->n35_a_lob_j01__1_3_1_1 n35_a_lob_j01__1_4->n35_a_lob_j01__1_4_1 n35_a_lob_j01__1_5_1 ADJ n35_a_lob_j01__1_5->n35_a_lob_j01__1_5_1 n35_a_lob_j01__1_5_1->n35_a_lob_j01__1_5_1_1 n35_a_lob_j01__1_6_1 TO n35_a_lob_j01__1_6->n35_a_lob_j01__1_6_1 n35_a_lob_j01__1_6_2 VB;_Tn_ n35_a_lob_j01__1_6->n35_a_lob_j01__1_6_2 n35_a_lob_j01__1_6_3 NP-OB1 n35_a_lob_j01__1_6->n35_a_lob_j01__1_6_3 n35_a_lob_j01__1_6_1->n35_a_lob_j01__1_6_1_1 n35_a_lob_j01__1_6_2->n35_a_lob_j01__1_6_2_1 n35_a_lob_j01__1_6_3_1 D n35_a_lob_j01__1_6_3->n35_a_lob_j01__1_6_3_1 n35_a_lob_j01__1_6_3_2 N n35_a_lob_j01__1_6_3->n35_a_lob_j01__1_6_3_2 n35_a_lob_j01__1_6_3_3 PP n35_a_lob_j01__1_6_3->n35_a_lob_j01__1_6_3_3 n35_a_lob_j01__1_6_3_1->n35_a_lob_j01__1_6_3_1_1 n35_a_lob_j01__1_6_3_2->n35_a_lob_j01__1_6_3_2_1 n35_a_lob_j01__1_6_3_3_1 P-ROLE n35_a_lob_j01__1_6_3_3->n35_a_lob_j01__1_6_3_3_1 n35_a_lob_j01__1_6_3_3_2 NP n35_a_lob_j01__1_6_3_3->n35_a_lob_j01__1_6_3_3_2 n35_a_lob_j01__1_6_3_3_1->n35_a_lob_j01__1_6_3_3_1_1 n35_a_lob_j01__1_6_3_3_2_1 D n35_a_lob_j01__1_6_3_3_2->n35_a_lob_j01__1_6_3_3_2_1 n35_a_lob_j01__1_6_3_3_2_2 N n35_a_lob_j01__1_6_3_3_2->n35_a_lob_j01__1_6_3_3_2_2 n35_a_lob_j01__1_6_3_3_2_3 N n35_a_lob_j01__1_6_3_3_2->n35_a_lob_j01__1_6_3_3_2_3 n35_a_lob_j01__1_6_3_3_2_4 PP n35_a_lob_j01__1_6_3_3_2->n35_a_lob_j01__1_6_3_3_2_4 n35_a_lob_j01__1_6_3_3_2_1->n35_a_lob_j01__1_6_3_3_2_1_1 n35_a_lob_j01__1_6_3_3_2_2->n35_a_lob_j01__1_6_3_3_2_2_1 n35_a_lob_j01__1_6_3_3_2_3->n35_a_lob_j01__1_6_3_3_2_3_1 n35_a_lob_j01__1_6_3_3_2_4_1 P-ROLE n35_a_lob_j01__1_6_3_3_2_4->n35_a_lob_j01__1_6_3_3_2_4_1 n35_a_lob_j01__1_6_3_3_2_4_2 NP n35_a_lob_j01__1_6_3_3_2_4->n35_a_lob_j01__1_6_3_3_2_4_2 n35_a_lob_j01__1_6_3_3_2_4_1->n35_a_lob_j01__1_6_3_3_2_4_1_1 n35_a_lob_j01__1_6_3_3_2_4_2_1 N n35_a_lob_j01__1_6_3_3_2_4_2->n35_a_lob_j01__1_6_3_3_2_4_2_1 n35_a_lob_j01__1_6_3_3_2_4_2_2 IP-PPL n35_a_lob_j01__1_6_3_3_2_4_2->n35_a_lob_j01__1_6_3_3_2_4_2_2 n35_a_lob_j01__1_6_3_3_2_4_2_1->n35_a_lob_j01__1_6_3_3_2_4_2_1_1 n35_a_lob_j01__1_6_3_3_2_4_2_2_1 ADVP-NIM n35_a_lob_j01__1_6_3_3_2_4_2_2->n35_a_lob_j01__1_6_3_3_2_4_2_2_1 n35_a_lob_j01__1_6_3_3_2_4_2_2_2 VAG;_I_ n35_a_lob_j01__1_6_3_3_2_4_2_2->n35_a_lob_j01__1_6_3_3_2_4_2_2_2 n35_a_lob_j01__1_6_3_3_2_4_2_2_3 PP-NIM n35_a_lob_j01__1_6_3_3_2_4_2_2->n35_a_lob_j01__1_6_3_3_2_4_2_2_3 n35_a_lob_j01__1_6_3_3_2_4_2_2_1_1 ADV n35_a_lob_j01__1_6_3_3_2_4_2_2_1->n35_a_lob_j01__1_6_3_3_2_4_2_2_1_1 n35_a_lob_j01__1_6_3_3_2_4_2_2_1_1->n35_a_lob_j01__1_6_3_3_2_4_2_2_1_1_1 n35_a_lob_j01__1_6_3_3_2_4_2_2_2->n35_a_lob_j01__1_6_3_3_2_4_2_2_2_1 n35_a_lob_j01__1_6_3_3_2_4_2_2_3_1 P-ROLE n35_a_lob_j01__1_6_3_3_2_4_2_2_3->n35_a_lob_j01__1_6_3_3_2_4_2_2_3_1 n35_a_lob_j01__1_6_3_3_2_4_2_2_3_2 NP n35_a_lob_j01__1_6_3_3_2_4_2_2_3->n35_a_lob_j01__1_6_3_3_2_4_2_2_3_2 n35_a_lob_j01__1_6_3_3_2_4_2_2_3_1->n35_a_lob_j01__1_6_3_3_2_4_2_2_3_1_1 n35_a_lob_j01__1_6_3_3_2_4_2_2_3_2_1 D n35_a_lob_j01__1_6_3_3_2_4_2_2_3_2->n35_a_lob_j01__1_6_3_3_2_4_2_2_3_2_1 n35_a_lob_j01__1_6_3_3_2_4_2_2_3_2_2 N n35_a_lob_j01__1_6_3_3_2_4_2_2_3_2->n35_a_lob_j01__1_6_3_3_2_4_2_2_3_2_2 n35_a_lob_j01__1_6_3_3_2_4_2_2_3_2_1->n35_a_lob_j01__1_6_3_3_2_4_2_2_3_2_1_1 n35_a_lob_j01__1_6_3_3_2_4_2_2_3_2_2->n35_a_lob_j01__1_6_3_3_2_4_2_2_3_2_2_1 n35_a_lob_j01__1_7->n35_a_lob_j01__1_7_1 
( (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))


%3 r_0035_0029__diffusing diffusing r_0035_0031__the_r_0035_0032__electrolyte the electrolyte r_0035_0029__diffusing->r_0035_0031__the_r_0035_0032__electrolyte through [nim] r_0035_0028__continuously continuously r_0035_0029__diffusing->r_0035_0028__continuously [nim] r_0035_0027__oxygen oxygen r_0035_0029__diffusing->r_0035_0027__oxygen [inv_arg0] r_0035_0023__the_r_0035_0024__circuit_r_0035_0025__sodium the circuit sodium r_0035_0023__the_r_0035_0024__circuit_r_0035_0025__sodium->r_0035_0027__oxygen from r_0035_0020__the_r_0035_0021__contamination the contamination r_0035_0020__the_r_0035_0021__contamination->r_0035_0023__the_r_0035_0024__circuit_r_0035_0025__sodium of r_0035_0019__estimate estimate r_0035_0019__estimate->r_0035_0020__the_r_0035_0021__contamination [arg1] z_0035_5010 r_0035_0019__estimate->z_0035_5010 [arg0] r_0035_0016__is is r_0035_0016__is->r_0035_0019__estimate [arg0] r_0035_0017__possible possible r_0035_0016__is->r_0035_0017__possible [prd] r_0035_0001__Thus Thus r_0035_0016__is->r_0035_0001__Thus [nim] r_0035_0008__used used z_0035_5007___star_ * r_0035_0008__used->z_0035_5007___star_ [arg0] 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] r_0035_0003__voltmeters voltmeters r_0035_0008__used->r_0035_0003__voltmeters [arg1] 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_0007__were were r_0035_0007__were->r_0035_0008__used [scope] r_0035_0002__if if r_0035_0002__if->r_0035_0016__is [scope] r_0035_0002__if->r_0035_0007__were [restriction] 
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__nim).
arc(r_0035_0008__used,z_0035_5007___star_,arg0).
arc(r_0035_0016__is,r_0035_0001__Thus,nim).
arc(r_0035_0016__is,r_0035_0017__possible,prd).
arc(r_0035_0016__is,r_0035_0019__estimate,arg0).
arc(r_0035_0019__estimate,r_0035_0020__the_r_0035_0021__contamination,arg1).
arc(r_0035_0019__estimate,z_0035_5010,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,inv_arg0).
arc(r_0035_0029__diffusing,r_0035_0028__continuously,nim).
arc(r_0035_0029__diffusing,r_0035_0031__the_r_0035_0032__electrolyte,r_0035_0030__through__nim).


%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_0035_5007___star_ * r_0035_0007__were_r_0035_0008__used->z_0035_5007___star_ [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_0019__estimate estimate r_0035_0016__is->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_0019__estimate->r_0035_0020__the_r_0035_0021__contamination [arg1] z_0035_5010 r_0035_0019__estimate->z_0035_5010 [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_0027__oxygen->r_0035_0029__diffusing [inv_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_0035_0007__WERE_R_0035_0008__USED,R_0035_0005__THIS_R_0035_0006__TYPE,R_0035_0003__VOLTMETERS,R_0035_0010__THE_R_0035_0011__NA_R_0035_0013__NA_BSUB_2_AST__BSUB_0_R_0035_0014__CELL,Z_0035_5007___STAR_] :
      ( ( r_0035_0005__this_r_0035_0006__type(R_0035_0005__THIS_R_0035_0006__TYPE)
        & r_0035_0010__the_r_0035_0011__Na_r_0035_0013__Na_bsub_2_ast__bsub_0_r_0035_0014__cell(R_0035_0010__THE_R_0035_0011__NA_R_0035_0013__NA_BSUB_2_AST__BSUB_0_R_0035_0014__CELL)
        & z_0035_5007___star_(Z_0035_5007___STAR_)
        & r_0035_0007__were_r_0035_0008__used(R_0035_0007__WERE_R_0035_0008__USED)
        & has_arg0(R_0035_0007__WERE_R_0035_0008__USED,Z_0035_5007___STAR_)
        & has_r_0035_0009__with__nim(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)
        & has_arg1(R_0035_0007__WERE_R_0035_0008__USED,R_0035_0003__VOLTMETERS)
        & r_0035_0003__voltmeters(R_0035_0003__VOLTMETERS)
        & has_r_0035_0004__of(R_0035_0003__VOLTMETERS,R_0035_0005__THIS_R_0035_0006__TYPE) )
     => ? [R_0035_0001__THUS,R_0035_0017__POSSIBLE,R_0035_0028__CONTINUOUSLY,R_0035_0031__THE_R_0035_0032__ELECTROLYTE,R_0035_0029__DIFFUSING,R_0035_0027__OXYGEN,R_0035_0023__THE_R_0035_0024__CIRCUIT_R_0035_0025__SODIUM,R_0035_0020__THE_R_0035_0021__CONTAMINATION,Z_0035_5010,R_0035_0019__ESTIMATE,R_0035_0016__IS] :
          ( r_0035_0001__Thus(R_0035_0001__THUS)
          & r_0035_0017__possible(R_0035_0017__POSSIBLE)
          & r_0035_0028__continuously(R_0035_0028__CONTINUOUSLY)
          & r_0035_0031__the_r_0035_0032__electrolyte(R_0035_0031__THE_R_0035_0032__ELECTROLYTE)
          & z_0035_5010(Z_0035_5010)
          & r_0035_0016__is(R_0035_0016__IS)
          & has_arg0(R_0035_0016__IS,R_0035_0019__ESTIMATE)
          & r_0035_0019__estimate(R_0035_0019__ESTIMATE)
          & has_arg0(R_0035_0019__ESTIMATE,Z_0035_5010)
          & has_arg1(R_0035_0019__ESTIMATE,R_0035_0020__THE_R_0035_0021__CONTAMINATION)
          & r_0035_0020__the_r_0035_0021__contamination(R_0035_0020__THE_R_0035_0021__CONTAMINATION)
          & has_r_0035_0022__of(R_0035_0020__THE_R_0035_0021__CONTAMINATION,R_0035_0023__THE_R_0035_0024__CIRCUIT_R_0035_0025__SODIUM)
          & r_0035_0023__the_r_0035_0024__circuit_r_0035_0025__sodium(R_0035_0023__THE_R_0035_0024__CIRCUIT_R_0035_0025__SODIUM)
          & has_r_0035_0026__from(R_0035_0023__THE_R_0035_0024__CIRCUIT_R_0035_0025__SODIUM,R_0035_0027__OXYGEN)
          & r_0035_0027__oxygen(R_0035_0027__OXYGEN)
          & has_inv_arg0(R_0035_0027__OXYGEN,R_0035_0029__DIFFUSING)
          & r_0035_0029__diffusing(R_0035_0029__DIFFUSING)
          & has_r_0035_0030__through__nim(R_0035_0029__DIFFUSING,R_0035_0031__THE_R_0035_0032__ELECTROLYTE)
          & has_nim(R_0035_0029__DIFFUSING,R_0035_0028__CONTINUOUSLY)
          & has_prd(R_0035_0016__IS,R_0035_0017__POSSIBLE)
          & has_nim(R_0035_0016__IS,R_0035_0001__THUS) ) ) ).