Context                Previous, Next                Top


16_a_lob_j01
At the present time maximum sodium coolant temperatures are around 500 <deg> C and oxygen concentrations are usually intended to be maintained in the range 1-10 p.p.m

%3 r_0016_0002__the_r_0016_0004__time the time r_0016_0003__present present r_0016_0002__the_r_0016_0004__time->r_0016_0003__present [attrib] r_0016_0006__sodium_r_0016_0007__coolant_r_0016_0008__temperatures sodium coolant temperatures r_0016_0005__maximum maximum r_0016_0006__sodium_r_0016_0007__coolant_r_0016_0008__temperatures->r_0016_0005__maximum [attrib] r_0016_0009__are are r_0016_0009__are->r_0016_0002__the_r_0016_0004__time At [nim] r_0016_0009__are->r_0016_0006__sodium_r_0016_0007__coolant_r_0016_0008__temperatures [arg0] r_0016_0011__500_r_0016_0012___deg__r_0016_0013__C 500  deg  C r_0016_0009__are->r_0016_0011__500_r_0016_0012___deg__r_0016_0013__C [prd] r_0016_0010__around around r_0016_0011__500_r_0016_0012___deg__r_0016_0013__C->r_0016_0010__around [qual] r_0016_0014__and and r_0016_0014__and->r_0016_0009__are [conj1] r_0016_0017__are are r_0016_0014__and->r_0016_0017__are [conj2] r_0016_0017__are->r_0016_0002__the_r_0016_0004__time At [nim] r_0016_0019__intended intended r_0016_0017__are->r_0016_0019__intended [scope] r_0016_0018__usually usually r_0016_0019__intended->r_0016_0018__usually [nim] r_0016_0020__to_r_0016_0021__be to be r_0016_0019__intended->r_0016_0020__to_r_0016_0021__be [arg1] z_000_16_a_lob_j01_49 r_0016_0019__intended->z_000_16_a_lob_j01_49 [arg0] r_0016_0022__maintained maintained r_0016_0020__to_r_0016_0021__be->r_0016_0022__maintained [scope] r_0016_0015__oxygen_r_0016_0016__concentrations oxygen concentrations r_0016_0022__maintained->r_0016_0015__oxygen_r_0016_0016__concentrations [arg1] r_0016_0024__the_r_0016_0025__range the range r_0016_0022__maintained->r_0016_0024__the_r_0016_0025__range in [nim] z_000_16_a_lob_j01_62 r_0016_0022__maintained->z_000_16_a_lob_j01_62 [arg0] z_000_16_a_lob_j01_74 z_000_16_a_lob_j01_74->r_0016_0024__the_r_0016_0025__range [arg0] r_0016_0026__1__hyphen__10 1-10 z_000_16_a_lob_j01_74->r_0016_0026__1__hyphen__10 [prd] 
arc(r_0016_0002__the_r_0016_0004__time, r_0016_0003__present, attrib8).
arc(r_0016_0006__sodium_r_0016_0007__coolant_r_0016_0008__temperatures, r_0016_0005__maximum, attrib16).
arc(r_0016_0009__are, r_0016_0002__the_r_0016_0004__time, r_0016_0001__At_nim5).
arc(r_0016_0009__are, r_0016_0006__sodium_r_0016_0007__coolant_r_0016_0008__temperatures, arg0).
arc(r_0016_0009__are, r_0016_0011__500_r_0016_0012___deg__r_0016_0013__C, prd).
arc(r_0016_0011__500_r_0016_0012___deg__r_0016_0013__C, r_0016_0010__around, qual28).
arc(r_0016_0014__and, r_0016_0009__are, conj1).
arc(r_0016_0014__and, r_0016_0017__are, conj2).
arc(r_0016_0017__are, r_0016_0002__the_r_0016_0004__time, r_0016_0001__At_nim5).
arc(r_0016_0017__are, r_0016_0019__intended, scope).
arc(r_0016_0019__intended, r_0016_0018__usually, nim51).
arc(r_0016_0019__intended, r_0016_0020__to_r_0016_0021__be, arg1).
arc(r_0016_0019__intended, z_000_16_a_lob_j01_49, arg0).
arc(r_0016_0020__to_r_0016_0021__be, r_0016_0022__maintained, scope).
arc(r_0016_0022__maintained, r_0016_0015__oxygen_r_0016_0016__concentrations, arg1).
arc(r_0016_0022__maintained, r_0016_0024__the_r_0016_0025__range, r_0016_0023__in_nim69).
arc(r_0016_0022__maintained, z_000_16_a_lob_j01_62, arg0).
arc(z_000_16_a_lob_j01_74, r_0016_0024__the_r_0016_0025__range, arg0).
arc(z_000_16_a_lob_j01_74, r_0016_0026__1__hyphen__10, prd).


