Context                Previous, Next                Top


30_a_lob_j01
Providing a cell of the above type works satisfactorily the above arguments suggest that it will be sufficiently accurate as an oxygen monitor in a hot trapped sodium coolant circuit.

%3 r_0030_0001__Providing Providing r_0030_0008__works works r_0030_0001__Providing->r_0030_0008__works [restriction] r_0030_0013__suggest suggest r_0030_0001__Providing->r_0030_0013__suggest [scope] r_0030_0002__a_r_0030_0003__cell a cell r_0030_0008__works->r_0030_0002__a_r_0030_0003__cell [arg0] r_0030_0009__satisfactorily satisfactorily r_0030_0008__works->r_0030_0009__satisfactorily [nim] r_0030_0010__the_r_0030_0012__arguments the arguments r_0030_0013__suggest->r_0030_0010__the_r_0030_0012__arguments [arg0] r_0030_0014__that_r_0030_0016__will that will r_0030_0013__suggest->r_0030_0014__that_r_0030_0016__will [arg1] r_0030_0005__the_r_0030_0007__type the type r_0030_0002__a_r_0030_0003__cell->r_0030_0005__the_r_0030_0007__type of r_0030_0006__above above r_0030_0005__the_r_0030_0007__type->r_0030_0006__above [qual] r_0030_0011__above above r_0030_0010__the_r_0030_0012__arguments->r_0030_0011__above [qual] r_0030_0017__be be r_0030_0014__that_r_0030_0016__will->r_0030_0017__be [scope] r_0030_0017__be->r_0030_0005__the_r_0030_0007__type [arg0] r_0030_0019__accurate accurate r_0030_0017__be->r_0030_0019__accurate [prd] r_0030_0025__a_r_0030_0028__sodium_r_0030_0029__coolant_r_0030_0030__circuit a sodium coolant circuit r_0030_0017__be->r_0030_0025__a_r_0030_0028__sodium_r_0030_0029__coolant_r_0030_0030__circuit in [nim] r_0030_0018__sufficiently sufficiently r_0030_0019__accurate->r_0030_0018__sufficiently [qual] r_0030_0021__an_r_0030_0022__oxygen_r_0030_0023__monitor an oxygen monitor r_0030_0019__accurate->r_0030_0021__an_r_0030_0022__oxygen_r_0030_0023__monitor as r_0030_0026__hot hot r_0030_0025__a_r_0030_0028__sodium_r_0030_0029__coolant_r_0030_0030__circuit->r_0030_0026__hot [attrib] r_0030_0027__trapped trapped r_0030_0025__a_r_0030_0028__sodium_r_0030_0029__coolant_r_0030_0030__circuit->r_0030_0027__trapped [attrib] 
arc(r_0030_0001__Providing, r_0030_0008__works, restriction).
arc(r_0030_0001__Providing, r_0030_0013__suggest, scope).
arc(r_0030_0002__a_r_0030_0003__cell, r_0030_0005__the_r_0030_0007__type, r_0030_0004__of).
arc(r_0030_0005__the_r_0030_0007__type, r_0030_0006__above, qual17).
arc(r_0030_0008__works, r_0030_0002__a_r_0030_0003__cell, arg0).
arc(r_0030_0008__works, r_0030_0009__satisfactorily, nim24).
arc(r_0030_0010__the_r_0030_0012__arguments, r_0030_0011__above, qual30).
arc(r_0030_0013__suggest, r_0030_0010__the_r_0030_0012__arguments, arg0).
arc(r_0030_0013__suggest, r_0030_0014__that_r_0030_0016__will, arg1).
arc(r_0030_0014__that_r_0030_0016__will, r_0030_0017__be, scope).
arc(r_0030_0017__be, r_0030_0005__the_r_0030_0007__type, arg0).
arc(r_0030_0017__be, r_0030_0019__accurate, prd).
arc(r_0030_0017__be, r_0030_0025__a_r_0030_0028__sodium_r_0030_0029__coolant_r_0030_0030__circuit, r_0030_0024__in_nim68).
arc(r_0030_0019__accurate, r_0030_0018__sufficiently, qual50).
arc(r_0030_0019__accurate, r_0030_0021__an_r_0030_0022__oxygen_r_0030_0023__monitor, r_0030_0020__as).
arc(r_0030_0025__a_r_0030_0028__sodium_r_0030_0029__coolant_r_0030_0030__circuit, r_0030_0026__hot, attrib71).
arc(r_0030_0025__a_r_0030_0028__sodium_r_0030_0029__coolant_r_0030_0030__circuit, r_0030_0027__trapped, attrib74).


