Context                Previous, Next                Top


58_a_lob_j01
The probe extends out of the sodium stream through a close fitting thin walled T-junction F and passes into the open via a water-cooled O ring seal G.

%3 r_0058_0003__extends_r_0058_0004__out extends out r_0058_0001__The_r_0058_0002__probe The probe r_0058_0003__extends_r_0058_0004__out->r_0058_0001__The_r_0058_0002__probe [arg0] r_0058_0006__the_r_0058_0007__sodium_r_0058_0008__stream the sodium stream r_0058_0003__extends_r_0058_0004__out->r_0058_0006__the_r_0058_0007__sodium_r_0058_0008__stream of [nim] r_0058_0010__a_r_0058_0015__T__hyphen__junction_r_0058_0016__F a T-junction F r_0058_0003__extends_r_0058_0004__out->r_0058_0010__a_r_0058_0015__T__hyphen__junction_r_0058_0016__F through [nim] r_0058_0011__close close r_0058_0010__a_r_0058_0015__T__hyphen__junction_r_0058_0016__F->r_0058_0011__close [attrib] r_0058_0012__fitting fitting r_0058_0010__a_r_0058_0015__T__hyphen__junction_r_0058_0016__F->r_0058_0012__fitting [attrib] r_0058_0013__thin thin r_0058_0010__a_r_0058_0015__T__hyphen__junction_r_0058_0016__F->r_0058_0013__thin [attrib] r_0058_0014__walled walled r_0058_0010__a_r_0058_0015__T__hyphen__junction_r_0058_0016__F->r_0058_0014__walled [attrib] r_0058_0017__and and r_0058_0017__and->r_0058_0003__extends_r_0058_0004__out [conj1] r_0058_0018__passes passes r_0058_0017__and->r_0058_0018__passes [conj2] r_0058_0018__passes->r_0058_0001__The_r_0058_0002__probe [arg0] r_0058_0020__the_r_0058_0021__open the open r_0058_0018__passes->r_0058_0020__the_r_0058_0021__open into [nim] r_0058_0023__a_r_0058_0025__O_r_0058_0026__ring_r_0058_0027__seal_r_0058_0028__G a O ring seal G r_0058_0018__passes->r_0058_0023__a_r_0058_0025__O_r_0058_0026__ring_r_0058_0027__seal_r_0058_0028__G via [nim] r_0058_0024__water__hyphen__cooled water-cooled r_0058_0023__a_r_0058_0025__O_r_0058_0026__ring_r_0058_0027__seal_r_0058_0028__G->r_0058_0024__water__hyphen__cooled [attrib] 
arc(r_0058_0003__extends_r_0058_0004__out, r_0058_0001__The_r_0058_0002__probe, arg0).
arc(r_0058_0003__extends_r_0058_0004__out, r_0058_0006__the_r_0058_0007__sodium_r_0058_0008__stream, r_0058_0005__of_nim16).
arc(r_0058_0003__extends_r_0058_0004__out, r_0058_0010__a_r_0058_0015__T__hyphen__junction_r_0058_0016__F, r_0058_0009__through_nim26).
arc(r_0058_0010__a_r_0058_0015__T__hyphen__junction_r_0058_0016__F, r_0058_0011__close, attrib29).
arc(r_0058_0010__a_r_0058_0015__T__hyphen__junction_r_0058_0016__F, r_0058_0012__fitting, attrib32).
arc(r_0058_0010__a_r_0058_0015__T__hyphen__junction_r_0058_0016__F, r_0058_0013__thin, attrib35).
arc(r_0058_0010__a_r_0058_0015__T__hyphen__junction_r_0058_0016__F, r_0058_0014__walled, attrib38).
arc(r_0058_0017__and, r_0058_0003__extends_r_0058_0004__out, conj1).
arc(r_0058_0017__and, r_0058_0018__passes, conj2).
arc(r_0058_0018__passes, r_0058_0001__The_r_0058_0002__probe, arg0).
arc(r_0058_0018__passes, r_0058_0020__the_r_0058_0021__open, r_0058_0019__into_nim54).
arc(r_0058_0018__passes, r_0058_0023__a_r_0058_0025__O_r_0058_0026__ring_r_0058_0027__seal_r_0058_0028__G, r_0058_0022__via_nim62).
arc(r_0058_0023__a_r_0058_0025__O_r_0058_0026__ring_r_0058_0027__seal_r_0058_0028__G, r_0058_0024__water__hyphen__cooled, attrib65).