%3 r_0016_0002__the_r_0016_0004__time the time r_0016_0003__present present r_0016_0002__the_r_0016_0004__time->r_0016_0003__present [attrib] r_0016_0006__sodium_r_0016_0007__coolant_r_0016_0008__temperatures sodium coolant temperatures r_0016_0005__maximum maximum r_0016_0006__sodium_r_0016_0007__coolant_r_0016_0008__temperatures->r_0016_0005__maximum [attrib] r_0016_0009__are are r_0016_0009__are->r_0016_0002__the_r_0016_0004__time At [nim] r_0016_0009__are->r_0016_0006__sodium_r_0016_0007__coolant_r_0016_0008__temperatures [arg0] r_0016_0011__500_r_0016_0012___deg__r_0016_0013__C 500  deg  C r_0016_0009__are->r_0016_0011__500_r_0016_0012___deg__r_0016_0013__C [prd] r_0016_0010__around around r_0016_0011__500_r_0016_0012___deg__r_0016_0013__C->r_0016_0010__around [qual] r_0016_0014__and and r_0016_0014__and->r_0016_0009__are [conj1] r_0016_0017__are_r_0016_0019__intended are intended r_0016_0014__and->r_0016_0017__are_r_0016_0019__intended [conj2] r_0016_0017__are_r_0016_0019__intended->r_0016_0002__the_r_0016_0004__time At [nim] r_0016_0018__usually usually r_0016_0017__are_r_0016_0019__intended->r_0016_0018__usually [nim] r_0016_0020__to_r_0016_0021__be_r_0016_0022__maintained to be maintained r_0016_0017__are_r_0016_0019__intended->r_0016_0020__to_r_0016_0021__be_r_0016_0022__maintained [arg1] z_000_16_a_lob_j01_49 r_0016_0017__are_r_0016_0019__intended->z_000_16_a_lob_j01_49 [arg0] r_0016_0015__oxygen_r_0016_0016__concentrations oxygen concentrations r_0016_0020__to_r_0016_0021__be_r_0016_0022__maintained->r_0016_0015__oxygen_r_0016_0016__concentrations [arg1] r_0016_0024__the_r_0016_0025__range the range r_0016_0020__to_r_0016_0021__be_r_0016_0022__maintained->r_0016_0024__the_r_0016_0025__range in [nim] z_000_16_a_lob_j01_62 r_0016_0020__to_r_0016_0021__be_r_0016_0022__maintained->z_000_16_a_lob_j01_62 [arg0] z_000_16_a_lob_j01_74 z_000_16_a_lob_j01_74->r_0016_0024__the_r_0016_0025__range [arg0] r_0016_0026__1__hyphen__10 1-10 z_000_16_a_lob_j01_74->r_0016_0026__1__hyphen__10 [prd] 
fof(formula,axiom,
    ? [R_16_14_AND,R_16_9_ARE,R_16_6_SODIUM_COOLANT_TEMPERATURES,R_16_5_MAXIMUM,R_16_11_500_DEG_C,R_16_10_AROUND,R_16_17_ARE_INTENDED,Z_16_A_LOB_J01_49,R_16_20_TO_BE_MAINTAINED,Z_16_A_LOB_J01_62,R_16_15_OXYGEN_CONCENTRATIONS,R_16_18_USUALLY,R_16_2_THE_TIME,R_16_3_PRESENT,Z_16_A_LOB_J01_74,R_16_24_THE_RANGE,R_16_26_1_HYPHEN_10] :
      ( maximum(R_16_5_MAXIMUM)
      & around(R_16_10_AROUND)
      & oxygen_concentrations(R_16_15_OXYGEN_CONCENTRATIONS)
      & usually(R_16_18_USUALLY)
      & present(R_16_3_PRESENT)
      & the_range(R_16_24_THE_RANGE)
      & 1_hyphen_10(R_16_26_1_HYPHEN_10)
      & and(R_16_14_AND)
      & conj1(R_16_14_AND,R_16_9_ARE)
      & are(R_16_9_ARE,R_16_6_SODIUM_COOLANT_TEMPERATURES,R_16_11_500_DEG_C)
      & sodium_coolant_temperatures(R_16_6_SODIUM_COOLANT_TEMPERATURES)
      & attrib16(R_16_6_SODIUM_COOLANT_TEMPERATURES,R_16_5_MAXIMUM)
      & 500_deg_C(R_16_11_500_DEG_C)
      & qual28(R_16_11_500_DEG_C,R_16_10_AROUND)
      & at_nim5(R_16_9_ARE,R_16_2_THE_TIME)
      & the_time(R_16_2_THE_TIME)
      & attrib8(R_16_2_THE_TIME,R_16_3_PRESENT)
      & conj2(R_16_14_AND,R_16_17_ARE_INTENDED)
      & are_intended(R_16_17_ARE_INTENDED,Z_16_A_LOB_J01_49,R_16_20_TO_BE_MAINTAINED)
      & to_be_maintained(R_16_20_TO_BE_MAINTAINED,Z_16_A_LOB_J01_62,R_16_15_OXYGEN_CONCENTRATIONS)
      & in_nim69(R_16_20_TO_BE_MAINTAINED,R_16_24_THE_RANGE)
      & nim51(R_16_17_ARE_INTENDED,R_16_18_USUALLY)
      & at_nim5(R_16_17_ARE_INTENDED,R_16_2_THE_TIME)
      & z_16_a_lob_j01_74(Z_16_A_LOB_J01_74,R_16_24_THE_RANGE,R_16_26_1_HYPHEN_10) ) ).


