TSPC 59_a_lob

59_a_lob_j01
The open end of the probe is sealed with a vacuum coupling H which also positions the <plus>ve nickel conductor with respect to the sodium by circlips on either side of the seal I.

arc(r_0059_0001__The_r_0059_0003__end, r_0059_0002__open, attrib5).
arc(r_0059_0001__The_r_0059_0003__end, r_0059_0005__the_r_0059_0006__probe, r_0059_0004__of).
arc(r_0059_0007__is, r_0059_0008__sealed, scope).
arc(r_0059_0008__sealed, r_0059_0001__The_r_0059_0003__end, arg1).
arc(r_0059_0008__sealed, r_0059_0010__a_r_0059_0011__vacuum_r_0059_0012__coupling_r_0059_0013__H, r_0059_0009__with_nim28).
arc(r_0059_0008__sealed, z_000_59_a_lob_j01_21, arg0).
arc(r_0059_0016__positions, r_0059_0010__a_r_0059_0011__vacuum_r_0059_0012__coupling_r_0059_0013__H, arg0).
arc(r_0059_0016__positions, r_0059_0015__also, nim41).
arc(r_0059_0016__positions, r_0059_0017__the_r_0059_0019__nickel_r_0059_0020__conductor, arg1).
arc(r_0059_0016__positions, r_0059_0027__circlips, r_0059_0026__by_nim73).
arc(r_0059_0017__the_r_0059_0019__nickel_r_0059_0020__conductor, r_0059_0018___plus_ve, attrib49).
arc(r_0059_0017__the_r_0059_0019__nickel_r_0059_0020__conductor, r_0059_0022__respect, r_0059_0021__with).
arc(r_0059_0022__respect, r_0059_0024__the_r_0059_0025__sodium, r_0059_0023__to).
arc(r_0059_0027__circlips, r_0059_0030__side, r_0059_0028__on).
arc(r_0059_0029__either_quant, r_0059_0027__circlips, scope).
arc(r_0059_0029__either_quant, r_0059_0030__side, restriction).
arc(r_0059_0030__side, r_0059_0032__the_r_0059_0033__seal_r_0059_0034__I, r_0059_0031__of).

