Context                Previous, Next                Top


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.

%3 r_0059_0001__The_r_0059_0003__end The end r_0059_0002__open open r_0059_0001__The_r_0059_0003__end->r_0059_0002__open [attrib] r_0059_0005__the_r_0059_0006__probe the probe r_0059_0001__The_r_0059_0003__end->r_0059_0005__the_r_0059_0006__probe of r_0059_0007__is is r_0059_0008__sealed sealed r_0059_0007__is->r_0059_0008__sealed [scope] r_0059_0008__sealed->r_0059_0001__The_r_0059_0003__end [arg1] r_0059_0010__a_r_0059_0011__vacuum_r_0059_0012__coupling_r_0059_0013__H a vacuum coupling H r_0059_0008__sealed->r_0059_0010__a_r_0059_0011__vacuum_r_0059_0012__coupling_r_0059_0013__H with [nim] z_000_59_a_lob_j01_21 r_0059_0008__sealed->z_000_59_a_lob_j01_21 [arg0] r_0059_0016__positions positions r_0059_0016__positions->r_0059_0010__a_r_0059_0011__vacuum_r_0059_0012__coupling_r_0059_0013__H [arg0] r_0059_0015__also also r_0059_0016__positions->r_0059_0015__also [nim] r_0059_0017__the_r_0059_0019__nickel_r_0059_0020__conductor the nickel conductor r_0059_0016__positions->r_0059_0017__the_r_0059_0019__nickel_r_0059_0020__conductor [arg1] r_0059_0027__circlips circlips r_0059_0016__positions->r_0059_0027__circlips by [nim] r_0059_0018___plus_ve plus ve r_0059_0017__the_r_0059_0019__nickel_r_0059_0020__conductor->r_0059_0018___plus_ve [attrib] r_0059_0022__respect respect r_0059_0017__the_r_0059_0019__nickel_r_0059_0020__conductor->r_0059_0022__respect with r_0059_0030__side side r_0059_0027__circlips->r_0059_0030__side on r_0059_0024__the_r_0059_0025__sodium the sodium r_0059_0022__respect->r_0059_0024__the_r_0059_0025__sodium to r_0059_0032__the_r_0059_0033__seal_r_0059_0034__I the seal I r_0059_0030__side->r_0059_0032__the_r_0059_0033__seal_r_0059_0034__I of r_0059_0029__either_quant either [quant] r_0059_0029__either_quant->r_0059_0027__circlips [scope] r_0059_0029__either_quant->r_0059_0030__side [restriction] 
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).