n16_a_lob_j01 n16_a_lob_j01_4 At n16_a_lob_j01_7 the n16_a_lob_j01_10 present n16_a_lob_j01_12 time n16_a_lob_j01_18 maximum n16_a_lob_j01_20 sodium n16_a_lob_j01_22 coolant n16_a_lob_j01_24 temperatures n16_a_lob_j01_26 are n16_a_lob_j01_30 around n16_a_lob_j01_32 500 n16_a_lob_j01_34 <deg> n16_a_lob_j01_36 C n16_a_lob_j01_39 and n16_a_lob_j01_43 oxygen n16_a_lob_j01_45 concentrations n16_a_lob_j01_47 are n16_a_lob_j01_50 * n16_a_lob_j01_53 usually n16_a_lob_j01_55 intended n16_a_lob_j01_58 to n16_a_lob_j01_60 be n16_a_lob_j01_63 * n16_a_lob_j01_65 maintained n16_a_lob_j01_68 in n16_a_lob_j01_71 the n16_a_lob_j01_73 range n16_a_lob_j01_77 1-10 n16_a_lob_j01_79 p.p.m n16_a_lob_j01_1 IP-MAT n16_a_lob_j01_2 PP-NIM n16_a_lob_j01_1->n16_a_lob_j01_2 n16_a_lob_j01_13 ILYR n16_a_lob_j01_1->n16_a_lob_j01_13 n16_a_lob_j01_3 P-ROLE n16_a_lob_j01_2->n16_a_lob_j01_3 n16_a_lob_j01_5 NP n16_a_lob_j01_2->n16_a_lob_j01_5 n16_a_lob_j01_3->n16_a_lob_j01_4 n16_a_lob_j01_6 D n16_a_lob_j01_5->n16_a_lob_j01_6 n16_a_lob_j01_8 ADJP n16_a_lob_j01_5->n16_a_lob_j01_8 n16_a_lob_j01_11 N n16_a_lob_j01_5->n16_a_lob_j01_11 n16_a_lob_j01_6->n16_a_lob_j01_7 n16_a_lob_j01_9 ADJ n16_a_lob_j01_8->n16_a_lob_j01_9 n16_a_lob_j01_9->n16_a_lob_j01_10 n16_a_lob_j01_11->n16_a_lob_j01_12 n16_a_lob_j01_14 ILYR n16_a_lob_j01_13->n16_a_lob_j01_14 n16_a_lob_j01_37 CONJP n16_a_lob_j01_13->n16_a_lob_j01_37 n16_a_lob_j01_15 NP-SBJ n16_a_lob_j01_14->n16_a_lob_j01_15 n16_a_lob_j01_25 BEP;_Ln_ n16_a_lob_j01_14->n16_a_lob_j01_25 n16_a_lob_j01_27 NP-PRD n16_a_lob_j01_14->n16_a_lob_j01_27 n16_a_lob_j01_16 ADJP n16_a_lob_j01_15->n16_a_lob_j01_16 n16_a_lob_j01_19 N n16_a_lob_j01_15->n16_a_lob_j01_19 n16_a_lob_j01_21 N n16_a_lob_j01_15->n16_a_lob_j01_21 n16_a_lob_j01_23 NS n16_a_lob_j01_15->n16_a_lob_j01_23 n16_a_lob_j01_17 ADJ n16_a_lob_j01_16->n16_a_lob_j01_17 n16_a_lob_j01_17->n16_a_lob_j01_18 n16_a_lob_j01_19->n16_a_lob_j01_20 n16_a_lob_j01_21->n16_a_lob_j01_22 n16_a_lob_j01_23->n16_a_lob_j01_24 n16_a_lob_j01_25->n16_a_lob_j01_26 n16_a_lob_j01_28 ADVP n16_a_lob_j01_27->n16_a_lob_j01_28 n16_a_lob_j01_31 NUM n16_a_lob_j01_27->n16_a_lob_j01_31 n16_a_lob_j01_33 N n16_a_lob_j01_27->n16_a_lob_j01_33 n16_a_lob_j01_35 NPR n16_a_lob_j01_27->n16_a_lob_j01_35 n16_a_lob_j01_29 ADV n16_a_lob_j01_28->n16_a_lob_j01_29 n16_a_lob_j01_29->n16_a_lob_j01_30 n16_a_lob_j01_31->n16_a_lob_j01_32 n16_a_lob_j01_33->n16_a_lob_j01_34 n16_a_lob_j01_35->n16_a_lob_j01_36 n16_a_lob_j01_38 CONJ n16_a_lob_j01_37->n16_a_lob_j01_38 n16_a_lob_j01_40 ILYR n16_a_lob_j01_37->n16_a_lob_j01_40 n16_a_lob_j01_38->n16_a_lob_j01_39 n16_a_lob_j01_41 NP-SBJ n16_a_lob_j01_40->n16_a_lob_j01_41 n16_a_lob_j01_46 BEP;_cat_VePASS_ n16_a_lob_j01_40->n16_a_lob_j01_46 n16_a_lob_j01_48 IP-PPL-CAT n16_a_lob_j01_40->n16_a_lob_j01_48 n16_a_lob_j01_42 N n16_a_lob_j01_41->n16_a_lob_j01_42 n16_a_lob_j01_44 NS n16_a_lob_j01_41->n16_a_lob_j01_44 n16_a_lob_j01_42->n16_a_lob_j01_43 n16_a_lob_j01_44->n16_a_lob_j01_45 n16_a_lob_j01_46->n16_a_lob_j01_47 n16_a_lob_j01_49 NP-LGS n16_a_lob_j01_48->n16_a_lob_j01_49 n16_a_lob_j01_51 ADVP-NIM n16_a_lob_j01_48->n16_a_lob_j01_51 n16_a_lob_j01_54 VVN;_Tnt_ n16_a_lob_j01_48->n16_a_lob_j01_54 n16_a_lob_j01_56 IP-INF-OB1 n16_a_lob_j01_48->n16_a_lob_j01_56 n16_a_lob_j01_49->n16_a_lob_j01_50 n16_a_lob_j01_52 ADV n16_a_lob_j01_51->n16_a_lob_j01_52 n16_a_lob_j01_52->n16_a_lob_j01_53 n16_a_lob_j01_54->n16_a_lob_j01_55 n16_a_lob_j01_57 TO n16_a_lob_j01_56->n16_a_lob_j01_57 n16_a_lob_j01_59 BE;_cat_VePASS_ n16_a_lob_j01_56->n16_a_lob_j01_59 n16_a_lob_j01_61 IP-PPL-CAT n16_a_lob_j01_56->n16_a_lob_j01_61 n16_a_lob_j01_57->n16_a_lob_j01_58 n16_a_lob_j01_59->n16_a_lob_j01_60 n16_a_lob_j01_62 NP-LGS n16_a_lob_j01_61->n16_a_lob_j01_62 n16_a_lob_j01_64 VVN;_Tn_ n16_a_lob_j01_61->n16_a_lob_j01_64 n16_a_lob_j01_66 PP-NIM n16_a_lob_j01_61->n16_a_lob_j01_66 n16_a_lob_j01_62->n16_a_lob_j01_63 n16_a_lob_j01_64->n16_a_lob_j01_65 n16_a_lob_j01_67 P-ROLE n16_a_lob_j01_66->n16_a_lob_j01_67 n16_a_lob_j01_69 NP n16_a_lob_j01_66->n16_a_lob_j01_69 n16_a_lob_j01_67->n16_a_lob_j01_68 n16_a_lob_j01_70 D n16_a_lob_j01_69->n16_a_lob_j01_70 n16_a_lob_j01_72 N n16_a_lob_j01_69->n16_a_lob_j01_72 n16_a_lob_j01_74 IP-PPL n16_a_lob_j01_69->n16_a_lob_j01_74 n16_a_lob_j01_70->n16_a_lob_j01_71 n16_a_lob_j01_72->n16_a_lob_j01_73 n16_a_lob_j01_75 NP-PRD n16_a_lob_j01_74->n16_a_lob_j01_75 n16_a_lob_j01_76 NUM n16_a_lob_j01_75->n16_a_lob_j01_76 n16_a_lob_j01_78 PUNC n16_a_lob_j01_75->n16_a_lob_j01_78 n16_a_lob_j01_76->n16_a_lob_j01_77 n16_a_lob_j01_78->n16_a_lob_j01_79 
( (IP-MAT (PP-NIM (P-ROLE At;{at})
                  (NP (D the;{the})
                      (ADJP (ADJ present;{present}))
                      (N time;{time})))
          (ILYR (ILYR (NP-SBJ (ADJP (ADJ maximum;{maximum}))
                              (N sodium;{sodium})
                              (N coolant;{coolant})
                              (NS temperatures;{temperature}))
                      (BEP;_Ln_ are;{be})
                      (NP-PRD (ADVP (ADV around;{around}))
                              (NUM 500)
                              (N <deg>)
                              (NPR C;{C})))
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (N oxygen;{oxygen})
                                     (NS concentrations;{concentration}))
                             (BEP;_cat_VePASS_ are;{be})
                             (IP-PPL-CAT (NP-LGS *)
                                         (ADVP-NIM (ADV usually;{usually}))
                                         (VVN;_Tnt_ intended;{intend})
                                         (IP-INF-OB1 (TO to;{to})
                                                     (BE;_cat_VePASS_ be;{be})
                                                     (IP-PPL-CAT (NP-LGS *)
                                                                 (VVN;_Tn_ maintained;{maintain})
                                                                 (PP-NIM (P-ROLE in;{in})
                                                                         (NP (D the;{the})
                                                                             (N range;{range})
                                                                             (IP-PPL (NP-PRD (NUM 1_<hyphen>_10)
                                                                                             (PUNC p.p.m))))))))))))
  (ID 16_a_lob_j01))