35_a_lob_j01
%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_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
[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_0018__to_r_0035_0019__estimate
to estimate
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_0016__is
is
r_0035_0016__is->r_0035_0018__to_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_0007__were_r_0035_0008__used
were used
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_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]
r_0035_0003__voltmeters
voltmeters
r_0035_0007__were_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_0002__if
if
r_0035_0002__if->r_0035_0016__is
[scope]
r_0035_0002__if->r_0035_0007__were_r_0035_0008__used
[restriction]
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__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))