%3 r_0058_0003__extends_r_0058_0004__out extends out r_0058_0001__The_r_0058_0002__probe The probe r_0058_0003__extends_r_0058_0004__out->r_0058_0001__The_r_0058_0002__probe [arg0] r_0058_0006__the_r_0058_0007__sodium_r_0058_0008__stream the sodium stream r_0058_0003__extends_r_0058_0004__out->r_0058_0006__the_r_0058_0007__sodium_r_0058_0008__stream of [nim] r_0058_0010__a_r_0058_0015__T__hyphen__junction_r_0058_0016__F a T-junction F r_0058_0003__extends_r_0058_0004__out->r_0058_0010__a_r_0058_0015__T__hyphen__junction_r_0058_0016__F through [nim] r_0058_0011__close close r_0058_0010__a_r_0058_0015__T__hyphen__junction_r_0058_0016__F->r_0058_0011__close [attrib] r_0058_0012__fitting fitting r_0058_0010__a_r_0058_0015__T__hyphen__junction_r_0058_0016__F->r_0058_0012__fitting [attrib] r_0058_0013__thin thin r_0058_0010__a_r_0058_0015__T__hyphen__junction_r_0058_0016__F->r_0058_0013__thin [attrib] r_0058_0014__walled walled r_0058_0010__a_r_0058_0015__T__hyphen__junction_r_0058_0016__F->r_0058_0014__walled [attrib] r_0058_0017__and and r_0058_0017__and->r_0058_0003__extends_r_0058_0004__out [conj1] r_0058_0018__passes passes r_0058_0017__and->r_0058_0018__passes [conj2] r_0058_0018__passes->r_0058_0001__The_r_0058_0002__probe [arg0] r_0058_0020__the_r_0058_0021__open the open r_0058_0018__passes->r_0058_0020__the_r_0058_0021__open into [nim] r_0058_0023__a_r_0058_0025__O_r_0058_0026__ring_r_0058_0027__seal_r_0058_0028__G a O ring seal G r_0058_0018__passes->r_0058_0023__a_r_0058_0025__O_r_0058_0026__ring_r_0058_0027__seal_r_0058_0028__G via [nim] r_0058_0024__water__hyphen__cooled water-cooled r_0058_0023__a_r_0058_0025__O_r_0058_0026__ring_r_0058_0027__seal_r_0058_0028__G->r_0058_0024__water__hyphen__cooled [attrib] 
fof(formula,axiom,
    ? [R_58_17_AND,R_58_3_EXTENDS_OUT,R_58_6_THE_SODIUM_STREAM,R_58_10_A_T_HYPHEN_JUNCTION_F,R_58_11_CLOSE,R_58_12_FITTING,R_58_13_THIN,R_58_14_WALLED,R_58_18_PASSES,R_58_1_THE_PROBE,R_58_20_THE_OPEN,R_58_23_A_O_RING_SEAL_G,R_58_24_WATER_HYPHEN_COOLED] :
      ( the_sodium_stream(R_58_6_THE_SODIUM_STREAM)
      & close(R_58_11_CLOSE)
      & fitting(R_58_12_FITTING)
      & thin(R_58_13_THIN)
      & walled(R_58_14_WALLED)
      & the_probe(R_58_1_THE_PROBE)
      & the_open(R_58_20_THE_OPEN)
      & water_hyphen_cooled(R_58_24_WATER_HYPHEN_COOLED)
      & and(R_58_17_AND)
      & conj1(R_58_17_AND,R_58_3_EXTENDS_OUT)
      & extends_out(R_58_3_EXTENDS_OUT,R_58_1_THE_PROBE)
      & of_nim16(R_58_3_EXTENDS_OUT,R_58_6_THE_SODIUM_STREAM)
      & through_nim26(R_58_3_EXTENDS_OUT,R_58_10_A_T_HYPHEN_JUNCTION_F)
      & a_T_hyphen_junction_F(R_58_10_A_T_HYPHEN_JUNCTION_F)
      & attrib29(R_58_10_A_T_HYPHEN_JUNCTION_F,R_58_11_CLOSE)
      & attrib32(R_58_10_A_T_HYPHEN_JUNCTION_F,R_58_12_FITTING)
      & attrib35(R_58_10_A_T_HYPHEN_JUNCTION_F,R_58_13_THIN)
      & attrib38(R_58_10_A_T_HYPHEN_JUNCTION_F,R_58_14_WALLED)
      & conj2(R_58_17_AND,R_58_18_PASSES)
      & passes(R_58_18_PASSES,R_58_1_THE_PROBE)
      & into_nim54(R_58_18_PASSES,R_58_20_THE_OPEN)
      & via_nim62(R_58_18_PASSES,R_58_23_A_O_RING_SEAL_G)
      & a_O_ring_seal_G(R_58_23_A_O_RING_SEAL_G)
      & attrib65(R_58_23_A_O_RING_SEAL_G,R_58_24_WATER_HYPHEN_COOLED) ) ).


