60_a_lob_j01
Evaporation of sodium from the pool C is minimised by a close fitting cylindrical block of electrolyte J attached to the <plus>ve nickel conductor by nickel circlips.

%3 r_0060_0001__Evaporation Evaporation r_0060_0003__sodium sodium r_0060_0001__Evaporation->r_0060_0003__sodium of r_0060_0005__the_r_0060_0006__pool_r_0060_0007__C the pool C r_0060_0001__Evaporation->r_0060_0005__the_r_0060_0006__pool_r_0060_0007__C from r_0060_0008__is is r_0060_0009__minimised minimised r_0060_0008__is->r_0060_0009__minimised [scope] r_0060_0009__minimised->r_0060_0001__Evaporation [arg1] r_0060_0011__a_r_0060_0015__block a block r_0060_0009__minimised->r_0060_0011__a_r_0060_0015__block [arg0] r_0060_0012__close close r_0060_0011__a_r_0060_0015__block->r_0060_0012__close [attrib] r_0060_0013__fitting fitting r_0060_0011__a_r_0060_0015__block->r_0060_0013__fitting [attrib] r_0060_0014__cylindrical cylindrical r_0060_0011__a_r_0060_0015__block->r_0060_0014__cylindrical [attrib] r_0060_0017__electrolyte_r_0060_0018__J electrolyte J r_0060_0011__a_r_0060_0015__block->r_0060_0017__electrolyte_r_0060_0018__J of r_0060_0019__attached attached r_0060_0019__attached->r_0060_0011__a_r_0060_0015__block [arg1] r_0060_0021__the_r_0060_0023__nickel_r_0060_0024__conductor the nickel conductor r_0060_0019__attached->r_0060_0021__the_r_0060_0023__nickel_r_0060_0024__conductor to [clr] r_0060_0026__nickel_r_0060_0027__circlips nickel circlips r_0060_0019__attached->r_0060_0026__nickel_r_0060_0027__circlips [arg0] r_0060_0022___plus_ve plus ve r_0060_0021__the_r_0060_0023__nickel_r_0060_0024__conductor->r_0060_0022___plus_ve [attrib]
arc(r_0060_0001__Evaporation, r_0060_0003__sodium, r_0060_0002__of).
arc(r_0060_0001__Evaporation, r_0060_0005__the_r_0060_0006__pool_r_0060_0007__C, r_0060_0004__from).
arc(r_0060_0008__is, r_0060_0009__minimised, scope).
arc(r_0060_0009__minimised, r_0060_0001__Evaporation, arg1).
arc(r_0060_0009__minimised, r_0060_0011__a_r_0060_0015__block, arg0).
arc(r_0060_0011__a_r_0060_0015__block, r_0060_0012__close, attrib32).
arc(r_0060_0011__a_r_0060_0015__block, r_0060_0013__fitting, attrib35).
arc(r_0060_0011__a_r_0060_0015__block, r_0060_0014__cylindrical, attrib38).
arc(r_0060_0011__a_r_0060_0015__block, r_0060_0017__electrolyte_r_0060_0018__J, r_0060_0016__of).
arc(r_0060_0019__attached, r_0060_0011__a_r_0060_0015__block, arg1).
arc(r_0060_0019__attached, r_0060_0021__the_r_0060_0023__nickel_r_0060_0024__conductor, r_0060_0020__to_clr57).
arc(r_0060_0019__attached, r_0060_0026__nickel_r_0060_0027__circlips, arg0).
arc(r_0060_0021__the_r_0060_0023__nickel_r_0060_0024__conductor, r_0060_0022___plus_ve, attrib60).