%3 r_0059_0001__The_r_0059_0003__end The end r_0059_0002__open open r_0059_0001__The_r_0059_0003__end->r_0059_0002__open [attrib] r_0059_0005__the_r_0059_0006__probe the probe r_0059_0001__The_r_0059_0003__end->r_0059_0005__the_r_0059_0006__probe of r_0059_0007__is_r_0059_0008__sealed is sealed r_0059_0007__is_r_0059_0008__sealed->r_0059_0001__The_r_0059_0003__end [arg1] r_0059_0010__a_r_0059_0011__vacuum_r_0059_0012__coupling_r_0059_0013__H a vacuum coupling H r_0059_0007__is_r_0059_0008__sealed->r_0059_0010__a_r_0059_0011__vacuum_r_0059_0012__coupling_r_0059_0013__H with [nim] z_000_59_a_lob_j01_21 r_0059_0007__is_r_0059_0008__sealed->z_000_59_a_lob_j01_21 [arg0] r_0059_0016__positions positions r_0059_0016__positions->r_0059_0010__a_r_0059_0011__vacuum_r_0059_0012__coupling_r_0059_0013__H [arg0] r_0059_0015__also also r_0059_0016__positions->r_0059_0015__also [nim] r_0059_0017__the_r_0059_0019__nickel_r_0059_0020__conductor the nickel conductor r_0059_0016__positions->r_0059_0017__the_r_0059_0019__nickel_r_0059_0020__conductor [arg1] r_0059_0027__circlips circlips r_0059_0016__positions->r_0059_0027__circlips by [nim] r_0059_0018___plus_ve plus ve r_0059_0017__the_r_0059_0019__nickel_r_0059_0020__conductor->r_0059_0018___plus_ve [attrib] r_0059_0022__respect respect r_0059_0017__the_r_0059_0019__nickel_r_0059_0020__conductor->r_0059_0022__respect with r_0059_0030__side side r_0059_0027__circlips->r_0059_0030__side on r_0059_0024__the_r_0059_0025__sodium the sodium r_0059_0022__respect->r_0059_0024__the_r_0059_0025__sodium to r_0059_0032__the_r_0059_0033__seal_r_0059_0034__I the seal I r_0059_0030__side->r_0059_0032__the_r_0059_0033__seal_r_0059_0034__I of r_0059_0029__either_quant either [quant] r_0059_0029__either_quant->r_0059_0016__positions [scope] r_0059_0029__either_quant->r_0059_0030__side [restriction] 
fof(formula,axiom,
    ? [R_59_7_IS_SEALED,Z_59_A_LOB_J01_21,R_59_1_THE_END,R_59_2_OPEN,R_59_5_THE_PROBE,R_59_10_A_VACUUM_COUPLING_H] :
      ( open(R_59_2_OPEN)
      & the_probe(R_59_5_THE_PROBE)
      & a_vacuum_coupling_H(R_59_10_A_VACUUM_COUPLING_H)
      & is_sealed(R_59_7_IS_SEALED,Z_59_A_LOB_J01_21,R_59_1_THE_END)
      & the_end(R_59_1_THE_END)
      & attrib5(R_59_1_THE_END,R_59_2_OPEN)
      & of(R_59_1_THE_END,R_59_5_THE_PROBE)
      & with_nim28(R_59_7_IS_SEALED,R_59_10_A_VACUUM_COUPLING_H)
      & ! [R_59_30_SIDE,R_59_32_THE_SEAL_I] :
          ( ( the_seal_I(R_59_32_THE_SEAL_I)
            & side(R_59_30_SIDE)
            & of(R_59_30_SIDE,R_59_32_THE_SEAL_I) )
         => ? [R_59_16_POSITIONS,R_59_17_THE_NICKEL_CONDUCTOR,R_59_18__PLUS_VE,R_59_22_RESPECT,R_59_24_THE_SODIUM,R_59_15_ALSO,R_59_27_CIRCLIPS] :
              ( _plus_ve(R_59_18__PLUS_VE)
              & the_sodium(R_59_24_THE_SODIUM)
              & also(R_59_15_ALSO)
              & positions(R_59_16_POSITIONS,R_59_10_A_VACUUM_COUPLING_H,R_59_17_THE_NICKEL_CONDUCTOR)
              & the_nickel_conductor(R_59_17_THE_NICKEL_CONDUCTOR)
              & attrib49(R_59_17_THE_NICKEL_CONDUCTOR,R_59_18__PLUS_VE)
              & with(R_59_17_THE_NICKEL_CONDUCTOR,R_59_22_RESPECT)
              & respect(R_59_22_RESPECT)
              & to(R_59_22_RESPECT,R_59_24_THE_SODIUM)
              & nim41(R_59_16_POSITIONS,R_59_15_ALSO)
              & by_nim73(R_59_16_POSITIONS,R_59_27_CIRCLIPS)
              & circlips(R_59_27_CIRCLIPS)
              & on(R_59_27_CIRCLIPS,R_59_30_SIDE) ) ) ) ).


