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_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_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] r_0058_0018__passes passes 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_0020__the_r_0058_0021__open the open r_0058_0018__passes->r_0058_0020__the_r_0058_0021__open into [nim] r_0058_0001__The_r_0058_0002__probe The probe r_0058_0018__passes->r_0058_0001__The_r_0058_0002__probe [arg0] r_0058_0017__and and r_0058_0017__and->r_0058_0018__passes [conj2] r_0058_0003__extends_r_0058_0004__out extends out r_0058_0017__and->r_0058_0003__extends_r_0058_0004__out [conj1] r_0058_0003__extends_r_0058_0004__out->r_0058_0001__The_r_0058_0002__probe [arg0] 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_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_0014__walled walled r_0058_0010__a_r_0058_0015__T__hyphen__junction_r_0058_0016__F->r_0058_0014__walled [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_0012__fitting fitting r_0058_0010__a_r_0058_0015__T__hyphen__junction_r_0058_0016__F->r_0058_0012__fitting [attrib] r_0058_0011__close close r_0058_0010__a_r_0058_0015__T__hyphen__junction_r_0058_0016__F->r_0058_0011__close [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__1_1_1_1 The n58_a_lob_j01__1_1_2_1 probe n58_a_lob_j01__1_2_1_1_1 extends n58_a_lob_j01__1_2_1_2_1 out n58_a_lob_j01__1_2_1_3_1_1 of n58_a_lob_j01__1_2_1_3_2_1_1 the n58_a_lob_j01__1_2_1_3_2_2_1 sodium n58_a_lob_j01__1_2_1_3_2_3_1 stream n58_a_lob_j01__1_2_1_4_1_1 through n58_a_lob_j01__1_2_1_4_2_1_1 a n58_a_lob_j01__1_2_1_4_2_2_1_1 close n58_a_lob_j01__1_2_1_4_2_3_1_1 fitting n58_a_lob_j01__1_2_1_4_2_4_1_1 thin n58_a_lob_j01__1_2_1_4_2_5_1_1 walled n58_a_lob_j01__1_2_1_4_2_6_1 T-junction n58_a_lob_j01__1_2_1_4_2_7_1 F n58_a_lob_j01__1_2_2_1_1 and n58_a_lob_j01__1_2_2_2_1_1 passes n58_a_lob_j01__1_2_2_2_2_1_1 into n58_a_lob_j01__1_2_2_2_2_2_1_1 the n58_a_lob_j01__1_2_2_2_2_2_2_1 open n58_a_lob_j01__1_2_2_2_3_1_1 via n58_a_lob_j01__1_2_2_2_3_2_1_1 a n58_a_lob_j01__1_2_2_2_3_2_2_1_1 water-cooled n58_a_lob_j01__1_2_2_2_3_2_3_1 O n58_a_lob_j01__1_2_2_2_3_2_4_1 ring n58_a_lob_j01__1_2_2_2_3_2_5_1 seal n58_a_lob_j01__1_2_2_2_3_2_6_1 G n58_a_lob_j01__1_3_1 . n58_a_lob_j01__1 IP-MAT n58_a_lob_j01__1_1 NP-SBJ n58_a_lob_j01__1->n58_a_lob_j01__1_1 n58_a_lob_j01__1_2 ILYR n58_a_lob_j01__1->n58_a_lob_j01__1_2 n58_a_lob_j01__1_3 PUNC n58_a_lob_j01__1->n58_a_lob_j01__1_3 n58_a_lob_j01__1_1_1 D n58_a_lob_j01__1_1->n58_a_lob_j01__1_1_1 n58_a_lob_j01__1_1_2 N n58_a_lob_j01__1_1->n58_a_lob_j01__1_1_2 n58_a_lob_j01__1_1_1->n58_a_lob_j01__1_1_1_1 n58_a_lob_j01__1_1_2->n58_a_lob_j01__1_1_2_1 n58_a_lob_j01__1_2_1 ILYR n58_a_lob_j01__1_2->n58_a_lob_j01__1_2_1 n58_a_lob_j01__1_2_2 CONJP n58_a_lob_j01__1_2->n58_a_lob_j01__1_2_2 n58_a_lob_j01__1_2_1_1 VBP;__ n58_a_lob_j01__1_2_1->n58_a_lob_j01__1_2_1_1 n58_a_lob_j01__1_2_1_2 RP n58_a_lob_j01__1_2_1->n58_a_lob_j01__1_2_1_2 n58_a_lob_j01__1_2_1_3 PP-NIM n58_a_lob_j01__1_2_1->n58_a_lob_j01__1_2_1_3 n58_a_lob_j01__1_2_1_4 PP-NIM n58_a_lob_j01__1_2_1->n58_a_lob_j01__1_2_1_4 n58_a_lob_j01__1_2_1_1->n58_a_lob_j01__1_2_1_1_1 n58_a_lob_j01__1_2_1_2->n58_a_lob_j01__1_2_1_2_1 n58_a_lob_j01__1_2_1_3_1 P-ROLE n58_a_lob_j01__1_2_1_3->n58_a_lob_j01__1_2_1_3_1 n58_a_lob_j01__1_2_1_3_2 NP n58_a_lob_j01__1_2_1_3->n58_a_lob_j01__1_2_1_3_2 n58_a_lob_j01__1_2_1_3_1->n58_a_lob_j01__1_2_1_3_1_1 n58_a_lob_j01__1_2_1_3_2_1 D n58_a_lob_j01__1_2_1_3_2->n58_a_lob_j01__1_2_1_3_2_1 n58_a_lob_j01__1_2_1_3_2_2 N n58_a_lob_j01__1_2_1_3_2->n58_a_lob_j01__1_2_1_3_2_2 n58_a_lob_j01__1_2_1_3_2_3 N n58_a_lob_j01__1_2_1_3_2->n58_a_lob_j01__1_2_1_3_2_3 n58_a_lob_j01__1_2_1_3_2_1->n58_a_lob_j01__1_2_1_3_2_1_1 n58_a_lob_j01__1_2_1_3_2_2->n58_a_lob_j01__1_2_1_3_2_2_1 n58_a_lob_j01__1_2_1_3_2_3->n58_a_lob_j01__1_2_1_3_2_3_1 n58_a_lob_j01__1_2_1_4_1 P-ROLE n58_a_lob_j01__1_2_1_4->n58_a_lob_j01__1_2_1_4_1 n58_a_lob_j01__1_2_1_4_2 NP n58_a_lob_j01__1_2_1_4->n58_a_lob_j01__1_2_1_4_2 n58_a_lob_j01__1_2_1_4_1->n58_a_lob_j01__1_2_1_4_1_1 n58_a_lob_j01__1_2_1_4_2_1 D n58_a_lob_j01__1_2_1_4_2->n58_a_lob_j01__1_2_1_4_2_1 n58_a_lob_j01__1_2_1_4_2_2 ADJP n58_a_lob_j01__1_2_1_4_2->n58_a_lob_j01__1_2_1_4_2_2 n58_a_lob_j01__1_2_1_4_2_3 ADJP n58_a_lob_j01__1_2_1_4_2->n58_a_lob_j01__1_2_1_4_2_3 n58_a_lob_j01__1_2_1_4_2_4 ADJP n58_a_lob_j01__1_2_1_4_2->n58_a_lob_j01__1_2_1_4_2_4 n58_a_lob_j01__1_2_1_4_2_5 ADJP n58_a_lob_j01__1_2_1_4_2->n58_a_lob_j01__1_2_1_4_2_5 n58_a_lob_j01__1_2_1_4_2_6 N n58_a_lob_j01__1_2_1_4_2->n58_a_lob_j01__1_2_1_4_2_6 n58_a_lob_j01__1_2_1_4_2_7 N n58_a_lob_j01__1_2_1_4_2->n58_a_lob_j01__1_2_1_4_2_7 n58_a_lob_j01__1_2_1_4_2_1->n58_a_lob_j01__1_2_1_4_2_1_1 n58_a_lob_j01__1_2_1_4_2_2_1 ADJ n58_a_lob_j01__1_2_1_4_2_2->n58_a_lob_j01__1_2_1_4_2_2_1 n58_a_lob_j01__1_2_1_4_2_2_1->n58_a_lob_j01__1_2_1_4_2_2_1_1 n58_a_lob_j01__1_2_1_4_2_3_1 ADJ n58_a_lob_j01__1_2_1_4_2_3->n58_a_lob_j01__1_2_1_4_2_3_1 n58_a_lob_j01__1_2_1_4_2_3_1->n58_a_lob_j01__1_2_1_4_2_3_1_1 n58_a_lob_j01__1_2_1_4_2_4_1 ADJ n58_a_lob_j01__1_2_1_4_2_4->n58_a_lob_j01__1_2_1_4_2_4_1 n58_a_lob_j01__1_2_1_4_2_4_1->n58_a_lob_j01__1_2_1_4_2_4_1_1 n58_a_lob_j01__1_2_1_4_2_5_1 ADJ n58_a_lob_j01__1_2_1_4_2_5->n58_a_lob_j01__1_2_1_4_2_5_1 n58_a_lob_j01__1_2_1_4_2_5_1->n58_a_lob_j01__1_2_1_4_2_5_1_1 n58_a_lob_j01__1_2_1_4_2_6->n58_a_lob_j01__1_2_1_4_2_6_1 n58_a_lob_j01__1_2_1_4_2_7->n58_a_lob_j01__1_2_1_4_2_7_1 n58_a_lob_j01__1_2_2_1 CONJ n58_a_lob_j01__1_2_2->n58_a_lob_j01__1_2_2_1 n58_a_lob_j01__1_2_2_2 ILYR n58_a_lob_j01__1_2_2->n58_a_lob_j01__1_2_2_2 n58_a_lob_j01__1_2_2_1->n58_a_lob_j01__1_2_2_1_1 n58_a_lob_j01__1_2_2_2_1 VBP;__ n58_a_lob_j01__1_2_2_2->n58_a_lob_j01__1_2_2_2_1 n58_a_lob_j01__1_2_2_2_2 PP-NIM n58_a_lob_j01__1_2_2_2->n58_a_lob_j01__1_2_2_2_2 n58_a_lob_j01__1_2_2_2_3 PP-NIM n58_a_lob_j01__1_2_2_2->n58_a_lob_j01__1_2_2_2_3 n58_a_lob_j01__1_2_2_2_1->n58_a_lob_j01__1_2_2_2_1_1 n58_a_lob_j01__1_2_2_2_2_1 P-ROLE n58_a_lob_j01__1_2_2_2_2->n58_a_lob_j01__1_2_2_2_2_1 n58_a_lob_j01__1_2_2_2_2_2 NP n58_a_lob_j01__1_2_2_2_2->n58_a_lob_j01__1_2_2_2_2_2 n58_a_lob_j01__1_2_2_2_2_1->n58_a_lob_j01__1_2_2_2_2_1_1 n58_a_lob_j01__1_2_2_2_2_2_1 D n58_a_lob_j01__1_2_2_2_2_2->n58_a_lob_j01__1_2_2_2_2_2_1 n58_a_lob_j01__1_2_2_2_2_2_2 N n58_a_lob_j01__1_2_2_2_2_2->n58_a_lob_j01__1_2_2_2_2_2_2 n58_a_lob_j01__1_2_2_2_2_2_1->n58_a_lob_j01__1_2_2_2_2_2_1_1 n58_a_lob_j01__1_2_2_2_2_2_2->n58_a_lob_j01__1_2_2_2_2_2_2_1 n58_a_lob_j01__1_2_2_2_3_1 P-ROLE n58_a_lob_j01__1_2_2_2_3->n58_a_lob_j01__1_2_2_2_3_1 n58_a_lob_j01__1_2_2_2_3_2 NP n58_a_lob_j01__1_2_2_2_3->n58_a_lob_j01__1_2_2_2_3_2 n58_a_lob_j01__1_2_2_2_3_1->n58_a_lob_j01__1_2_2_2_3_1_1 n58_a_lob_j01__1_2_2_2_3_2_1 D n58_a_lob_j01__1_2_2_2_3_2->n58_a_lob_j01__1_2_2_2_3_2_1 n58_a_lob_j01__1_2_2_2_3_2_2 ADJP n58_a_lob_j01__1_2_2_2_3_2->n58_a_lob_j01__1_2_2_2_3_2_2 n58_a_lob_j01__1_2_2_2_3_2_3 N n58_a_lob_j01__1_2_2_2_3_2->n58_a_lob_j01__1_2_2_2_3_2_3 n58_a_lob_j01__1_2_2_2_3_2_4 N n58_a_lob_j01__1_2_2_2_3_2->n58_a_lob_j01__1_2_2_2_3_2_4 n58_a_lob_j01__1_2_2_2_3_2_5 N n58_a_lob_j01__1_2_2_2_3_2->n58_a_lob_j01__1_2_2_2_3_2_5 n58_a_lob_j01__1_2_2_2_3_2_6 N n58_a_lob_j01__1_2_2_2_3_2->n58_a_lob_j01__1_2_2_2_3_2_6 n58_a_lob_j01__1_2_2_2_3_2_1->n58_a_lob_j01__1_2_2_2_3_2_1_1 n58_a_lob_j01__1_2_2_2_3_2_2_1 ADJ n58_a_lob_j01__1_2_2_2_3_2_2->n58_a_lob_j01__1_2_2_2_3_2_2_1 n58_a_lob_j01__1_2_2_2_3_2_2_1->n58_a_lob_j01__1_2_2_2_3_2_2_1_1 n58_a_lob_j01__1_2_2_2_3_2_3->n58_a_lob_j01__1_2_2_2_3_2_3_1 n58_a_lob_j01__1_2_2_2_3_2_4->n58_a_lob_j01__1_2_2_2_3_2_4_1 n58_a_lob_j01__1_2_2_2_3_2_5->n58_a_lob_j01__1_2_2_2_3_2_5_1 n58_a_lob_j01__1_2_2_2_3_2_6->n58_a_lob_j01__1_2_2_2_3_2_6_1 n58_a_lob_j01__1_3->n58_a_lob_j01__1_3_1 
( (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))