53_a_lob_j01
%3
r_0053_0004__is
is
r_0053_0005__made
made
r_0053_0004__is->r_0053_0005__made
[scope]
r_0053_0001__The_r_0053_0002__electrolyte_r_0053_0003__A
The electrolyte A
r_0053_0005__made->r_0053_0001__The_r_0053_0002__electrolyte_r_0053_0003__A
[arg1]
r_0053_0007__the_r_0053_0008__form
the form
r_0053_0005__made->r_0053_0007__the_r_0053_0008__form
in [nim]
z_000_53_a_lob_j01_12
r_0053_0005__made->z_000_53_a_lob_j01_12
[arg0]
r_0053_0018__or
or
r_0053_0007__the_r_0053_0008__form->r_0053_0018__or
of
r_0053_0016__end_r_0053_0017__tube
end tube
r_0053_0018__or->r_0053_0016__end_r_0053_0017__tube
[conj1]
r_0053_0011__thin
thin
r_0053_0018__or->r_0053_0011__thin
[attrib]
r_0053_0019__probe
probe
r_0053_0018__or->r_0053_0019__probe
[conj2]
r_0053_0012__walled
walled
r_0053_0012__walled->r_0053_0018__or
[arg0]
r_0053_0013__closed_r_0053_0014__off
closed off
r_0053_0013__closed_r_0053_0014__off->r_0053_0018__or
[arg0]
r_0053_0015__round
round
r_0053_0016__end_r_0053_0017__tube->r_0053_0015__round
[attrib]
r_0053_0020__fitting
fitting
r_0053_0020__fitting->r_0053_0018__or
[arg0]
r_0053_0021__vertically
vertically
r_0053_0020__fitting->r_0053_0021__vertically
[nim]
r_0053_0023__the_r_0053_0024__sodium_r_0053_0025__coolant_r_0053_0026__circuit_r_0053_0027__B
the sodium coolant circuit B
r_0053_0020__fitting->r_0053_0023__the_r_0053_0024__sodium_r_0053_0025__coolant_r_0053_0026__circuit_r_0053_0027__B
into [nim]
arc(r_0053_0004__is, r_0053_0005__made, scope).
arc(r_0053_0005__made, r_0053_0001__The_r_0053_0002__electrolyte_r_0053_0003__A, arg1).
arc(r_0053_0005__made, r_0053_0007__the_r_0053_0008__form, r_0053_0006__in_nim19).
arc(r_0053_0005__made, z_000_53_a_lob_j01_12, arg0).
arc(r_0053_0007__the_r_0053_0008__form, r_0053_0018__or, r_0053_0009__of).
arc(r_0053_0012__walled, r_0053_0018__or, arg0).
arc(r_0053_0013__closed_r_0053_0014__off, r_0053_0018__or, arg0).
arc(r_0053_0016__end_r_0053_0017__tube, r_0053_0015__round, attrib43).
arc(r_0053_0018__or, r_0053_0011__thin, attrib30).
arc(r_0053_0018__or, r_0053_0016__end_r_0053_0017__tube, conj1).
arc(r_0053_0018__or, r_0053_0019__probe, conj2).
arc(r_0053_0020__fitting, r_0053_0018__or, arg0).
arc(r_0053_0020__fitting, r_0053_0021__vertically, nim59).
arc(r_0053_0020__fitting, r_0053_0023__the_r_0053_0024__sodium_r_0053_0025__coolant_r_0053_0026__circuit_r_0053_0027__B, r_0053_0022__into_nim65).
%3
r_0053_0020__fitting
fitting
r_0053_0023__the_r_0053_0024__sodium_r_0053_0025__coolant_r_0053_0026__circuit_r_0053_0027__B
the sodium coolant circuit B
r_0053_0020__fitting->r_0053_0023__the_r_0053_0024__sodium_r_0053_0025__coolant_r_0053_0026__circuit_r_0053_0027__B
into [nim]
r_0053_0021__vertically
vertically
r_0053_0020__fitting->r_0053_0021__vertically
[nim]
r_0053_0018__or
or
r_0053_0020__fitting->r_0053_0018__or
[arg0]
r_0053_0019__probe
probe
r_0053_0018__or->r_0053_0019__probe
[conj2]
r_0053_0016__end_r_0053_0017__tube
end tube
r_0053_0018__or->r_0053_0016__end_r_0053_0017__tube
[conj1]
r_0053_0011__thin
thin
r_0053_0018__or->r_0053_0011__thin
[attrib]
r_0053_0015__round
round
r_0053_0016__end_r_0053_0017__tube->r_0053_0015__round
[attrib]
r_0053_0013__closed_r_0053_0014__off
closed off
r_0053_0013__closed_r_0053_0014__off->r_0053_0018__or
[arg0]
r_0053_0012__walled
walled
r_0053_0012__walled->r_0053_0018__or
[arg0]
r_0053_0007__the_r_0053_0008__form
the form
r_0053_0007__the_r_0053_0008__form->r_0053_0018__or
of
r_0053_0004__is_r_0053_0005__made
is made
r_0053_0004__is_r_0053_0005__made->r_0053_0007__the_r_0053_0008__form
in [nim]
z_000_53_a_lob_j01_12
r_0053_0004__is_r_0053_0005__made->z_000_53_a_lob_j01_12
[arg0]
r_0053_0001__The_r_0053_0002__electrolyte_r_0053_0003__A
The electrolyte A
r_0053_0004__is_r_0053_0005__made->r_0053_0001__The_r_0053_0002__electrolyte_r_0053_0003__A
[arg1]
fof(formula,axiom,
? [R_0053_0001__THE_R_0053_0002__ELECTROLYTE_R_0053_0003__A,R_0053_0011__THIN,R_0053_0015__ROUND,R_0053_0016__END_R_0053_0017__TUBE,R_0053_0019__PROBE,R_0053_0018__OR,R_0053_0007__THE_R_0053_0008__FORM,Z_000_53_A_LOB_J01_12,R_0053_0004__IS_R_0053_0005__MADE,R_0053_0012__WALLED,R_0053_0013__CLOSED_R_0053_0014__OFF,R_0053_0021__VERTICALLY,R_0053_0023__THE_R_0053_0024__SODIUM_R_0053_0025__COOLANT_R_0053_0026__CIRCUIT_R_0053_0027__B,R_0053_0020__FITTING] :
( r_0053_0001__The_r_0053_0002__electrolyte_r_0053_0003__A(R_0053_0001__THE_R_0053_0002__ELECTROLYTE_R_0053_0003__A)
& r_0053_0011__thin(R_0053_0011__THIN)
& r_0053_0015__round(R_0053_0015__ROUND)
& r_0053_0019__probe(R_0053_0019__PROBE)
& r_0053_0021__vertically(R_0053_0021__VERTICALLY)
& r_0053_0023__the_r_0053_0024__sodium_r_0053_0025__coolant_r_0053_0026__circuit_r_0053_0027__B(R_0053_0023__THE_R_0053_0024__SODIUM_R_0053_0025__COOLANT_R_0053_0026__CIRCUIT_R_0053_0027__B)
& z_000_53_a_lob_j01_12(Z_000_53_A_LOB_J01_12)
& r_0053_0020__fitting(R_0053_0020__FITTING)
& has_r_0053_0022__into_nim65(R_0053_0020__FITTING,R_0053_0023__THE_R_0053_0024__SODIUM_R_0053_0025__COOLANT_R_0053_0026__CIRCUIT_R_0053_0027__B)
& has_nim59(R_0053_0020__FITTING,R_0053_0021__VERTICALLY)
& has_arg0(R_0053_0020__FITTING,R_0053_0018__OR)
& r_0053_0018__or(R_0053_0018__OR)
& has_conj2(R_0053_0018__OR,R_0053_0019__PROBE)
& has_conj1(R_0053_0018__OR,R_0053_0016__END_R_0053_0017__TUBE)
& r_0053_0016__end_r_0053_0017__tube(R_0053_0016__END_R_0053_0017__TUBE)
& has_attrib43(R_0053_0016__END_R_0053_0017__TUBE,R_0053_0015__ROUND)
& has_attrib30(R_0053_0018__OR,R_0053_0011__THIN)
& r_0053_0013__closed_r_0053_0014__off(R_0053_0013__CLOSED_R_0053_0014__OFF)
& has_arg0(R_0053_0013__CLOSED_R_0053_0014__OFF,R_0053_0018__OR)
& r_0053_0012__walled(R_0053_0012__WALLED)
& has_arg0(R_0053_0012__WALLED,R_0053_0018__OR)
& r_0053_0004__is_r_0053_0005__made(R_0053_0004__IS_R_0053_0005__MADE)
& has_arg0(R_0053_0004__IS_R_0053_0005__MADE,Z_000_53_A_LOB_J01_12)
& has_r_0053_0006__in_nim19(R_0053_0004__IS_R_0053_0005__MADE,R_0053_0007__THE_R_0053_0008__FORM)
& r_0053_0007__the_r_0053_0008__form(R_0053_0007__THE_R_0053_0008__FORM)
& has_r_0053_0009__of(R_0053_0007__THE_R_0053_0008__FORM,R_0053_0018__OR)
& has_arg1(R_0053_0004__IS_R_0053_0005__MADE,R_0053_0001__THE_R_0053_0002__ELECTROLYTE_R_0053_0003__A) ) ).
n53_a_lob_j01
n53_a_lob_j01__1_1_1_1
The
n53_a_lob_j01__1_1_2_1
electrolyte
n53_a_lob_j01__1_1_3_1
A
n53_a_lob_j01__1_2_1
is
n53_a_lob_j01__1_3_1_1
*
n53_a_lob_j01__1_3_2_1
made
n53_a_lob_j01__1_3_3_1_1
in
n53_a_lob_j01__1_3_3_2_1_1
the
n53_a_lob_j01__1_3_3_2_2_1
form
n53_a_lob_j01__1_3_3_2_3_1_1
of
n53_a_lob_j01__1_3_3_2_3_2_1_1
a
n53_a_lob_j01__1_3_3_2_3_2_2_1_1
thin
n53_a_lob_j01__1_3_3_2_3_2_3_1_1
walled
n53_a_lob_j01__1_3_3_2_3_2_4_1_1
closed
n53_a_lob_j01__1_3_3_2_3_2_4_2_1
off
n53_a_lob_j01__1_3_3_2_3_2_5_1_1_1_1
round
n53_a_lob_j01__1_3_3_2_3_2_5_1_2_1
end
n53_a_lob_j01__1_3_3_2_3_2_5_1_3_1
tube
n53_a_lob_j01__1_3_3_2_3_2_5_2_1_1
or
n53_a_lob_j01__1_3_3_2_3_2_5_2_2_1_1
probe
n53_a_lob_j01__1_3_3_2_3_2_6_1_1
fitting
n53_a_lob_j01__1_3_3_2_3_2_6_2_1_1
vertically
n53_a_lob_j01__1_3_3_2_3_2_6_3_1_1
into
n53_a_lob_j01__1_3_3_2_3_2_6_3_2_1_1
the
n53_a_lob_j01__1_3_3_2_3_2_6_3_2_2_1
sodium
n53_a_lob_j01__1_3_3_2_3_2_6_3_2_3_1
coolant
n53_a_lob_j01__1_3_3_2_3_2_6_3_2_4_1
circuit
n53_a_lob_j01__1_3_3_2_3_2_6_3_2_5_1
B
n53_a_lob_j01__1_4_1
.
n53_a_lob_j01__1
IP-MAT
n53_a_lob_j01__1_1
NP-SBJ
n53_a_lob_j01__1->n53_a_lob_j01__1_1
n53_a_lob_j01__1_2
BEP;_cat_VePASS_
n53_a_lob_j01__1->n53_a_lob_j01__1_2
n53_a_lob_j01__1_3
IP-PPL-CAT
n53_a_lob_j01__1->n53_a_lob_j01__1_3
n53_a_lob_j01__1_4
PUNC
n53_a_lob_j01__1->n53_a_lob_j01__1_4
n53_a_lob_j01__1_1_1
D
n53_a_lob_j01__1_1->n53_a_lob_j01__1_1_1
n53_a_lob_j01__1_1_2
N
n53_a_lob_j01__1_1->n53_a_lob_j01__1_1_2
n53_a_lob_j01__1_1_3
N
n53_a_lob_j01__1_1->n53_a_lob_j01__1_1_3
n53_a_lob_j01__1_1_1->n53_a_lob_j01__1_1_1_1
n53_a_lob_j01__1_1_2->n53_a_lob_j01__1_1_2_1
n53_a_lob_j01__1_1_3->n53_a_lob_j01__1_1_3_1
n53_a_lob_j01__1_2->n53_a_lob_j01__1_2_1
n53_a_lob_j01__1_3_1
NP-LGS
n53_a_lob_j01__1_3->n53_a_lob_j01__1_3_1
n53_a_lob_j01__1_3_2
VVN;_Tn_
n53_a_lob_j01__1_3->n53_a_lob_j01__1_3_2
n53_a_lob_j01__1_3_3
PP-NIM
n53_a_lob_j01__1_3->n53_a_lob_j01__1_3_3
n53_a_lob_j01__1_3_1->n53_a_lob_j01__1_3_1_1
n53_a_lob_j01__1_3_2->n53_a_lob_j01__1_3_2_1
n53_a_lob_j01__1_3_3_1
P-ROLE
n53_a_lob_j01__1_3_3->n53_a_lob_j01__1_3_3_1
n53_a_lob_j01__1_3_3_2
NP
n53_a_lob_j01__1_3_3->n53_a_lob_j01__1_3_3_2
n53_a_lob_j01__1_3_3_1->n53_a_lob_j01__1_3_3_1_1
n53_a_lob_j01__1_3_3_2_1
D
n53_a_lob_j01__1_3_3_2->n53_a_lob_j01__1_3_3_2_1
n53_a_lob_j01__1_3_3_2_2
N
n53_a_lob_j01__1_3_3_2->n53_a_lob_j01__1_3_3_2_2
n53_a_lob_j01__1_3_3_2_3
PP
n53_a_lob_j01__1_3_3_2->n53_a_lob_j01__1_3_3_2_3
n53_a_lob_j01__1_3_3_2_1->n53_a_lob_j01__1_3_3_2_1_1
n53_a_lob_j01__1_3_3_2_2->n53_a_lob_j01__1_3_3_2_2_1
n53_a_lob_j01__1_3_3_2_3_1
P-ROLE
n53_a_lob_j01__1_3_3_2_3->n53_a_lob_j01__1_3_3_2_3_1
n53_a_lob_j01__1_3_3_2_3_2
NP
n53_a_lob_j01__1_3_3_2_3->n53_a_lob_j01__1_3_3_2_3_2
n53_a_lob_j01__1_3_3_2_3_1->n53_a_lob_j01__1_3_3_2_3_1_1
n53_a_lob_j01__1_3_3_2_3_2_1
D
n53_a_lob_j01__1_3_3_2_3_2->n53_a_lob_j01__1_3_3_2_3_2_1
n53_a_lob_j01__1_3_3_2_3_2_2
ADJP
n53_a_lob_j01__1_3_3_2_3_2->n53_a_lob_j01__1_3_3_2_3_2_2
n53_a_lob_j01__1_3_3_2_3_2_3
IP-PPL
n53_a_lob_j01__1_3_3_2_3_2->n53_a_lob_j01__1_3_3_2_3_2_3
n53_a_lob_j01__1_3_3_2_3_2_4
IP-PPL
n53_a_lob_j01__1_3_3_2_3_2->n53_a_lob_j01__1_3_3_2_3_2_4
n53_a_lob_j01__1_3_3_2_3_2_5
NLYR
n53_a_lob_j01__1_3_3_2_3_2->n53_a_lob_j01__1_3_3_2_3_2_5
n53_a_lob_j01__1_3_3_2_3_2_6
IP-PPL
n53_a_lob_j01__1_3_3_2_3_2->n53_a_lob_j01__1_3_3_2_3_2_6
n53_a_lob_j01__1_3_3_2_3_2_1->n53_a_lob_j01__1_3_3_2_3_2_1_1
n53_a_lob_j01__1_3_3_2_3_2_2_1
ADJ
n53_a_lob_j01__1_3_3_2_3_2_2->n53_a_lob_j01__1_3_3_2_3_2_2_1
n53_a_lob_j01__1_3_3_2_3_2_2_1->n53_a_lob_j01__1_3_3_2_3_2_2_1_1
n53_a_lob_j01__1_3_3_2_3_2_3_1
VVN;__
n53_a_lob_j01__1_3_3_2_3_2_3->n53_a_lob_j01__1_3_3_2_3_2_3_1
n53_a_lob_j01__1_3_3_2_3_2_3_1->n53_a_lob_j01__1_3_3_2_3_2_3_1_1
n53_a_lob_j01__1_3_3_2_3_2_4_1
VBD;__
n53_a_lob_j01__1_3_3_2_3_2_4->n53_a_lob_j01__1_3_3_2_3_2_4_1
n53_a_lob_j01__1_3_3_2_3_2_4_2
RP
n53_a_lob_j01__1_3_3_2_3_2_4->n53_a_lob_j01__1_3_3_2_3_2_4_2
n53_a_lob_j01__1_3_3_2_3_2_4_1->n53_a_lob_j01__1_3_3_2_3_2_4_1_1
n53_a_lob_j01__1_3_3_2_3_2_4_2->n53_a_lob_j01__1_3_3_2_3_2_4_2_1
n53_a_lob_j01__1_3_3_2_3_2_5_1
NLYR
n53_a_lob_j01__1_3_3_2_3_2_5->n53_a_lob_j01__1_3_3_2_3_2_5_1
n53_a_lob_j01__1_3_3_2_3_2_5_2
CONJP
n53_a_lob_j01__1_3_3_2_3_2_5->n53_a_lob_j01__1_3_3_2_3_2_5_2
n53_a_lob_j01__1_3_3_2_3_2_5_1_1
ADJP
n53_a_lob_j01__1_3_3_2_3_2_5_1->n53_a_lob_j01__1_3_3_2_3_2_5_1_1
n53_a_lob_j01__1_3_3_2_3_2_5_1_2
N
n53_a_lob_j01__1_3_3_2_3_2_5_1->n53_a_lob_j01__1_3_3_2_3_2_5_1_2
n53_a_lob_j01__1_3_3_2_3_2_5_1_3
N
n53_a_lob_j01__1_3_3_2_3_2_5_1->n53_a_lob_j01__1_3_3_2_3_2_5_1_3
n53_a_lob_j01__1_3_3_2_3_2_5_1_1_1
ADJ
n53_a_lob_j01__1_3_3_2_3_2_5_1_1->n53_a_lob_j01__1_3_3_2_3_2_5_1_1_1
n53_a_lob_j01__1_3_3_2_3_2_5_1_1_1->n53_a_lob_j01__1_3_3_2_3_2_5_1_1_1_1
n53_a_lob_j01__1_3_3_2_3_2_5_1_2->n53_a_lob_j01__1_3_3_2_3_2_5_1_2_1
n53_a_lob_j01__1_3_3_2_3_2_5_1_3->n53_a_lob_j01__1_3_3_2_3_2_5_1_3_1
n53_a_lob_j01__1_3_3_2_3_2_5_2_1
CONJ
n53_a_lob_j01__1_3_3_2_3_2_5_2->n53_a_lob_j01__1_3_3_2_3_2_5_2_1
n53_a_lob_j01__1_3_3_2_3_2_5_2_2
NLYR
n53_a_lob_j01__1_3_3_2_3_2_5_2->n53_a_lob_j01__1_3_3_2_3_2_5_2_2
n53_a_lob_j01__1_3_3_2_3_2_5_2_1->n53_a_lob_j01__1_3_3_2_3_2_5_2_1_1
n53_a_lob_j01__1_3_3_2_3_2_5_2_2_1
N
n53_a_lob_j01__1_3_3_2_3_2_5_2_2->n53_a_lob_j01__1_3_3_2_3_2_5_2_2_1
n53_a_lob_j01__1_3_3_2_3_2_5_2_2_1->n53_a_lob_j01__1_3_3_2_3_2_5_2_2_1_1
n53_a_lob_j01__1_3_3_2_3_2_6_1
VAG;__
n53_a_lob_j01__1_3_3_2_3_2_6->n53_a_lob_j01__1_3_3_2_3_2_6_1
n53_a_lob_j01__1_3_3_2_3_2_6_2
ADVP-NIM
n53_a_lob_j01__1_3_3_2_3_2_6->n53_a_lob_j01__1_3_3_2_3_2_6_2
n53_a_lob_j01__1_3_3_2_3_2_6_3
PP-NIM
n53_a_lob_j01__1_3_3_2_3_2_6->n53_a_lob_j01__1_3_3_2_3_2_6_3
n53_a_lob_j01__1_3_3_2_3_2_6_1->n53_a_lob_j01__1_3_3_2_3_2_6_1_1
n53_a_lob_j01__1_3_3_2_3_2_6_2_1
ADV
n53_a_lob_j01__1_3_3_2_3_2_6_2->n53_a_lob_j01__1_3_3_2_3_2_6_2_1
n53_a_lob_j01__1_3_3_2_3_2_6_2_1->n53_a_lob_j01__1_3_3_2_3_2_6_2_1_1
n53_a_lob_j01__1_3_3_2_3_2_6_3_1
P-ROLE
n53_a_lob_j01__1_3_3_2_3_2_6_3->n53_a_lob_j01__1_3_3_2_3_2_6_3_1
n53_a_lob_j01__1_3_3_2_3_2_6_3_2
NP
n53_a_lob_j01__1_3_3_2_3_2_6_3->n53_a_lob_j01__1_3_3_2_3_2_6_3_2
n53_a_lob_j01__1_3_3_2_3_2_6_3_1->n53_a_lob_j01__1_3_3_2_3_2_6_3_1_1
n53_a_lob_j01__1_3_3_2_3_2_6_3_2_1
D
n53_a_lob_j01__1_3_3_2_3_2_6_3_2->n53_a_lob_j01__1_3_3_2_3_2_6_3_2_1
n53_a_lob_j01__1_3_3_2_3_2_6_3_2_2
N
n53_a_lob_j01__1_3_3_2_3_2_6_3_2->n53_a_lob_j01__1_3_3_2_3_2_6_3_2_2
n53_a_lob_j01__1_3_3_2_3_2_6_3_2_3
N
n53_a_lob_j01__1_3_3_2_3_2_6_3_2->n53_a_lob_j01__1_3_3_2_3_2_6_3_2_3
n53_a_lob_j01__1_3_3_2_3_2_6_3_2_4
N
n53_a_lob_j01__1_3_3_2_3_2_6_3_2->n53_a_lob_j01__1_3_3_2_3_2_6_3_2_4
n53_a_lob_j01__1_3_3_2_3_2_6_3_2_5
N
n53_a_lob_j01__1_3_3_2_3_2_6_3_2->n53_a_lob_j01__1_3_3_2_3_2_6_3_2_5
n53_a_lob_j01__1_3_3_2_3_2_6_3_2_1->n53_a_lob_j01__1_3_3_2_3_2_6_3_2_1_1
n53_a_lob_j01__1_3_3_2_3_2_6_3_2_2->n53_a_lob_j01__1_3_3_2_3_2_6_3_2_2_1
n53_a_lob_j01__1_3_3_2_3_2_6_3_2_3->n53_a_lob_j01__1_3_3_2_3_2_6_3_2_3_1
n53_a_lob_j01__1_3_3_2_3_2_6_3_2_4->n53_a_lob_j01__1_3_3_2_3_2_6_3_2_4_1
n53_a_lob_j01__1_3_3_2_3_2_6_3_2_5->n53_a_lob_j01__1_3_3_2_3_2_6_3_2_5_1
n53_a_lob_j01__1_4->n53_a_lob_j01__1_4_1
( (IP-MAT (NP-SBJ (D The;{the})
(N electrolyte;{electrolyte})
(N A))
(BEP;_cat_VePASS_ is;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn_ made;{make})
(PP-NIM (P-ROLE in;{in})
(NP (D the;{the})
(N form;{form})
(PP (P-ROLE of;{of})
(NP (D a;{a})
(ADJP (ADJ thin;{thin}))
(IP-PPL (VVN;__ walled;{wall}))
(IP-PPL (VBD;__ closed;{close})
(RP off;{off}))
(NLYR (NLYR (ADJP (ADJ round;{round}))
(N end;{end})
(N tube;{tube}))
(CONJP (CONJ or;{or})
(NLYR (N probe;{probe}))))
(IP-PPL (VAG;__ fitting;{fit})
(ADVP-NIM (ADV vertically;{vertically}))
(PP-NIM (P-ROLE into;{into})
(NP (D the;{the})
(N sodium;{sodium})
(N coolant;{coolant})
(N circuit;{circuit})
(N B)))))))))
(PUNC .))
(ID 53_a_lob_j01))