Context                Previous, Next                Top


53_a_lob_j01
The electrolyte A is made in the form of a thin walled closed off round end tube or probe fitting vertically into the sodium coolant circuit B.

%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_0004__is_r_0053_0005__made is made 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] r_0053_0007__the_r_0053_0008__form the form 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_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] 
fof(formula,axiom,
    ? [R_53_4_IS_MADE,Z_53_A_LOB_J01_12,R_53_1_THE_ELECTROLYTE_A,R_53_7_THE_FORM,R_53_12_WALLED,R_53_13_CLOSED_OFF,R_53_20_FITTING,R_53_18_OR,R_53_11_THIN,R_53_16_END_TUBE,R_53_15_ROUND,R_53_19_PROBE,R_53_21_VERTICALLY,R_53_23_THE_SODIUM_COOLANT_CIRCUIT_B] :
      ( the_electrolyte_A(R_53_1_THE_ELECTROLYTE_A)
      & thin(R_53_11_THIN)
      & round(R_53_15_ROUND)
      & probe(R_53_19_PROBE)
      & vertically(R_53_21_VERTICALLY)
      & the_sodium_coolant_circuit_B(R_53_23_THE_SODIUM_COOLANT_CIRCUIT_B)
      & is_made(R_53_4_IS_MADE,Z_53_A_LOB_J01_12,R_53_1_THE_ELECTROLYTE_A)
      & in_nim19(R_53_4_IS_MADE,R_53_7_THE_FORM)
      & the_form(R_53_7_THE_FORM)
      & of(R_53_7_THE_FORM,R_53_18_OR)
      & or(R_53_18_OR)
      & attrib30(R_53_18_OR,R_53_11_THIN)
      & conj1(R_53_18_OR,R_53_16_END_TUBE)
      & end_tube(R_53_16_END_TUBE)
      & attrib43(R_53_16_END_TUBE,R_53_15_ROUND)
      & conj2(R_53_18_OR,R_53_19_PROBE)
      & walled(R_53_12_WALLED,R_53_18_OR)
      & closed_off(R_53_13_CLOSED_OFF,R_53_18_OR)
      & fitting(R_53_20_FITTING,R_53_18_OR)
      & nim59(R_53_20_FITTING,R_53_21_VERTICALLY)
      & into_nim65(R_53_20_FITTING,R_53_23_THE_SODIUM_COOLANT_CIRCUIT_B) ) ).