%3 r_0030_0001__Providing Providing r_0030_0008__works works r_0030_0001__Providing->r_0030_0008__works [conj1] r_0030_0013__suggest suggest r_0030_0001__Providing->r_0030_0013__suggest [conj2] r_0030_0002__a_r_0030_0003__cell a cell r_0030_0008__works->r_0030_0002__a_r_0030_0003__cell [arg0] r_0030_0009__satisfactorily satisfactorily r_0030_0008__works->r_0030_0009__satisfactorily [nim] r_0030_0010__the_r_0030_0012__arguments the arguments r_0030_0013__suggest->r_0030_0010__the_r_0030_0012__arguments [arg0] r_0030_0014__that_r_0030_0016__will_r_0030_0017__be that will be r_0030_0013__suggest->r_0030_0014__that_r_0030_0016__will_r_0030_0017__be [arg1] r_0030_0005__the_r_0030_0007__type the type r_0030_0002__a_r_0030_0003__cell->r_0030_0005__the_r_0030_0007__type of r_0030_0006__above above r_0030_0005__the_r_0030_0007__type->r_0030_0006__above [qual] r_0030_0011__above above r_0030_0010__the_r_0030_0012__arguments->r_0030_0011__above [qual] r_0030_0014__that_r_0030_0016__will_r_0030_0017__be->r_0030_0005__the_r_0030_0007__type [arg0] r_0030_0019__accurate accurate r_0030_0014__that_r_0030_0016__will_r_0030_0017__be->r_0030_0019__accurate [prd] r_0030_0025__a_r_0030_0028__sodium_r_0030_0029__coolant_r_0030_0030__circuit a sodium coolant circuit r_0030_0014__that_r_0030_0016__will_r_0030_0017__be->r_0030_0025__a_r_0030_0028__sodium_r_0030_0029__coolant_r_0030_0030__circuit in [nim] r_0030_0018__sufficiently sufficiently r_0030_0019__accurate->r_0030_0018__sufficiently [qual] r_0030_0021__an_r_0030_0022__oxygen_r_0030_0023__monitor an oxygen monitor r_0030_0019__accurate->r_0030_0021__an_r_0030_0022__oxygen_r_0030_0023__monitor as r_0030_0026__hot hot r_0030_0025__a_r_0030_0028__sodium_r_0030_0029__coolant_r_0030_0030__circuit->r_0030_0026__hot [attrib] r_0030_0027__trapped trapped r_0030_0025__a_r_0030_0028__sodium_r_0030_0029__coolant_r_0030_0030__circuit->r_0030_0027__trapped [attrib] 
fof(formula,axiom,
    ? [R_30_1_PROVIDING,R_30_8_WORKS,R_30_2_A_CELL,R_30_9_SATISFACTORILY,R_30_13_SUGGEST,R_30_10_THE_ARGUMENTS,R_30_11_ABOVE,R_30_14_THAT_WILL_BE,R_30_5_THE_TYPE,R_30_6_ABOVE,R_30_19_ACCURATE,R_30_18_SUFFICIENTLY,R_30_21_AN_OXYGEN_MONITOR,R_30_25_A_SODIUM_COOLANT_CIRCUIT,R_30_26_HOT,R_30_27_TRAPPED] :
      ( satisfactorily(R_30_9_SATISFACTORILY)
      & above(R_30_11_ABOVE)
      & above(R_30_6_ABOVE)
      & sufficiently(R_30_18_SUFFICIENTLY)
      & an_oxygen_monitor(R_30_21_AN_OXYGEN_MONITOR)
      & hot(R_30_26_HOT)
      & trapped(R_30_27_TRAPPED)
      & providing(R_30_1_PROVIDING)
      & conj1(R_30_1_PROVIDING,R_30_8_WORKS)
      & works(R_30_8_WORKS,R_30_2_A_CELL)
      & a_cell(R_30_2_A_CELL)
      & of(R_30_2_A_CELL,R_30_5_THE_TYPE)
      & the_type(R_30_5_THE_TYPE)
      & qual17(R_30_5_THE_TYPE,R_30_6_ABOVE)
      & nim24(R_30_8_WORKS,R_30_9_SATISFACTORILY)
      & conj2(R_30_1_PROVIDING,R_30_13_SUGGEST)
      & suggest(R_30_13_SUGGEST,R_30_10_THE_ARGUMENTS,R_30_14_THAT_WILL_BE)
      & the_arguments(R_30_10_THE_ARGUMENTS)
      & qual30(R_30_10_THE_ARGUMENTS,R_30_11_ABOVE)
      & that_will_be(R_30_14_THAT_WILL_BE,R_30_5_THE_TYPE,R_30_19_ACCURATE)
      & accurate(R_30_19_ACCURATE)
      & qual50(R_30_19_ACCURATE,R_30_18_SUFFICIENTLY)
      & as(R_30_19_ACCURATE,R_30_21_AN_OXYGEN_MONITOR)
      & in_nim68(R_30_14_THAT_WILL_BE,R_30_25_A_SODIUM_COOLANT_CIRCUIT)
      & a_sodium_coolant_circuit(R_30_25_A_SODIUM_COOLANT_CIRCUIT)
      & attrib71(R_30_25_A_SODIUM_COOLANT_CIRCUIT,R_30_26_HOT)
      & attrib74(R_30_25_A_SODIUM_COOLANT_CIRCUIT,R_30_27_TRAPPED) ) ).