%3 r_0060_0021__the_r_0060_0023__nickel_r_0060_0024__conductor the nickel conductor r_0060_0022___plus_ve plus ve r_0060_0021__the_r_0060_0023__nickel_r_0060_0024__conductor->r_0060_0022___plus_ve [attrib] r_0060_0019__attached attached r_0060_0019__attached->r_0060_0021__the_r_0060_0023__nickel_r_0060_0024__conductor to [clr] r_0060_0026__nickel_r_0060_0027__circlips nickel circlips r_0060_0019__attached->r_0060_0026__nickel_r_0060_0027__circlips [arg0] r_0060_0011__a_r_0060_0015__block a block r_0060_0019__attached->r_0060_0011__a_r_0060_0015__block [arg1] r_0060_0017__electrolyte_r_0060_0018__J electrolyte J r_0060_0011__a_r_0060_0015__block->r_0060_0017__electrolyte_r_0060_0018__J of r_0060_0014__cylindrical cylindrical r_0060_0011__a_r_0060_0015__block->r_0060_0014__cylindrical [attrib] r_0060_0013__fitting fitting r_0060_0011__a_r_0060_0015__block->r_0060_0013__fitting [attrib] r_0060_0012__close close r_0060_0011__a_r_0060_0015__block->r_0060_0012__close [attrib] r_0060_0008__is_r_0060_0009__minimised is minimised r_0060_0008__is_r_0060_0009__minimised->r_0060_0011__a_r_0060_0015__block [arg0] r_0060_0001__Evaporation Evaporation r_0060_0008__is_r_0060_0009__minimised->r_0060_0001__Evaporation [arg1] r_0060_0005__the_r_0060_0006__pool_r_0060_0007__C the pool C r_0060_0001__Evaporation->r_0060_0005__the_r_0060_0006__pool_r_0060_0007__C from r_0060_0003__sodium sodium r_0060_0001__Evaporation->r_0060_0003__sodium of
fof(formula,axiom,
    ? [R_60_8_IS_MINIMISED,R_60_1_EVAPORATION,R_60_3_SODIUM,R_60_5_THE_POOL_C,R_60_19_ATTACHED,R_60_26_NICKEL_CIRCLIPS,R_60_11_A_BLOCK,R_60_12_CLOSE,R_60_13_FITTING,R_60_14_CYLINDRICAL,R_60_17_ELECTROLYTE_J,R_60_21_THE_NICKEL_CONDUCTOR,R_60_22__PLUS_VE] :
      ( sodium(R_60_3_SODIUM)
      & the_pool_C(R_60_5_THE_POOL_C)
      & nickel_circlips(R_60_26_NICKEL_CIRCLIPS)
      & close(R_60_12_CLOSE)
      & fitting(R_60_13_FITTING)
      & cylindrical(R_60_14_CYLINDRICAL)
      & electrolyte_J(R_60_17_ELECTROLYTE_J)
      & _plus_ve(R_60_22__PLUS_VE)
      & is_minimised(R_60_8_IS_MINIMISED,R_60_11_A_BLOCK,R_60_1_EVAPORATION)
      & a_block(R_60_11_A_BLOCK)
      & attrib32(R_60_11_A_BLOCK,R_60_12_CLOSE)
      & attrib35(R_60_11_A_BLOCK,R_60_13_FITTING)
      & attrib38(R_60_11_A_BLOCK,R_60_14_CYLINDRICAL)
      & of(R_60_11_A_BLOCK,R_60_17_ELECTROLYTE_J)
      & evaporation(R_60_1_EVAPORATION)
      & of(R_60_1_EVAPORATION,R_60_3_SODIUM)
      & from(R_60_1_EVAPORATION,R_60_5_THE_POOL_C)
      & attached(R_60_19_ATTACHED,R_60_26_NICKEL_CIRCLIPS,R_60_11_A_BLOCK)
      & to_clr57(R_60_19_ATTACHED,R_60_21_THE_NICKEL_CONDUCTOR)
      & the_nickel_conductor(R_60_21_THE_NICKEL_CONDUCTOR)
      & attrib60(R_60_21_THE_NICKEL_CONDUCTOR,R_60_22__PLUS_VE) ) ).