n58_a_lob_j01 n58_a_lob_j01_4 The n58_a_lob_j01_6 probe n58_a_lob_j01_10 extends n58_a_lob_j01_12 out n58_a_lob_j01_15 of n58_a_lob_j01_18 the n58_a_lob_j01_20 sodium n58_a_lob_j01_22 stream n58_a_lob_j01_25 through n58_a_lob_j01_28 a n58_a_lob_j01_31 close n58_a_lob_j01_34 fitting n58_a_lob_j01_37 thin n58_a_lob_j01_40 walled n58_a_lob_j01_42 T-junction n58_a_lob_j01_44 F n58_a_lob_j01_47 and n58_a_lob_j01_50 passes n58_a_lob_j01_53 into n58_a_lob_j01_56 the n58_a_lob_j01_58 open n58_a_lob_j01_61 via n58_a_lob_j01_64 a n58_a_lob_j01_67 water-cooled n58_a_lob_j01_69 O n58_a_lob_j01_71 ring n58_a_lob_j01_73 seal n58_a_lob_j01_75 G n58_a_lob_j01_77 . n58_a_lob_j01_1 IP-MAT n58_a_lob_j01_2 NP-SBJ n58_a_lob_j01_1->n58_a_lob_j01_2 n58_a_lob_j01_7 ILYR n58_a_lob_j01_1->n58_a_lob_j01_7 n58_a_lob_j01_76 PUNC n58_a_lob_j01_1->n58_a_lob_j01_76 n58_a_lob_j01_3 D n58_a_lob_j01_2->n58_a_lob_j01_3 n58_a_lob_j01_5 N n58_a_lob_j01_2->n58_a_lob_j01_5 n58_a_lob_j01_3->n58_a_lob_j01_4 n58_a_lob_j01_5->n58_a_lob_j01_6 n58_a_lob_j01_8 ILYR n58_a_lob_j01_7->n58_a_lob_j01_8 n58_a_lob_j01_45 CONJP n58_a_lob_j01_7->n58_a_lob_j01_45 n58_a_lob_j01_9 VBP;__ n58_a_lob_j01_8->n58_a_lob_j01_9 n58_a_lob_j01_11 RP n58_a_lob_j01_8->n58_a_lob_j01_11 n58_a_lob_j01_13 PP-NIM n58_a_lob_j01_8->n58_a_lob_j01_13 n58_a_lob_j01_23 PP-NIM n58_a_lob_j01_8->n58_a_lob_j01_23 n58_a_lob_j01_9->n58_a_lob_j01_10 n58_a_lob_j01_11->n58_a_lob_j01_12 n58_a_lob_j01_14 P-ROLE n58_a_lob_j01_13->n58_a_lob_j01_14 n58_a_lob_j01_16 NP n58_a_lob_j01_13->n58_a_lob_j01_16 n58_a_lob_j01_14->n58_a_lob_j01_15 n58_a_lob_j01_17 D n58_a_lob_j01_16->n58_a_lob_j01_17 n58_a_lob_j01_19 N n58_a_lob_j01_16->n58_a_lob_j01_19 n58_a_lob_j01_21 N n58_a_lob_j01_16->n58_a_lob_j01_21 n58_a_lob_j01_17->n58_a_lob_j01_18 n58_a_lob_j01_19->n58_a_lob_j01_20 n58_a_lob_j01_21->n58_a_lob_j01_22 n58_a_lob_j01_24 P-ROLE n58_a_lob_j01_23->n58_a_lob_j01_24 n58_a_lob_j01_26 NP n58_a_lob_j01_23->n58_a_lob_j01_26 n58_a_lob_j01_24->n58_a_lob_j01_25 n58_a_lob_j01_27 D n58_a_lob_j01_26->n58_a_lob_j01_27 n58_a_lob_j01_29 ADJP n58_a_lob_j01_26->n58_a_lob_j01_29 n58_a_lob_j01_32 ADJP n58_a_lob_j01_26->n58_a_lob_j01_32 n58_a_lob_j01_35 ADJP n58_a_lob_j01_26->n58_a_lob_j01_35 n58_a_lob_j01_38 ADJP n58_a_lob_j01_26->n58_a_lob_j01_38 n58_a_lob_j01_41 N n58_a_lob_j01_26->n58_a_lob_j01_41 n58_a_lob_j01_43 N n58_a_lob_j01_26->n58_a_lob_j01_43 n58_a_lob_j01_27->n58_a_lob_j01_28 n58_a_lob_j01_30 ADJ n58_a_lob_j01_29->n58_a_lob_j01_30 n58_a_lob_j01_30->n58_a_lob_j01_31 n58_a_lob_j01_33 ADJ n58_a_lob_j01_32->n58_a_lob_j01_33 n58_a_lob_j01_33->n58_a_lob_j01_34 n58_a_lob_j01_36 ADJ n58_a_lob_j01_35->n58_a_lob_j01_36 n58_a_lob_j01_36->n58_a_lob_j01_37 n58_a_lob_j01_39 ADJ n58_a_lob_j01_38->n58_a_lob_j01_39 n58_a_lob_j01_39->n58_a_lob_j01_40 n58_a_lob_j01_41->n58_a_lob_j01_42 n58_a_lob_j01_43->n58_a_lob_j01_44 n58_a_lob_j01_46 CONJ n58_a_lob_j01_45->n58_a_lob_j01_46 n58_a_lob_j01_48 ILYR n58_a_lob_j01_45->n58_a_lob_j01_48 n58_a_lob_j01_46->n58_a_lob_j01_47 n58_a_lob_j01_49 VBP;__ n58_a_lob_j01_48->n58_a_lob_j01_49 n58_a_lob_j01_51 PP-NIM n58_a_lob_j01_48->n58_a_lob_j01_51 n58_a_lob_j01_59 PP-NIM n58_a_lob_j01_48->n58_a_lob_j01_59 n58_a_lob_j01_49->n58_a_lob_j01_50 n58_a_lob_j01_52 P-ROLE n58_a_lob_j01_51->n58_a_lob_j01_52 n58_a_lob_j01_54 NP n58_a_lob_j01_51->n58_a_lob_j01_54 n58_a_lob_j01_52->n58_a_lob_j01_53 n58_a_lob_j01_55 D n58_a_lob_j01_54->n58_a_lob_j01_55 n58_a_lob_j01_57 N n58_a_lob_j01_54->n58_a_lob_j01_57 n58_a_lob_j01_55->n58_a_lob_j01_56 n58_a_lob_j01_57->n58_a_lob_j01_58 n58_a_lob_j01_60 P-ROLE n58_a_lob_j01_59->n58_a_lob_j01_60 n58_a_lob_j01_62 NP n58_a_lob_j01_59->n58_a_lob_j01_62 n58_a_lob_j01_60->n58_a_lob_j01_61 n58_a_lob_j01_63 D n58_a_lob_j01_62->n58_a_lob_j01_63 n58_a_lob_j01_65 ADJP n58_a_lob_j01_62->n58_a_lob_j01_65 n58_a_lob_j01_68 N n58_a_lob_j01_62->n58_a_lob_j01_68 n58_a_lob_j01_70 N n58_a_lob_j01_62->n58_a_lob_j01_70 n58_a_lob_j01_72 N n58_a_lob_j01_62->n58_a_lob_j01_72 n58_a_lob_j01_74 N n58_a_lob_j01_62->n58_a_lob_j01_74 n58_a_lob_j01_63->n58_a_lob_j01_64 n58_a_lob_j01_66 ADJ n58_a_lob_j01_65->n58_a_lob_j01_66 n58_a_lob_j01_66->n58_a_lob_j01_67 n58_a_lob_j01_68->n58_a_lob_j01_69 n58_a_lob_j01_70->n58_a_lob_j01_71 n58_a_lob_j01_72->n58_a_lob_j01_73 n58_a_lob_j01_74->n58_a_lob_j01_75 n58_a_lob_j01_76->n58_a_lob_j01_77 
( (IP-MAT (NP-SBJ (D The;{the})
                  (N probe;{probe}))
          (ILYR (ILYR (VBP;__ extends;{extend})
                      (RP out;{out})
                      (PP-NIM (P-ROLE of;{of})
                              (NP (D the;{the})
                                  (N sodium;{sodium})
                                  (N stream;{stream})))
                      (PP-NIM (P-ROLE through;{through})
                              (NP (D a;{a})
                                  (ADJP (ADJ close;{close}))
                                  (ADJP (ADJ fitting;{fitting}))
                                  (ADJP (ADJ thin;{thin}))
                                  (ADJP (ADJ walled;{walled}))
                                  (N T_<hyphen>_junction;{t_junction})
                                  (N F))))
                (CONJP (CONJ and;{and})
                       (ILYR (VBP;__ passes;{pass})
                             (PP-NIM (P-ROLE into;{into})
                                     (NP (D the;{the})
                                         (N open;{open})))
                             (PP-NIM (P-ROLE via;{via})
                                     (NP (D a;{a})
                                         (ADJP (ADJ water_<hyphen>_cooled;{water_cooled}))
                                         (N O)
                                         (N ring;{ring})
                                         (N seal;{seal})
                                         (N G))))))
          (PUNC .))
  (ID 58_a_lob_j01))