n30_a_lob_j01 n30_a_lob_j01_4 Providing n30_a_lob_j01_8 a n30_a_lob_j01_10 cell n30_a_lob_j01_13 of n30_a_lob_j01_16 the n30_a_lob_j01_19 above n30_a_lob_j01_21 type n30_a_lob_j01_23 works n30_a_lob_j01_26 satisfactorily n30_a_lob_j01_29 the n30_a_lob_j01_32 above n30_a_lob_j01_34 arguments n30_a_lob_j01_36 suggest n30_a_lob_j01_40 that n30_a_lob_j01_43 it n30_a_lob_j01_45 will n30_a_lob_j01_48 be n30_a_lob_j01_52 sufficiently n30_a_lob_j01_54 accurate n30_a_lob_j01_57 as n30_a_lob_j01_60 an n30_a_lob_j01_62 oxygen n30_a_lob_j01_64 monitor n30_a_lob_j01_67 in n30_a_lob_j01_70 a n30_a_lob_j01_73 hot n30_a_lob_j01_76 trapped n30_a_lob_j01_78 sodium n30_a_lob_j01_80 coolant n30_a_lob_j01_82 circuit n30_a_lob_j01_84 . n30_a_lob_j01_1 IP-MAT n30_a_lob_j01_2 PP-SCON n30_a_lob_j01_1->n30_a_lob_j01_2 n30_a_lob_j01_27 NP-SBJ n30_a_lob_j01_1->n30_a_lob_j01_27 n30_a_lob_j01_35 VBP;_Tf_ n30_a_lob_j01_1->n30_a_lob_j01_35 n30_a_lob_j01_37 CP-THT-OB1 n30_a_lob_j01_1->n30_a_lob_j01_37 n30_a_lob_j01_83 PUNC n30_a_lob_j01_1->n30_a_lob_j01_83 n30_a_lob_j01_3 P-CONN n30_a_lob_j01_2->n30_a_lob_j01_3 n30_a_lob_j01_5 IP-ADV n30_a_lob_j01_2->n30_a_lob_j01_5 n30_a_lob_j01_3->n30_a_lob_j01_4 n30_a_lob_j01_6 NP-SBJ n30_a_lob_j01_5->n30_a_lob_j01_6 n30_a_lob_j01_22 VBP;_I_ n30_a_lob_j01_5->n30_a_lob_j01_22 n30_a_lob_j01_24 ADVP-NIM n30_a_lob_j01_5->n30_a_lob_j01_24 n30_a_lob_j01_7 D n30_a_lob_j01_6->n30_a_lob_j01_7 n30_a_lob_j01_9 N n30_a_lob_j01_6->n30_a_lob_j01_9 n30_a_lob_j01_11 PP n30_a_lob_j01_6->n30_a_lob_j01_11 n30_a_lob_j01_7->n30_a_lob_j01_8 n30_a_lob_j01_9->n30_a_lob_j01_10 n30_a_lob_j01_12 P-ROLE n30_a_lob_j01_11->n30_a_lob_j01_12 n30_a_lob_j01_14 NP n30_a_lob_j01_11->n30_a_lob_j01_14 n30_a_lob_j01_12->n30_a_lob_j01_13 n30_a_lob_j01_15 D n30_a_lob_j01_14->n30_a_lob_j01_15 n30_a_lob_j01_17 ADVP n30_a_lob_j01_14->n30_a_lob_j01_17 n30_a_lob_j01_20 N n30_a_lob_j01_14->n30_a_lob_j01_20 n30_a_lob_j01_15->n30_a_lob_j01_16 n30_a_lob_j01_18 ADV n30_a_lob_j01_17->n30_a_lob_j01_18 n30_a_lob_j01_18->n30_a_lob_j01_19 n30_a_lob_j01_20->n30_a_lob_j01_21 n30_a_lob_j01_22->n30_a_lob_j01_23 n30_a_lob_j01_25 ADV n30_a_lob_j01_24->n30_a_lob_j01_25 n30_a_lob_j01_25->n30_a_lob_j01_26 n30_a_lob_j01_28 D n30_a_lob_j01_27->n30_a_lob_j01_28 n30_a_lob_j01_30 ADVP n30_a_lob_j01_27->n30_a_lob_j01_30 n30_a_lob_j01_33 NS n30_a_lob_j01_27->n30_a_lob_j01_33 n30_a_lob_j01_28->n30_a_lob_j01_29 n30_a_lob_j01_31 ADV n30_a_lob_j01_30->n30_a_lob_j01_31 n30_a_lob_j01_31->n30_a_lob_j01_32 n30_a_lob_j01_33->n30_a_lob_j01_34 n30_a_lob_j01_35->n30_a_lob_j01_36 n30_a_lob_j01_38 IP-SUB n30_a_lob_j01_37->n30_a_lob_j01_38 n30_a_lob_j01_39 C n30_a_lob_j01_38->n30_a_lob_j01_39 n30_a_lob_j01_41 NP-SBJ n30_a_lob_j01_38->n30_a_lob_j01_41 n30_a_lob_j01_44 MD;_cat_Vi_ n30_a_lob_j01_38->n30_a_lob_j01_44 n30_a_lob_j01_46 IP-INF-CAT n30_a_lob_j01_38->n30_a_lob_j01_46 n30_a_lob_j01_39->n30_a_lob_j01_40 n30_a_lob_j01_42 PRO n30_a_lob_j01_41->n30_a_lob_j01_42 n30_a_lob_j01_42->n30_a_lob_j01_43 n30_a_lob_j01_44->n30_a_lob_j01_45 n30_a_lob_j01_47 BE;_La_ n30_a_lob_j01_46->n30_a_lob_j01_47 n30_a_lob_j01_49 ADJP-PRD n30_a_lob_j01_46->n30_a_lob_j01_49 n30_a_lob_j01_65 PP-NIM n30_a_lob_j01_46->n30_a_lob_j01_65 n30_a_lob_j01_47->n30_a_lob_j01_48 n30_a_lob_j01_50 ADVP n30_a_lob_j01_49->n30_a_lob_j01_50 n30_a_lob_j01_53 ADJ n30_a_lob_j01_49->n30_a_lob_j01_53 n30_a_lob_j01_55 PP n30_a_lob_j01_49->n30_a_lob_j01_55 n30_a_lob_j01_51 ADV n30_a_lob_j01_50->n30_a_lob_j01_51 n30_a_lob_j01_51->n30_a_lob_j01_52 n30_a_lob_j01_53->n30_a_lob_j01_54 n30_a_lob_j01_56 P-ROLE n30_a_lob_j01_55->n30_a_lob_j01_56 n30_a_lob_j01_58 NP n30_a_lob_j01_55->n30_a_lob_j01_58 n30_a_lob_j01_56->n30_a_lob_j01_57 n30_a_lob_j01_59 D n30_a_lob_j01_58->n30_a_lob_j01_59 n30_a_lob_j01_61 N n30_a_lob_j01_58->n30_a_lob_j01_61 n30_a_lob_j01_63 N n30_a_lob_j01_58->n30_a_lob_j01_63 n30_a_lob_j01_59->n30_a_lob_j01_60 n30_a_lob_j01_61->n30_a_lob_j01_62 n30_a_lob_j01_63->n30_a_lob_j01_64 n30_a_lob_j01_66 P-ROLE n30_a_lob_j01_65->n30_a_lob_j01_66 n30_a_lob_j01_68 NP n30_a_lob_j01_65->n30_a_lob_j01_68 n30_a_lob_j01_66->n30_a_lob_j01_67 n30_a_lob_j01_69 D n30_a_lob_j01_68->n30_a_lob_j01_69 n30_a_lob_j01_71 ADJP n30_a_lob_j01_68->n30_a_lob_j01_71 n30_a_lob_j01_74 ADJP n30_a_lob_j01_68->n30_a_lob_j01_74 n30_a_lob_j01_77 N n30_a_lob_j01_68->n30_a_lob_j01_77 n30_a_lob_j01_79 N n30_a_lob_j01_68->n30_a_lob_j01_79 n30_a_lob_j01_81 N n30_a_lob_j01_68->n30_a_lob_j01_81 n30_a_lob_j01_69->n30_a_lob_j01_70 n30_a_lob_j01_72 ADJ n30_a_lob_j01_71->n30_a_lob_j01_72 n30_a_lob_j01_72->n30_a_lob_j01_73 n30_a_lob_j01_75 ADJ n30_a_lob_j01_74->n30_a_lob_j01_75 n30_a_lob_j01_75->n30_a_lob_j01_76 n30_a_lob_j01_77->n30_a_lob_j01_78 n30_a_lob_j01_79->n30_a_lob_j01_80 n30_a_lob_j01_81->n30_a_lob_j01_82 n30_a_lob_j01_83->n30_a_lob_j01_84 
( (IP-MAT (PP-SCON (P-CONN Providing;{providing})
                   (IP-ADV (NP-SBJ (D a;{a})
                                   (N cell;{cell})
                                   (PP (P-ROLE of;{of})
                                       (NP (D the;{the})
                                           (ADVP (ADV above;{above}))
                                           (N type;{type}))))
                           (VBP;_I_ works;{work})
                           (ADVP-NIM (ADV satisfactorily;{satisfactorily}))))
          (NP-SBJ (D the;{the})
                  (ADVP (ADV above;{above}))
                  (NS arguments;{argument}))
          (VBP;_Tf_ suggest;{suggest})
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (NP-SBJ (PRO it;{it}))
                              (MD;_cat_Vi_ will;{will})
                              (IP-INF-CAT (BE;_La_ be;{be})
                                          (ADJP-PRD (ADVP (ADV sufficiently;{sufficiently}))
                                                    (ADJ accurate;{accurate})
                                                    (PP (P-ROLE as;{as})
                                                        (NP (D an;{an})
                                                            (N oxygen;{oxygen})
                                                            (N monitor;{monitor}))))
                                          (PP-NIM (P-ROLE in;{in})
                                                  (NP (D a;{a})
                                                      (ADJP (ADJ hot;{hot}))
                                                      (ADJP (ADJ trapped;{trapped}))
                                                      (N sodium;{sodium})
                                                      (N coolant;{coolant})
                                                      (N circuit;{circuit}))))))
          (PUNC .))
  (ID 30_a_lob_j01))