n59_a_lob_j01 n59_a_lob_j01_4 The n59_a_lob_j01_7 open n59_a_lob_j01_9 end n59_a_lob_j01_12 of n59_a_lob_j01_15 the n59_a_lob_j01_17 probe n59_a_lob_j01_19 is n59_a_lob_j01_22 * n59_a_lob_j01_24 sealed n59_a_lob_j01_27 with n59_a_lob_j01_30 a n59_a_lob_j01_32 vacuum n59_a_lob_j01_34 coupling n59_a_lob_j01_36 H n59_a_lob_j01_40 which n59_a_lob_j01_43 also n59_a_lob_j01_45 positions n59_a_lob_j01_48 the n59_a_lob_j01_51 <plus>ve n59_a_lob_j01_53 nickel n59_a_lob_j01_55 conductor n59_a_lob_j01_58 with n59_a_lob_j01_61 respect n59_a_lob_j01_64 to n59_a_lob_j01_67 the n59_a_lob_j01_69 sodium n59_a_lob_j01_72 by n59_a_lob_j01_75 circlips n59_a_lob_j01_78 on n59_a_lob_j01_81 either n59_a_lob_j01_83 side n59_a_lob_j01_86 of n59_a_lob_j01_89 the n59_a_lob_j01_91 seal n59_a_lob_j01_93 I n59_a_lob_j01_95 . n59_a_lob_j01_1 IP-MAT n59_a_lob_j01_2 NP-SBJ n59_a_lob_j01_1->n59_a_lob_j01_2 n59_a_lob_j01_18 BEP;_cat_VePASS_ n59_a_lob_j01_1->n59_a_lob_j01_18 n59_a_lob_j01_20 IP-PPL-CAT n59_a_lob_j01_1->n59_a_lob_j01_20 n59_a_lob_j01_94 PUNC n59_a_lob_j01_1->n59_a_lob_j01_94 n59_a_lob_j01_3 D n59_a_lob_j01_2->n59_a_lob_j01_3 n59_a_lob_j01_5 ADJP n59_a_lob_j01_2->n59_a_lob_j01_5 n59_a_lob_j01_8 N n59_a_lob_j01_2->n59_a_lob_j01_8 n59_a_lob_j01_10 PP n59_a_lob_j01_2->n59_a_lob_j01_10 n59_a_lob_j01_3->n59_a_lob_j01_4 n59_a_lob_j01_6 ADJ n59_a_lob_j01_5->n59_a_lob_j01_6 n59_a_lob_j01_6->n59_a_lob_j01_7 n59_a_lob_j01_8->n59_a_lob_j01_9 n59_a_lob_j01_11 P-ROLE n59_a_lob_j01_10->n59_a_lob_j01_11 n59_a_lob_j01_13 NP n59_a_lob_j01_10->n59_a_lob_j01_13 n59_a_lob_j01_11->n59_a_lob_j01_12 n59_a_lob_j01_14 D n59_a_lob_j01_13->n59_a_lob_j01_14 n59_a_lob_j01_16 N n59_a_lob_j01_13->n59_a_lob_j01_16 n59_a_lob_j01_14->n59_a_lob_j01_15 n59_a_lob_j01_16->n59_a_lob_j01_17 n59_a_lob_j01_18->n59_a_lob_j01_19 n59_a_lob_j01_21 NP-LGS n59_a_lob_j01_20->n59_a_lob_j01_21 n59_a_lob_j01_23 VVN;__ n59_a_lob_j01_20->n59_a_lob_j01_23 n59_a_lob_j01_25 PP-NIM n59_a_lob_j01_20->n59_a_lob_j01_25 n59_a_lob_j01_21->n59_a_lob_j01_22 n59_a_lob_j01_23->n59_a_lob_j01_24 n59_a_lob_j01_26 P-ROLE n59_a_lob_j01_25->n59_a_lob_j01_26 n59_a_lob_j01_28 NP n59_a_lob_j01_25->n59_a_lob_j01_28 n59_a_lob_j01_26->n59_a_lob_j01_27 n59_a_lob_j01_29 D n59_a_lob_j01_28->n59_a_lob_j01_29 n59_a_lob_j01_31 N n59_a_lob_j01_28->n59_a_lob_j01_31 n59_a_lob_j01_33 N n59_a_lob_j01_28->n59_a_lob_j01_33 n59_a_lob_j01_35 N n59_a_lob_j01_28->n59_a_lob_j01_35 n59_a_lob_j01_37 IP-REL n59_a_lob_j01_28->n59_a_lob_j01_37 n59_a_lob_j01_29->n59_a_lob_j01_30 n59_a_lob_j01_31->n59_a_lob_j01_32 n59_a_lob_j01_33->n59_a_lob_j01_34 n59_a_lob_j01_35->n59_a_lob_j01_36 n59_a_lob_j01_38 NP-SBJ n59_a_lob_j01_37->n59_a_lob_j01_38 n59_a_lob_j01_41 ADVP-NIM n59_a_lob_j01_37->n59_a_lob_j01_41 n59_a_lob_j01_44 VBP;__ n59_a_lob_j01_37->n59_a_lob_j01_44 n59_a_lob_j01_46 NP-OB1 n59_a_lob_j01_37->n59_a_lob_j01_46 n59_a_lob_j01_70 PP-NIM n59_a_lob_j01_37->n59_a_lob_j01_70 n59_a_lob_j01_39 RPRO n59_a_lob_j01_38->n59_a_lob_j01_39 n59_a_lob_j01_39->n59_a_lob_j01_40 n59_a_lob_j01_42 ADV n59_a_lob_j01_41->n59_a_lob_j01_42 n59_a_lob_j01_42->n59_a_lob_j01_43 n59_a_lob_j01_44->n59_a_lob_j01_45 n59_a_lob_j01_47 D n59_a_lob_j01_46->n59_a_lob_j01_47 n59_a_lob_j01_49 ADJP n59_a_lob_j01_46->n59_a_lob_j01_49 n59_a_lob_j01_52 N n59_a_lob_j01_46->n59_a_lob_j01_52 n59_a_lob_j01_54 N n59_a_lob_j01_46->n59_a_lob_j01_54 n59_a_lob_j01_56 PP n59_a_lob_j01_46->n59_a_lob_j01_56 n59_a_lob_j01_47->n59_a_lob_j01_48 n59_a_lob_j01_50 ADJ n59_a_lob_j01_49->n59_a_lob_j01_50 n59_a_lob_j01_50->n59_a_lob_j01_51 n59_a_lob_j01_52->n59_a_lob_j01_53 n59_a_lob_j01_54->n59_a_lob_j01_55 n59_a_lob_j01_57 P-ROLE n59_a_lob_j01_56->n59_a_lob_j01_57 n59_a_lob_j01_59 NP n59_a_lob_j01_56->n59_a_lob_j01_59 n59_a_lob_j01_57->n59_a_lob_j01_58 n59_a_lob_j01_60 N n59_a_lob_j01_59->n59_a_lob_j01_60 n59_a_lob_j01_62 PP n59_a_lob_j01_59->n59_a_lob_j01_62 n59_a_lob_j01_60->n59_a_lob_j01_61 n59_a_lob_j01_63 P-ROLE n59_a_lob_j01_62->n59_a_lob_j01_63 n59_a_lob_j01_65 NP n59_a_lob_j01_62->n59_a_lob_j01_65 n59_a_lob_j01_63->n59_a_lob_j01_64 n59_a_lob_j01_66 D n59_a_lob_j01_65->n59_a_lob_j01_66 n59_a_lob_j01_68 N n59_a_lob_j01_65->n59_a_lob_j01_68 n59_a_lob_j01_66->n59_a_lob_j01_67 n59_a_lob_j01_68->n59_a_lob_j01_69 n59_a_lob_j01_71 P-ROLE n59_a_lob_j01_70->n59_a_lob_j01_71 n59_a_lob_j01_73 NP n59_a_lob_j01_70->n59_a_lob_j01_73 n59_a_lob_j01_71->n59_a_lob_j01_72 n59_a_lob_j01_74 NS n59_a_lob_j01_73->n59_a_lob_j01_74 n59_a_lob_j01_76 PP n59_a_lob_j01_73->n59_a_lob_j01_76 n59_a_lob_j01_74->n59_a_lob_j01_75 n59_a_lob_j01_77 P-ROLE n59_a_lob_j01_76->n59_a_lob_j01_77 n59_a_lob_j01_79 NP n59_a_lob_j01_76->n59_a_lob_j01_79 n59_a_lob_j01_77->n59_a_lob_j01_78 n59_a_lob_j01_80 Q n59_a_lob_j01_79->n59_a_lob_j01_80 n59_a_lob_j01_82 N n59_a_lob_j01_79->n59_a_lob_j01_82 n59_a_lob_j01_84 PP n59_a_lob_j01_79->n59_a_lob_j01_84 n59_a_lob_j01_80->n59_a_lob_j01_81 n59_a_lob_j01_82->n59_a_lob_j01_83 n59_a_lob_j01_85 P-ROLE n59_a_lob_j01_84->n59_a_lob_j01_85 n59_a_lob_j01_87 NP n59_a_lob_j01_84->n59_a_lob_j01_87 n59_a_lob_j01_85->n59_a_lob_j01_86 n59_a_lob_j01_88 D n59_a_lob_j01_87->n59_a_lob_j01_88 n59_a_lob_j01_90 N n59_a_lob_j01_87->n59_a_lob_j01_90 n59_a_lob_j01_92 N n59_a_lob_j01_87->n59_a_lob_j01_92 n59_a_lob_j01_88->n59_a_lob_j01_89 n59_a_lob_j01_90->n59_a_lob_j01_91 n59_a_lob_j01_92->n59_a_lob_j01_93 n59_a_lob_j01_94->n59_a_lob_j01_95 
( (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))