n53_a_lob_j01 n53_a_lob_j01_4 The n53_a_lob_j01_6 electrolyte n53_a_lob_j01_8 A n53_a_lob_j01_10 is n53_a_lob_j01_13 * n53_a_lob_j01_15 made n53_a_lob_j01_18 in n53_a_lob_j01_21 the n53_a_lob_j01_23 form n53_a_lob_j01_26 of n53_a_lob_j01_29 a n53_a_lob_j01_32 thin n53_a_lob_j01_35 walled n53_a_lob_j01_38 closed n53_a_lob_j01_40 off n53_a_lob_j01_45 round n53_a_lob_j01_47 end n53_a_lob_j01_49 tube n53_a_lob_j01_52 or n53_a_lob_j01_55 probe n53_a_lob_j01_58 fitting n53_a_lob_j01_61 vertically n53_a_lob_j01_64 into n53_a_lob_j01_67 the n53_a_lob_j01_69 sodium n53_a_lob_j01_71 coolant n53_a_lob_j01_73 circuit n53_a_lob_j01_75 B n53_a_lob_j01_77 . n53_a_lob_j01_1 IP-MAT n53_a_lob_j01_2 NP-SBJ n53_a_lob_j01_1->n53_a_lob_j01_2 n53_a_lob_j01_9 BEP;_cat_VePASS_ n53_a_lob_j01_1->n53_a_lob_j01_9 n53_a_lob_j01_11 IP-PPL-CAT n53_a_lob_j01_1->n53_a_lob_j01_11 n53_a_lob_j01_76 PUNC n53_a_lob_j01_1->n53_a_lob_j01_76 n53_a_lob_j01_3 D n53_a_lob_j01_2->n53_a_lob_j01_3 n53_a_lob_j01_5 N n53_a_lob_j01_2->n53_a_lob_j01_5 n53_a_lob_j01_7 N n53_a_lob_j01_2->n53_a_lob_j01_7 n53_a_lob_j01_3->n53_a_lob_j01_4 n53_a_lob_j01_5->n53_a_lob_j01_6 n53_a_lob_j01_7->n53_a_lob_j01_8 n53_a_lob_j01_9->n53_a_lob_j01_10 n53_a_lob_j01_12 NP-LGS n53_a_lob_j01_11->n53_a_lob_j01_12 n53_a_lob_j01_14 VVN;_Tn_ n53_a_lob_j01_11->n53_a_lob_j01_14 n53_a_lob_j01_16 PP-NIM n53_a_lob_j01_11->n53_a_lob_j01_16 n53_a_lob_j01_12->n53_a_lob_j01_13 n53_a_lob_j01_14->n53_a_lob_j01_15 n53_a_lob_j01_17 P-ROLE n53_a_lob_j01_16->n53_a_lob_j01_17 n53_a_lob_j01_19 NP n53_a_lob_j01_16->n53_a_lob_j01_19 n53_a_lob_j01_17->n53_a_lob_j01_18 n53_a_lob_j01_20 D n53_a_lob_j01_19->n53_a_lob_j01_20 n53_a_lob_j01_22 N n53_a_lob_j01_19->n53_a_lob_j01_22 n53_a_lob_j01_24 PP n53_a_lob_j01_19->n53_a_lob_j01_24 n53_a_lob_j01_20->n53_a_lob_j01_21 n53_a_lob_j01_22->n53_a_lob_j01_23 n53_a_lob_j01_25 P-ROLE n53_a_lob_j01_24->n53_a_lob_j01_25 n53_a_lob_j01_27 NP n53_a_lob_j01_24->n53_a_lob_j01_27 n53_a_lob_j01_25->n53_a_lob_j01_26 n53_a_lob_j01_28 D n53_a_lob_j01_27->n53_a_lob_j01_28 n53_a_lob_j01_30 ADJP n53_a_lob_j01_27->n53_a_lob_j01_30 n53_a_lob_j01_33 IP-PPL n53_a_lob_j01_27->n53_a_lob_j01_33 n53_a_lob_j01_36 IP-PPL n53_a_lob_j01_27->n53_a_lob_j01_36 n53_a_lob_j01_41 NLYR n53_a_lob_j01_27->n53_a_lob_j01_41 n53_a_lob_j01_56 IP-PPL n53_a_lob_j01_27->n53_a_lob_j01_56 n53_a_lob_j01_28->n53_a_lob_j01_29 n53_a_lob_j01_31 ADJ n53_a_lob_j01_30->n53_a_lob_j01_31 n53_a_lob_j01_31->n53_a_lob_j01_32 n53_a_lob_j01_34 VVN;__ n53_a_lob_j01_33->n53_a_lob_j01_34 n53_a_lob_j01_34->n53_a_lob_j01_35 n53_a_lob_j01_37 VBD;__ n53_a_lob_j01_36->n53_a_lob_j01_37 n53_a_lob_j01_39 RP n53_a_lob_j01_36->n53_a_lob_j01_39 n53_a_lob_j01_37->n53_a_lob_j01_38 n53_a_lob_j01_39->n53_a_lob_j01_40 n53_a_lob_j01_42 NLYR n53_a_lob_j01_41->n53_a_lob_j01_42 n53_a_lob_j01_50 CONJP n53_a_lob_j01_41->n53_a_lob_j01_50 n53_a_lob_j01_43 ADJP n53_a_lob_j01_42->n53_a_lob_j01_43 n53_a_lob_j01_46 N n53_a_lob_j01_42->n53_a_lob_j01_46 n53_a_lob_j01_48 N n53_a_lob_j01_42->n53_a_lob_j01_48 n53_a_lob_j01_44 ADJ n53_a_lob_j01_43->n53_a_lob_j01_44 n53_a_lob_j01_44->n53_a_lob_j01_45 n53_a_lob_j01_46->n53_a_lob_j01_47 n53_a_lob_j01_48->n53_a_lob_j01_49 n53_a_lob_j01_51 CONJ n53_a_lob_j01_50->n53_a_lob_j01_51 n53_a_lob_j01_53 NLYR n53_a_lob_j01_50->n53_a_lob_j01_53 n53_a_lob_j01_51->n53_a_lob_j01_52 n53_a_lob_j01_54 N n53_a_lob_j01_53->n53_a_lob_j01_54 n53_a_lob_j01_54->n53_a_lob_j01_55 n53_a_lob_j01_57 VAG;__ n53_a_lob_j01_56->n53_a_lob_j01_57 n53_a_lob_j01_59 ADVP-NIM n53_a_lob_j01_56->n53_a_lob_j01_59 n53_a_lob_j01_62 PP-NIM n53_a_lob_j01_56->n53_a_lob_j01_62 n53_a_lob_j01_57->n53_a_lob_j01_58 n53_a_lob_j01_60 ADV n53_a_lob_j01_59->n53_a_lob_j01_60 n53_a_lob_j01_60->n53_a_lob_j01_61 n53_a_lob_j01_63 P-ROLE n53_a_lob_j01_62->n53_a_lob_j01_63 n53_a_lob_j01_65 NP n53_a_lob_j01_62->n53_a_lob_j01_65 n53_a_lob_j01_63->n53_a_lob_j01_64 n53_a_lob_j01_66 D n53_a_lob_j01_65->n53_a_lob_j01_66 n53_a_lob_j01_68 N n53_a_lob_j01_65->n53_a_lob_j01_68 n53_a_lob_j01_70 N n53_a_lob_j01_65->n53_a_lob_j01_70 n53_a_lob_j01_72 N n53_a_lob_j01_65->n53_a_lob_j01_72 n53_a_lob_j01_74 N n53_a_lob_j01_65->n53_a_lob_j01_74 n53_a_lob_j01_66->n53_a_lob_j01_67 n53_a_lob_j01_68->n53_a_lob_j01_69 n53_a_lob_j01_70->n53_a_lob_j01_71 n53_a_lob_j01_72->n53_a_lob_j01_73 n53_a_lob_j01_74->n53_a_lob_j01_75 n53_a_lob_j01_76->n53_a_lob_j01_77 
( (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))