n60_a_lob_j01 n60_a_lob_j01__1_1_1_1 Evaporation n60_a_lob_j01__1_1_2_1_1 of n60_a_lob_j01__1_1_2_2_1_1 sodium n60_a_lob_j01__1_1_3_1_1 from n60_a_lob_j01__1_1_3_2_1_1 the n60_a_lob_j01__1_1_3_2_2_1 pool n60_a_lob_j01__1_1_3_2_3_1 C n60_a_lob_j01__1_2_1 is n60_a_lob_j01__1_3_1_1 minimised n60_a_lob_j01__1_3_2_1_1 by n60_a_lob_j01__1_3_2_2_1_1 a n60_a_lob_j01__1_3_2_2_2_1_1 close n60_a_lob_j01__1_3_2_2_3_1_1 fitting n60_a_lob_j01__1_3_2_2_4_1_1 cylindrical n60_a_lob_j01__1_3_2_2_5_1 block n60_a_lob_j01__1_3_2_2_6_1_1 of n60_a_lob_j01__1_3_2_2_6_2_1_1 electrolyte n60_a_lob_j01__1_3_2_2_6_2_2_1 J n60_a_lob_j01__1_3_2_2_7_1_1 attached n60_a_lob_j01__1_3_2_2_7_2_1_1 to n60_a_lob_j01__1_3_2_2_7_2_2_1_1 the n60_a_lob_j01__1_3_2_2_7_2_2_2_1_1 <plus>ve n60_a_lob_j01__1_3_2_2_7_2_2_3_1 nickel n60_a_lob_j01__1_3_2_2_7_2_2_4_1 conductor n60_a_lob_j01__1_3_2_2_7_3_1_1 by n60_a_lob_j01__1_3_2_2_7_3_2_1_1 nickel n60_a_lob_j01__1_3_2_2_7_3_2_2_1 circlips n60_a_lob_j01__1_4_1 . n60_a_lob_j01__1 IP-MAT n60_a_lob_j01__1_1 NP-SBJ n60_a_lob_j01__1->n60_a_lob_j01__1_1 n60_a_lob_j01__1_2 BEP;_cat_VePASS_ n60_a_lob_j01__1->n60_a_lob_j01__1_2 n60_a_lob_j01__1_3 IP-PPL-CAT n60_a_lob_j01__1->n60_a_lob_j01__1_3 n60_a_lob_j01__1_4 PUNC n60_a_lob_j01__1->n60_a_lob_j01__1_4 n60_a_lob_j01__1_1_1 N n60_a_lob_j01__1_1->n60_a_lob_j01__1_1_1 n60_a_lob_j01__1_1_2 PP n60_a_lob_j01__1_1->n60_a_lob_j01__1_1_2 n60_a_lob_j01__1_1_3 PP n60_a_lob_j01__1_1->n60_a_lob_j01__1_1_3 n60_a_lob_j01__1_1_1->n60_a_lob_j01__1_1_1_1 n60_a_lob_j01__1_1_2_1 P-ROLE n60_a_lob_j01__1_1_2->n60_a_lob_j01__1_1_2_1 n60_a_lob_j01__1_1_2_2 NP n60_a_lob_j01__1_1_2->n60_a_lob_j01__1_1_2_2 n60_a_lob_j01__1_1_2_1->n60_a_lob_j01__1_1_2_1_1 n60_a_lob_j01__1_1_2_2_1 N n60_a_lob_j01__1_1_2_2->n60_a_lob_j01__1_1_2_2_1 n60_a_lob_j01__1_1_2_2_1->n60_a_lob_j01__1_1_2_2_1_1 n60_a_lob_j01__1_1_3_1 P-ROLE n60_a_lob_j01__1_1_3->n60_a_lob_j01__1_1_3_1 n60_a_lob_j01__1_1_3_2 NP n60_a_lob_j01__1_1_3->n60_a_lob_j01__1_1_3_2 n60_a_lob_j01__1_1_3_1->n60_a_lob_j01__1_1_3_1_1 n60_a_lob_j01__1_1_3_2_1 D n60_a_lob_j01__1_1_3_2->n60_a_lob_j01__1_1_3_2_1 n60_a_lob_j01__1_1_3_2_2 N n60_a_lob_j01__1_1_3_2->n60_a_lob_j01__1_1_3_2_2 n60_a_lob_j01__1_1_3_2_3 N n60_a_lob_j01__1_1_3_2->n60_a_lob_j01__1_1_3_2_3 n60_a_lob_j01__1_1_3_2_1->n60_a_lob_j01__1_1_3_2_1_1 n60_a_lob_j01__1_1_3_2_2->n60_a_lob_j01__1_1_3_2_2_1 n60_a_lob_j01__1_1_3_2_3->n60_a_lob_j01__1_1_3_2_3_1 n60_a_lob_j01__1_2->n60_a_lob_j01__1_2_1 n60_a_lob_j01__1_3_1 VVN;__ n60_a_lob_j01__1_3->n60_a_lob_j01__1_3_1 n60_a_lob_j01__1_3_2 PP-LGS n60_a_lob_j01__1_3->n60_a_lob_j01__1_3_2 n60_a_lob_j01__1_3_1->n60_a_lob_j01__1_3_1_1 n60_a_lob_j01__1_3_2_1 P-ROLE;_lgs_ n60_a_lob_j01__1_3_2->n60_a_lob_j01__1_3_2_1 n60_a_lob_j01__1_3_2_2 NP n60_a_lob_j01__1_3_2->n60_a_lob_j01__1_3_2_2 n60_a_lob_j01__1_3_2_1->n60_a_lob_j01__1_3_2_1_1 n60_a_lob_j01__1_3_2_2_1 D n60_a_lob_j01__1_3_2_2->n60_a_lob_j01__1_3_2_2_1 n60_a_lob_j01__1_3_2_2_2 ADJP n60_a_lob_j01__1_3_2_2->n60_a_lob_j01__1_3_2_2_2 n60_a_lob_j01__1_3_2_2_3 ADJP n60_a_lob_j01__1_3_2_2->n60_a_lob_j01__1_3_2_2_3 n60_a_lob_j01__1_3_2_2_4 ADJP n60_a_lob_j01__1_3_2_2->n60_a_lob_j01__1_3_2_2_4 n60_a_lob_j01__1_3_2_2_5 N n60_a_lob_j01__1_3_2_2->n60_a_lob_j01__1_3_2_2_5 n60_a_lob_j01__1_3_2_2_6 PP n60_a_lob_j01__1_3_2_2->n60_a_lob_j01__1_3_2_2_6 n60_a_lob_j01__1_3_2_2_7 IP-PPL n60_a_lob_j01__1_3_2_2->n60_a_lob_j01__1_3_2_2_7 n60_a_lob_j01__1_3_2_2_1->n60_a_lob_j01__1_3_2_2_1_1 n60_a_lob_j01__1_3_2_2_2_1 ADJ n60_a_lob_j01__1_3_2_2_2->n60_a_lob_j01__1_3_2_2_2_1 n60_a_lob_j01__1_3_2_2_2_1->n60_a_lob_j01__1_3_2_2_2_1_1 n60_a_lob_j01__1_3_2_2_3_1 ADJ n60_a_lob_j01__1_3_2_2_3->n60_a_lob_j01__1_3_2_2_3_1 n60_a_lob_j01__1_3_2_2_3_1->n60_a_lob_j01__1_3_2_2_3_1_1 n60_a_lob_j01__1_3_2_2_4_1 ADJ n60_a_lob_j01__1_3_2_2_4->n60_a_lob_j01__1_3_2_2_4_1 n60_a_lob_j01__1_3_2_2_4_1->n60_a_lob_j01__1_3_2_2_4_1_1 n60_a_lob_j01__1_3_2_2_5->n60_a_lob_j01__1_3_2_2_5_1 n60_a_lob_j01__1_3_2_2_6_1 P-ROLE n60_a_lob_j01__1_3_2_2_6->n60_a_lob_j01__1_3_2_2_6_1 n60_a_lob_j01__1_3_2_2_6_2 NP n60_a_lob_j01__1_3_2_2_6->n60_a_lob_j01__1_3_2_2_6_2 n60_a_lob_j01__1_3_2_2_6_1->n60_a_lob_j01__1_3_2_2_6_1_1 n60_a_lob_j01__1_3_2_2_6_2_1 N n60_a_lob_j01__1_3_2_2_6_2->n60_a_lob_j01__1_3_2_2_6_2_1 n60_a_lob_j01__1_3_2_2_6_2_2 N n60_a_lob_j01__1_3_2_2_6_2->n60_a_lob_j01__1_3_2_2_6_2_2 n60_a_lob_j01__1_3_2_2_6_2_1->n60_a_lob_j01__1_3_2_2_6_2_1_1 n60_a_lob_j01__1_3_2_2_6_2_2->n60_a_lob_j01__1_3_2_2_6_2_2_1 n60_a_lob_j01__1_3_2_2_7_1 VVN;__ n60_a_lob_j01__1_3_2_2_7->n60_a_lob_j01__1_3_2_2_7_1 n60_a_lob_j01__1_3_2_2_7_2 PP-CLR n60_a_lob_j01__1_3_2_2_7->n60_a_lob_j01__1_3_2_2_7_2 n60_a_lob_j01__1_3_2_2_7_3 PP-LGS n60_a_lob_j01__1_3_2_2_7->n60_a_lob_j01__1_3_2_2_7_3 n60_a_lob_j01__1_3_2_2_7_1->n60_a_lob_j01__1_3_2_2_7_1_1 n60_a_lob_j01__1_3_2_2_7_2_1 P-ROLE n60_a_lob_j01__1_3_2_2_7_2->n60_a_lob_j01__1_3_2_2_7_2_1 n60_a_lob_j01__1_3_2_2_7_2_2 NP n60_a_lob_j01__1_3_2_2_7_2->n60_a_lob_j01__1_3_2_2_7_2_2 n60_a_lob_j01__1_3_2_2_7_2_1->n60_a_lob_j01__1_3_2_2_7_2_1_1 n60_a_lob_j01__1_3_2_2_7_2_2_1 D n60_a_lob_j01__1_3_2_2_7_2_2->n60_a_lob_j01__1_3_2_2_7_2_2_1 n60_a_lob_j01__1_3_2_2_7_2_2_2 ADJP n60_a_lob_j01__1_3_2_2_7_2_2->n60_a_lob_j01__1_3_2_2_7_2_2_2 n60_a_lob_j01__1_3_2_2_7_2_2_3 N n60_a_lob_j01__1_3_2_2_7_2_2->n60_a_lob_j01__1_3_2_2_7_2_2_3 n60_a_lob_j01__1_3_2_2_7_2_2_4 N n60_a_lob_j01__1_3_2_2_7_2_2->n60_a_lob_j01__1_3_2_2_7_2_2_4 n60_a_lob_j01__1_3_2_2_7_2_2_1->n60_a_lob_j01__1_3_2_2_7_2_2_1_1 n60_a_lob_j01__1_3_2_2_7_2_2_2_1 ADJ n60_a_lob_j01__1_3_2_2_7_2_2_2->n60_a_lob_j01__1_3_2_2_7_2_2_2_1 n60_a_lob_j01__1_3_2_2_7_2_2_2_1->n60_a_lob_j01__1_3_2_2_7_2_2_2_1_1 n60_a_lob_j01__1_3_2_2_7_2_2_3->n60_a_lob_j01__1_3_2_2_7_2_2_3_1 n60_a_lob_j01__1_3_2_2_7_2_2_4->n60_a_lob_j01__1_3_2_2_7_2_2_4_1 n60_a_lob_j01__1_3_2_2_7_3_1 P-ROLE;_lgs_ n60_a_lob_j01__1_3_2_2_7_3->n60_a_lob_j01__1_3_2_2_7_3_1 n60_a_lob_j01__1_3_2_2_7_3_2 NP n60_a_lob_j01__1_3_2_2_7_3->n60_a_lob_j01__1_3_2_2_7_3_2 n60_a_lob_j01__1_3_2_2_7_3_1->n60_a_lob_j01__1_3_2_2_7_3_1_1 n60_a_lob_j01__1_3_2_2_7_3_2_1 N n60_a_lob_j01__1_3_2_2_7_3_2->n60_a_lob_j01__1_3_2_2_7_3_2_1 n60_a_lob_j01__1_3_2_2_7_3_2_2 NS n60_a_lob_j01__1_3_2_2_7_3_2->n60_a_lob_j01__1_3_2_2_7_3_2_2 n60_a_lob_j01__1_3_2_2_7_3_2_1->n60_a_lob_j01__1_3_2_2_7_3_2_1_1 n60_a_lob_j01__1_3_2_2_7_3_2_2->n60_a_lob_j01__1_3_2_2_7_3_2_2_1 n60_a_lob_j01__1_4->n60_a_lob_j01__1_4_1
( (IP-MAT (NP-SBJ (N Evaporation;{evaporation})
                  (PP (P-ROLE of;{of})
                      (NP (N sodium;{sodium})))
                  (PP (P-ROLE from;{from})
                      (NP (D the;{the})
                          (N pool;{pool})
                          (N C))))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT (VVN;__ minimised;{minimise})
                      (PP-LGS (P-ROLE;_lgs_ by;{by})
                              (NP (D a;{a})
                                  (ADJP (ADJ close;{close}))
                                  (ADJP (ADJ fitting;{fitting}))
                                  (ADJP (ADJ cylindrical;{cylindrical}))
                                  (N block;{block})
                                  (PP (P-ROLE of;{of})
                                      (NP (N electrolyte;{electrolyte})
                                          (N J)))
                                  (IP-PPL (VVN;__ attached;{attach})
                                          (PP-CLR (P-ROLE to;{to})
                                                  (NP (D the;{the})
                                                      (ADJP (ADJ <plus>ve))
                                                      (N nickel;{nickel})
                                                      (N conductor;{conductor})))
                                          (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                  (NP (N nickel;{nickel})
                                                      (NS circlips;{circlips})))))))
          (PUNC .))
  (ID 60_a_lob_j01))