fof(formula,axiom,
    ? [R_0059_0002__OPEN,R_0059_0005__THE_R_0059_0006__PROBE,R_0059_0001__THE_R_0059_0003__END,R_0059_0010__A_R_0059_0011__VACUUM_R_0059_0012__COUPLING_R_0059_0013__H,Z_000_59_A_LOB_J01_21,R_0059_0007__IS_R_0059_0008__SEALED] :
      ( r_0059_0002__open(R_0059_0002__OPEN)
      & r_0059_0005__the_r_0059_0006__probe(R_0059_0005__THE_R_0059_0006__PROBE)
      & r_0059_0010__a_r_0059_0011__vacuum_r_0059_0012__coupling_r_0059_0013__H(R_0059_0010__A_R_0059_0011__VACUUM_R_0059_0012__COUPLING_R_0059_0013__H)
      & z_000_59_a_lob_j01_21(Z_000_59_A_LOB_J01_21)
      & ! [R_0059_0030__SIDE,R_0059_0032__THE_R_0059_0033__SEAL_R_0059_0034__I] :
          ( ( r_0059_0032__the_r_0059_0033__seal_r_0059_0034__I(R_0059_0032__THE_R_0059_0033__SEAL_R_0059_0034__I)
            & r_0059_0030__side(R_0059_0030__SIDE)
            & has_r_0059_0031__of(R_0059_0030__SIDE,R_0059_0032__THE_R_0059_0033__SEAL_R_0059_0034__I) )
         => ? [R_0059_0015__ALSO,R_0059_0018___PLUS_VE,R_0059_0024__THE_R_0059_0025__SODIUM,R_0059_0022__RESPECT,R_0059_0017__THE_R_0059_0019__NICKEL_R_0059_0020__CONDUCTOR,R_0059_0027__CIRCLIPS,R_0059_0016__POSITIONS] :
              ( r_0059_0015__also(R_0059_0015__ALSO)
              & r_0059_0018___plus_ve(R_0059_0018___PLUS_VE)
              & r_0059_0024__the_r_0059_0025__sodium(R_0059_0024__THE_R_0059_0025__SODIUM)
              & r_0059_0016__positions(R_0059_0016__POSITIONS)
              & has_r_0059_0026__by_nim73(R_0059_0016__POSITIONS,R_0059_0027__CIRCLIPS)
              & r_0059_0027__circlips(R_0059_0027__CIRCLIPS)
              & has_r_0059_0028__on(R_0059_0027__CIRCLIPS,R_0059_0030__SIDE)
              & has_arg1(R_0059_0016__POSITIONS,R_0059_0017__THE_R_0059_0019__NICKEL_R_0059_0020__CONDUCTOR)
              & r_0059_0017__the_r_0059_0019__nickel_r_0059_0020__conductor(R_0059_0017__THE_R_0059_0019__NICKEL_R_0059_0020__CONDUCTOR)
              & has_r_0059_0021__with(R_0059_0017__THE_R_0059_0019__NICKEL_R_0059_0020__CONDUCTOR,R_0059_0022__RESPECT)
              & r_0059_0022__respect(R_0059_0022__RESPECT)
              & has_r_0059_0023__to(R_0059_0022__RESPECT,R_0059_0024__THE_R_0059_0025__SODIUM)
              & has_attrib49(R_0059_0017__THE_R_0059_0019__NICKEL_R_0059_0020__CONDUCTOR,R_0059_0018___PLUS_VE)
              & has_nim41(R_0059_0016__POSITIONS,R_0059_0015__ALSO)
              & has_arg0(R_0059_0016__POSITIONS,R_0059_0010__A_R_0059_0011__VACUUM_R_0059_0012__COUPLING_R_0059_0013__H) ) )
      & r_0059_0007__is_r_0059_0008__sealed(R_0059_0007__IS_R_0059_0008__SEALED)
      & has_arg0(R_0059_0007__IS_R_0059_0008__SEALED,Z_000_59_A_LOB_J01_21)
      & has_r_0059_0009__with_nim28(R_0059_0007__IS_R_0059_0008__SEALED,R_0059_0010__A_R_0059_0011__VACUUM_R_0059_0012__COUPLING_R_0059_0013__H)
      & has_arg1(R_0059_0007__IS_R_0059_0008__SEALED,R_0059_0001__THE_R_0059_0003__END)
      & r_0059_0001__The_r_0059_0003__end(R_0059_0001__THE_R_0059_0003__END)
      & has_r_0059_0004__of(R_0059_0001__THE_R_0059_0003__END,R_0059_0005__THE_R_0059_0006__PROBE)
      & has_attrib5(R_0059_0001__THE_R_0059_0003__END,R_0059_0002__OPEN) ) ).

( (IP-MAT (NP-SBJ (D The;{the})
                  (ADJP (ADJ open;{open}))
                  (N end;{end})
                  (PP (P-ROLE of;{of})
                      (NP (D the;{the})
                          (N probe;{probe}))))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;__ sealed;{seal})
                      (PP-NIM (P-ROLE with;{with})
                              (NP (D a;{a})
                                  (N vacuum;{vacuum})
                                  (N coupling;{coupling})
                                  (N H)
                                  (IP-REL (NP-SBJ (RPRO which;{which}))
                                          (ADVP-NIM (ADV also;{also}))
                                          (VBP;__ positions;{position})
                                          (NP-OB1 (D the;{the})
                                                  (ADJP (ADJ <plus>ve))
                                                  (N nickel;{nickel})
                                                  (N conductor;{conductor})
                                                  (PP (P-ROLE with;{with})
                                                      (NP (N respect;{respect})
                                                          (PP (P-ROLE to;{to})
                                                              (NP (D the;{the})
                                                                  (N sodium;{sodium}))))))
                                          (PP-NIM (P-ROLE by;{by})
                                                  (NP (NS circlips;{circlips})
                                                      (PP (P-ROLE on;{on})
                                                          (NP (Q either;{either})
                                                              (N side;{side})
                                                              (PP (P-ROLE of;{of})
                                                                  (NP (D the;{the})
                                                                      (N seal;{seal})
                                                                      (N I;{I})))))))))))
          (PUNC .))
  (ID 59_a_lob_j01))