TSPC 60_a_lob

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.

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).

fof(formula,axiom,
    ? [R_0060_0003__SODIUM,R_0060_0005__THE_R_0060_0006__POOL_R_0060_0007__C,R_0060_0001__EVAPORATION,R_0060_0012__CLOSE,R_0060_0013__FITTING,R_0060_0014__CYLINDRICAL,R_0060_0017__ELECTROLYTE_R_0060_0018__J,R_0060_0011__A_R_0060_0015__BLOCK,R_0060_0008__IS_R_0060_0009__MINIMISED,R_0060_0022___PLUS_VE,R_0060_0021__THE_R_0060_0023__NICKEL_R_0060_0024__CONDUCTOR,R_0060_0026__NICKEL_R_0060_0027__CIRCLIPS,R_0060_0019__ATTACHED] :
      ( r_0060_0003__sodium(R_0060_0003__SODIUM)
      & r_0060_0005__the_r_0060_0006__pool_r_0060_0007__C(R_0060_0005__THE_R_0060_0006__POOL_R_0060_0007__C)
      & r_0060_0012__close(R_0060_0012__CLOSE)
      & r_0060_0013__fitting(R_0060_0013__FITTING)
      & r_0060_0014__cylindrical(R_0060_0014__CYLINDRICAL)
      & r_0060_0017__electrolyte_r_0060_0018__J(R_0060_0017__ELECTROLYTE_R_0060_0018__J)
      & r_0060_0022___plus_ve(R_0060_0022___PLUS_VE)
      & r_0060_0026__nickel_r_0060_0027__circlips(R_0060_0026__NICKEL_R_0060_0027__CIRCLIPS)
      & r_0060_0019__attached(R_0060_0019__ATTACHED)
      & has_arg0(R_0060_0019__ATTACHED,R_0060_0026__NICKEL_R_0060_0027__CIRCLIPS)
      & has_r_0060_0020__to_clr57(R_0060_0019__ATTACHED,R_0060_0021__THE_R_0060_0023__NICKEL_R_0060_0024__CONDUCTOR)
      & r_0060_0021__the_r_0060_0023__nickel_r_0060_0024__conductor(R_0060_0021__THE_R_0060_0023__NICKEL_R_0060_0024__CONDUCTOR)
      & has_attrib60(R_0060_0021__THE_R_0060_0023__NICKEL_R_0060_0024__CONDUCTOR,R_0060_0022___PLUS_VE)
      & has_arg1(R_0060_0019__ATTACHED,R_0060_0011__A_R_0060_0015__BLOCK)
      & r_0060_0011__a_r_0060_0015__block(R_0060_0011__A_R_0060_0015__BLOCK)
      & has_r_0060_0016__of(R_0060_0011__A_R_0060_0015__BLOCK,R_0060_0017__ELECTROLYTE_R_0060_0018__J)
      & has_attrib38(R_0060_0011__A_R_0060_0015__BLOCK,R_0060_0014__CYLINDRICAL)
      & has_attrib35(R_0060_0011__A_R_0060_0015__BLOCK,R_0060_0013__FITTING)
      & has_attrib32(R_0060_0011__A_R_0060_0015__BLOCK,R_0060_0012__CLOSE)
      & r_0060_0008__is_r_0060_0009__minimised(R_0060_0008__IS_R_0060_0009__MINIMISED)
      & has_arg0(R_0060_0008__IS_R_0060_0009__MINIMISED,R_0060_0011__A_R_0060_0015__BLOCK)
      & has_arg1(R_0060_0008__IS_R_0060_0009__MINIMISED,R_0060_0001__EVAPORATION)
      & r_0060_0001__Evaporation(R_0060_0001__EVAPORATION)
      & has_r_0060_0004__from(R_0060_0001__EVAPORATION,R_0060_0005__THE_R_0060_0006__POOL_R_0060_0007__C)
      & has_r_0060_0002__of(R_0060_0001__EVAPORATION,R_0060_0003__SODIUM) ) ).

( (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))