TSPC 58_a_lob

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.

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

fof(formula,axiom,
    ? [R_0058_0001__THE_R_0058_0002__PROBE,R_0058_0006__THE_R_0058_0007__SODIUM_R_0058_0008__STREAM,R_0058_0011__CLOSE,R_0058_0012__FITTING,R_0058_0013__THIN,R_0058_0014__WALLED,R_0058_0010__A_R_0058_0015__T__HYPHEN__JUNCTION_R_0058_0016__F,R_0058_0003__EXTENDS_R_0058_0004__OUT,R_0058_0020__THE_R_0058_0021__OPEN,R_0058_0024__WATER__HYPHEN__COOLED,R_0058_0023__A_R_0058_0025__O_R_0058_0026__RING_R_0058_0027__SEAL_R_0058_0028__G,R_0058_0018__PASSES,R_0058_0017__AND] :
      ( r_0058_0001__The_r_0058_0002__probe(R_0058_0001__THE_R_0058_0002__PROBE)
      & r_0058_0006__the_r_0058_0007__sodium_r_0058_0008__stream(R_0058_0006__THE_R_0058_0007__SODIUM_R_0058_0008__STREAM)
      & r_0058_0011__close(R_0058_0011__CLOSE)
      & r_0058_0012__fitting(R_0058_0012__FITTING)
      & r_0058_0013__thin(R_0058_0013__THIN)
      & r_0058_0014__walled(R_0058_0014__WALLED)
      & r_0058_0020__the_r_0058_0021__open(R_0058_0020__THE_R_0058_0021__OPEN)
      & r_0058_0024__water__hyphen__cooled(R_0058_0024__WATER__HYPHEN__COOLED)
      & r_0058_0017__and(R_0058_0017__AND)
      & has_conj2(R_0058_0017__AND,R_0058_0018__PASSES)
      & r_0058_0018__passes(R_0058_0018__PASSES)
      & has_r_0058_0022__via_nim62(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_0023__a_r_0058_0025__O_r_0058_0026__ring_r_0058_0027__seal_r_0058_0028__G(R_0058_0023__A_R_0058_0025__O_R_0058_0026__RING_R_0058_0027__SEAL_R_0058_0028__G)
      & has_attrib65(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)
      & has_r_0058_0019__into_nim54(R_0058_0018__PASSES,R_0058_0020__THE_R_0058_0021__OPEN)
      & has_arg0(R_0058_0018__PASSES,R_0058_0001__THE_R_0058_0002__PROBE)
      & has_conj1(R_0058_0017__AND,R_0058_0003__EXTENDS_R_0058_0004__OUT)
      & r_0058_0003__extends_r_0058_0004__out(R_0058_0003__EXTENDS_R_0058_0004__OUT)
      & has_r_0058_0009__through_nim26(R_0058_0003__EXTENDS_R_0058_0004__OUT,R_0058_0010__A_R_0058_0015__T__HYPHEN__JUNCTION_R_0058_0016__F)
      & r_0058_0010__a_r_0058_0015__T__hyphen__junction_r_0058_0016__F(R_0058_0010__A_R_0058_0015__T__HYPHEN__JUNCTION_R_0058_0016__F)
      & has_attrib38(R_0058_0010__A_R_0058_0015__T__HYPHEN__JUNCTION_R_0058_0016__F,R_0058_0014__WALLED)
      & has_attrib35(R_0058_0010__A_R_0058_0015__T__HYPHEN__JUNCTION_R_0058_0016__F,R_0058_0013__THIN)
      & has_attrib32(R_0058_0010__A_R_0058_0015__T__HYPHEN__JUNCTION_R_0058_0016__F,R_0058_0012__FITTING)
      & has_attrib29(R_0058_0010__A_R_0058_0015__T__HYPHEN__JUNCTION_R_0058_0016__F,R_0058_0011__CLOSE)
      & has_r_0058_0005__of_nim16(R_0058_0003__EXTENDS_R_0058_0004__OUT,R_0058_0006__THE_R_0058_0007__SODIUM_R_0058_0008__STREAM)
      & has_arg0(R_0058_0003__EXTENDS_R_0058_0004__OUT,R_0058_0001__THE_R_0058_0002__PROBE) ) ).

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