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.

n30_a_lob_j01 n30_a_lob_j01__1_1_1_1 Providing n30_a_lob_j01__1_1_2_1_1_1 a n30_a_lob_j01__1_1_2_1_2_1 cell n30_a_lob_j01__1_1_2_1_3_1_1 of n30_a_lob_j01__1_1_2_1_3_2_1_1 the n30_a_lob_j01__1_1_2_1_3_2_2_1_1 above n30_a_lob_j01__1_1_2_1_3_2_3_1 type n30_a_lob_j01__1_1_2_2_1 works n30_a_lob_j01__1_1_2_3_1_1 satisfactorily n30_a_lob_j01__1_2_1_1 the n30_a_lob_j01__1_2_2_1_1 above n30_a_lob_j01__1_2_3_1 arguments n30_a_lob_j01__1_3_1 suggest n30_a_lob_j01__1_4_1_1_1 that n30_a_lob_j01__1_4_1_2_1_1 it n30_a_lob_j01__1_4_1_3_1 will n30_a_lob_j01__1_4_1_4_1_1 be n30_a_lob_j01__1_4_1_4_2_1_1_1 sufficiently n30_a_lob_j01__1_4_1_4_2_2_1 accurate n30_a_lob_j01__1_4_1_4_2_3_1_1 as n30_a_lob_j01__1_4_1_4_2_3_2_1_1 an n30_a_lob_j01__1_4_1_4_2_3_2_2_1 oxygen n30_a_lob_j01__1_4_1_4_2_3_2_3_1 monitor n30_a_lob_j01__1_4_1_4_3_1_1 in n30_a_lob_j01__1_4_1_4_3_2_1_1 a n30_a_lob_j01__1_4_1_4_3_2_2_1_1 hot n30_a_lob_j01__1_4_1_4_3_2_3_1_1_1 trapped n30_a_lob_j01__1_4_1_4_3_2_3_2_1 sodium n30_a_lob_j01__1_4_1_4_3_2_4_1 coolant n30_a_lob_j01__1_4_1_4_3_2_5_1 circuit n30_a_lob_j01__1_5_1 . n30_a_lob_j01__1 IP-MAT n30_a_lob_j01__1_1 PP-SCON n30_a_lob_j01__1->n30_a_lob_j01__1_1 n30_a_lob_j01__1_2 NP-SBJ n30_a_lob_j01__1->n30_a_lob_j01__1_2 n30_a_lob_j01__1_3 VBP;_Tf_ n30_a_lob_j01__1->n30_a_lob_j01__1_3 n30_a_lob_j01__1_4 CP-THT-OB1 n30_a_lob_j01__1->n30_a_lob_j01__1_4 n30_a_lob_j01__1_5 PUNC n30_a_lob_j01__1->n30_a_lob_j01__1_5 n30_a_lob_j01__1_1_1 P-CONN n30_a_lob_j01__1_1->n30_a_lob_j01__1_1_1 n30_a_lob_j01__1_1_2 IP-ADV n30_a_lob_j01__1_1->n30_a_lob_j01__1_1_2 n30_a_lob_j01__1_1_1->n30_a_lob_j01__1_1_1_1 n30_a_lob_j01__1_1_2_1 NP-SBJ n30_a_lob_j01__1_1_2->n30_a_lob_j01__1_1_2_1 n30_a_lob_j01__1_1_2_2 VBP;_I_ n30_a_lob_j01__1_1_2->n30_a_lob_j01__1_1_2_2 n30_a_lob_j01__1_1_2_3 ADVP-NIM n30_a_lob_j01__1_1_2->n30_a_lob_j01__1_1_2_3 n30_a_lob_j01__1_1_2_1_1 D n30_a_lob_j01__1_1_2_1->n30_a_lob_j01__1_1_2_1_1 n30_a_lob_j01__1_1_2_1_2 N n30_a_lob_j01__1_1_2_1->n30_a_lob_j01__1_1_2_1_2 n30_a_lob_j01__1_1_2_1_3 PP n30_a_lob_j01__1_1_2_1->n30_a_lob_j01__1_1_2_1_3 n30_a_lob_j01__1_1_2_1_1->n30_a_lob_j01__1_1_2_1_1_1 n30_a_lob_j01__1_1_2_1_2->n30_a_lob_j01__1_1_2_1_2_1 n30_a_lob_j01__1_1_2_1_3_1 P-ROLE n30_a_lob_j01__1_1_2_1_3->n30_a_lob_j01__1_1_2_1_3_1 n30_a_lob_j01__1_1_2_1_3_2 NP n30_a_lob_j01__1_1_2_1_3->n30_a_lob_j01__1_1_2_1_3_2 n30_a_lob_j01__1_1_2_1_3_1->n30_a_lob_j01__1_1_2_1_3_1_1 n30_a_lob_j01__1_1_2_1_3_2_1 D n30_a_lob_j01__1_1_2_1_3_2->n30_a_lob_j01__1_1_2_1_3_2_1 n30_a_lob_j01__1_1_2_1_3_2_2 ADVP n30_a_lob_j01__1_1_2_1_3_2->n30_a_lob_j01__1_1_2_1_3_2_2 n30_a_lob_j01__1_1_2_1_3_2_3 N n30_a_lob_j01__1_1_2_1_3_2->n30_a_lob_j01__1_1_2_1_3_2_3 n30_a_lob_j01__1_1_2_1_3_2_1->n30_a_lob_j01__1_1_2_1_3_2_1_1 n30_a_lob_j01__1_1_2_1_3_2_2_1 ADV n30_a_lob_j01__1_1_2_1_3_2_2->n30_a_lob_j01__1_1_2_1_3_2_2_1 n30_a_lob_j01__1_1_2_1_3_2_2_1->n30_a_lob_j01__1_1_2_1_3_2_2_1_1 n30_a_lob_j01__1_1_2_1_3_2_3->n30_a_lob_j01__1_1_2_1_3_2_3_1 n30_a_lob_j01__1_1_2_2->n30_a_lob_j01__1_1_2_2_1 n30_a_lob_j01__1_1_2_3_1 ADV n30_a_lob_j01__1_1_2_3->n30_a_lob_j01__1_1_2_3_1 n30_a_lob_j01__1_1_2_3_1->n30_a_lob_j01__1_1_2_3_1_1 n30_a_lob_j01__1_2_1 D n30_a_lob_j01__1_2->n30_a_lob_j01__1_2_1 n30_a_lob_j01__1_2_2 ADVP n30_a_lob_j01__1_2->n30_a_lob_j01__1_2_2 n30_a_lob_j01__1_2_3 NS n30_a_lob_j01__1_2->n30_a_lob_j01__1_2_3 n30_a_lob_j01__1_2_1->n30_a_lob_j01__1_2_1_1 n30_a_lob_j01__1_2_2_1 ADV n30_a_lob_j01__1_2_2->n30_a_lob_j01__1_2_2_1 n30_a_lob_j01__1_2_2_1->n30_a_lob_j01__1_2_2_1_1 n30_a_lob_j01__1_2_3->n30_a_lob_j01__1_2_3_1 n30_a_lob_j01__1_3->n30_a_lob_j01__1_3_1 n30_a_lob_j01__1_4_1 IP-SUB n30_a_lob_j01__1_4->n30_a_lob_j01__1_4_1 n30_a_lob_j01__1_4_1_1 C n30_a_lob_j01__1_4_1->n30_a_lob_j01__1_4_1_1 n30_a_lob_j01__1_4_1_2 NP-SBJ n30_a_lob_j01__1_4_1->n30_a_lob_j01__1_4_1_2 n30_a_lob_j01__1_4_1_3 MD;_cat_Vi_ n30_a_lob_j01__1_4_1->n30_a_lob_j01__1_4_1_3 n30_a_lob_j01__1_4_1_4 IP-INF-CAT n30_a_lob_j01__1_4_1->n30_a_lob_j01__1_4_1_4 n30_a_lob_j01__1_4_1_1->n30_a_lob_j01__1_4_1_1_1 n30_a_lob_j01__1_4_1_2_1 PRO n30_a_lob_j01__1_4_1_2->n30_a_lob_j01__1_4_1_2_1 n30_a_lob_j01__1_4_1_2_1->n30_a_lob_j01__1_4_1_2_1_1 n30_a_lob_j01__1_4_1_3->n30_a_lob_j01__1_4_1_3_1 n30_a_lob_j01__1_4_1_4_1 BE;_La_ n30_a_lob_j01__1_4_1_4->n30_a_lob_j01__1_4_1_4_1 n30_a_lob_j01__1_4_1_4_2 ADJP-PRD n30_a_lob_j01__1_4_1_4->n30_a_lob_j01__1_4_1_4_2 n30_a_lob_j01__1_4_1_4_3 PP-NIM n30_a_lob_j01__1_4_1_4->n30_a_lob_j01__1_4_1_4_3 n30_a_lob_j01__1_4_1_4_1->n30_a_lob_j01__1_4_1_4_1_1 n30_a_lob_j01__1_4_1_4_2_1 ADVP n30_a_lob_j01__1_4_1_4_2->n30_a_lob_j01__1_4_1_4_2_1 n30_a_lob_j01__1_4_1_4_2_2 ADJ n30_a_lob_j01__1_4_1_4_2->n30_a_lob_j01__1_4_1_4_2_2 n30_a_lob_j01__1_4_1_4_2_3 PP n30_a_lob_j01__1_4_1_4_2->n30_a_lob_j01__1_4_1_4_2_3 n30_a_lob_j01__1_4_1_4_2_1_1 ADV n30_a_lob_j01__1_4_1_4_2_1->n30_a_lob_j01__1_4_1_4_2_1_1 n30_a_lob_j01__1_4_1_4_2_1_1->n30_a_lob_j01__1_4_1_4_2_1_1_1 n30_a_lob_j01__1_4_1_4_2_2->n30_a_lob_j01__1_4_1_4_2_2_1 n30_a_lob_j01__1_4_1_4_2_3_1 P-ROLE n30_a_lob_j01__1_4_1_4_2_3->n30_a_lob_j01__1_4_1_4_2_3_1 n30_a_lob_j01__1_4_1_4_2_3_2 NP n30_a_lob_j01__1_4_1_4_2_3->n30_a_lob_j01__1_4_1_4_2_3_2 n30_a_lob_j01__1_4_1_4_2_3_1->n30_a_lob_j01__1_4_1_4_2_3_1_1 n30_a_lob_j01__1_4_1_4_2_3_2_1 D n30_a_lob_j01__1_4_1_4_2_3_2->n30_a_lob_j01__1_4_1_4_2_3_2_1 n30_a_lob_j01__1_4_1_4_2_3_2_2 N n30_a_lob_j01__1_4_1_4_2_3_2->n30_a_lob_j01__1_4_1_4_2_3_2_2 n30_a_lob_j01__1_4_1_4_2_3_2_3 N n30_a_lob_j01__1_4_1_4_2_3_2->n30_a_lob_j01__1_4_1_4_2_3_2_3 n30_a_lob_j01__1_4_1_4_2_3_2_1->n30_a_lob_j01__1_4_1_4_2_3_2_1_1 n30_a_lob_j01__1_4_1_4_2_3_2_2->n30_a_lob_j01__1_4_1_4_2_3_2_2_1 n30_a_lob_j01__1_4_1_4_2_3_2_3->n30_a_lob_j01__1_4_1_4_2_3_2_3_1 n30_a_lob_j01__1_4_1_4_3_1 P-ROLE n30_a_lob_j01__1_4_1_4_3->n30_a_lob_j01__1_4_1_4_3_1 n30_a_lob_j01__1_4_1_4_3_2 NP n30_a_lob_j01__1_4_1_4_3->n30_a_lob_j01__1_4_1_4_3_2 n30_a_lob_j01__1_4_1_4_3_1->n30_a_lob_j01__1_4_1_4_3_1_1 n30_a_lob_j01__1_4_1_4_3_2_1 D n30_a_lob_j01__1_4_1_4_3_2->n30_a_lob_j01__1_4_1_4_3_2_1 n30_a_lob_j01__1_4_1_4_3_2_2 ADJP n30_a_lob_j01__1_4_1_4_3_2->n30_a_lob_j01__1_4_1_4_3_2_2 n30_a_lob_j01__1_4_1_4_3_2_3 NLYR n30_a_lob_j01__1_4_1_4_3_2->n30_a_lob_j01__1_4_1_4_3_2_3 n30_a_lob_j01__1_4_1_4_3_2_4 N n30_a_lob_j01__1_4_1_4_3_2->n30_a_lob_j01__1_4_1_4_3_2_4 n30_a_lob_j01__1_4_1_4_3_2_5 N n30_a_lob_j01__1_4_1_4_3_2->n30_a_lob_j01__1_4_1_4_3_2_5 n30_a_lob_j01__1_4_1_4_3_2_1->n30_a_lob_j01__1_4_1_4_3_2_1_1 n30_a_lob_j01__1_4_1_4_3_2_2_1 ADJ n30_a_lob_j01__1_4_1_4_3_2_2->n30_a_lob_j01__1_4_1_4_3_2_2_1 n30_a_lob_j01__1_4_1_4_3_2_2_1->n30_a_lob_j01__1_4_1_4_3_2_2_1_1 n30_a_lob_j01__1_4_1_4_3_2_3_1 ADJP n30_a_lob_j01__1_4_1_4_3_2_3->n30_a_lob_j01__1_4_1_4_3_2_3_1 n30_a_lob_j01__1_4_1_4_3_2_3_2 N n30_a_lob_j01__1_4_1_4_3_2_3->n30_a_lob_j01__1_4_1_4_3_2_3_2 n30_a_lob_j01__1_4_1_4_3_2_3_1_1 ADJ n30_a_lob_j01__1_4_1_4_3_2_3_1->n30_a_lob_j01__1_4_1_4_3_2_3_1_1 n30_a_lob_j01__1_4_1_4_3_2_3_1_1->n30_a_lob_j01__1_4_1_4_3_2_3_1_1_1 n30_a_lob_j01__1_4_1_4_3_2_3_2->n30_a_lob_j01__1_4_1_4_3_2_3_2_1 n30_a_lob_j01__1_4_1_4_3_2_4->n30_a_lob_j01__1_4_1_4_3_2_4_1 n30_a_lob_j01__1_4_1_4_3_2_5->n30_a_lob_j01__1_4_1_4_3_2_5_1 n30_a_lob_j01__1_5->n30_a_lob_j01__1_5_1 
( (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}))
                                                      (NLYR (ADJP (ADJ trapped;{trapped}))
                                                            (N sodium;{sodium}))
                                                      (N coolant;{coolant})
                                                      (N circuit;{circuit}))))))
          (PUNC .))
  (ID 30_a_lob_j01))


%3 r_0030_0025__a_r_0030_0027__trapped_r_0030_0028__sodium_r_0030_0029__coolant_r_0030_0030__circuit a trapped sodium coolant circuit r_0030_0026__hot hot r_0030_0025__a_r_0030_0027__trapped_r_0030_0028__sodium_r_0030_0029__coolant_r_0030_0030__circuit->r_0030_0026__hot [attrib] r_0030_0019__accurate accurate 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_0018__sufficiently sufficiently r_0030_0019__accurate->r_0030_0018__sufficiently [qual] r_0030_0017__be be r_0030_0017__be->r_0030_0025__a_r_0030_0027__trapped_r_0030_0028__sodium_r_0030_0029__coolant_r_0030_0030__circuit in [nim] r_0030_0017__be->r_0030_0019__accurate [prd] r_0030_0015__it it r_0030_0017__be->r_0030_0015__it [arg0] r_0030_0016__will will r_0030_0016__will->r_0030_0017__be [scope] r_0030_0013__suggest suggest r_0030_0013__suggest->r_0030_0016__will [arg1] 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_0011__above above r_0030_0010__the_r_0030_0012__arguments->r_0030_0011__above [qual] r_0030_0008__works works r_0030_0009__satisfactorily satisfactorily r_0030_0008__works->r_0030_0009__satisfactorily [nim] 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_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_0001__Providing Providing r_0030_0001__Providing->r_0030_0013__suggest [scope] r_0030_0001__Providing->r_0030_0008__works [restriction] 
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,qual).
arc(r_0030_0008__works,r_0030_0002__a_r_0030_0003__cell,arg0).
arc(r_0030_0008__works,r_0030_0009__satisfactorily,nim).
arc(r_0030_0010__the_r_0030_0012__arguments,r_0030_0011__above,qual).
arc(r_0030_0013__suggest,r_0030_0010__the_r_0030_0012__arguments,arg0).
arc(r_0030_0013__suggest,r_0030_0016__will,arg1).
arc(r_0030_0016__will,r_0030_0017__be,scope).
arc(r_0030_0017__be,r_0030_0015__it,arg0).
arc(r_0030_0017__be,r_0030_0019__accurate,prd).
arc(r_0030_0017__be,r_0030_0025__a_r_0030_0027__trapped_r_0030_0028__sodium_r_0030_0029__coolant_r_0030_0030__circuit,r_0030_0024__in__nim).
arc(r_0030_0019__accurate,r_0030_0018__sufficiently,qual).
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_0027__trapped_r_0030_0028__sodium_r_0030_0029__coolant_r_0030_0030__circuit,r_0030_0026__hot,attrib).


%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_0016__will_r_0030_0017__be will be r_0030_0013__suggest->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_0015__it it r_0030_0016__will_r_0030_0017__be->r_0030_0015__it [arg0] r_0030_0019__accurate accurate r_0030_0016__will_r_0030_0017__be->r_0030_0019__accurate [prd] r_0030_0025__a_r_0030_0027__trapped_r_0030_0028__sodium_r_0030_0029__coolant_r_0030_0030__circuit a trapped sodium coolant circuit r_0030_0016__will_r_0030_0017__be->r_0030_0025__a_r_0030_0027__trapped_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_0027__trapped_r_0030_0028__sodium_r_0030_0029__coolant_r_0030_0030__circuit->r_0030_0026__hot [attrib] 
fof(formula,axiom,
    ? [R_0030_0006__ABOVE,R_0030_0005__THE_R_0030_0007__TYPE,R_0030_0002__A_R_0030_0003__CELL,R_0030_0009__SATISFACTORILY,R_0030_0008__WORKS,R_0030_0011__ABOVE,R_0030_0010__THE_R_0030_0012__ARGUMENTS,R_0030_0015__IT,R_0030_0018__SUFFICIENTLY,R_0030_0021__AN_R_0030_0022__OXYGEN_R_0030_0023__MONITOR,R_0030_0019__ACCURATE,R_0030_0026__HOT,R_0030_0025__A_R_0030_0027__TRAPPED_R_0030_0028__SODIUM_R_0030_0029__COOLANT_R_0030_0030__CIRCUIT,R_0030_0016__WILL_R_0030_0017__BE,R_0030_0013__SUGGEST,R_0030_0001__PROVIDING] :
      ( r_0030_0006__above(R_0030_0006__ABOVE)
      & r_0030_0009__satisfactorily(R_0030_0009__SATISFACTORILY)
      & r_0030_0011__above(R_0030_0011__ABOVE)
      & r_0030_0015__it(R_0030_0015__IT)
      & r_0030_0018__sufficiently(R_0030_0018__SUFFICIENTLY)
      & r_0030_0021__an_r_0030_0022__oxygen_r_0030_0023__monitor(R_0030_0021__AN_R_0030_0022__OXYGEN_R_0030_0023__MONITOR)
      & r_0030_0026__hot(R_0030_0026__HOT)
      & r_0030_0001__Providing(R_0030_0001__PROVIDING)
      & has_conj2(R_0030_0001__PROVIDING,R_0030_0013__SUGGEST)
      & r_0030_0013__suggest(R_0030_0013__SUGGEST)
      & has_arg1(R_0030_0013__SUGGEST,R_0030_0016__WILL_R_0030_0017__BE)
      & r_0030_0016__will_r_0030_0017__be(R_0030_0016__WILL_R_0030_0017__BE)
      & has_r_0030_0024__in__nim(R_0030_0016__WILL_R_0030_0017__BE,R_0030_0025__A_R_0030_0027__TRAPPED_R_0030_0028__SODIUM_R_0030_0029__COOLANT_R_0030_0030__CIRCUIT)
      & r_0030_0025__a_r_0030_0027__trapped_r_0030_0028__sodium_r_0030_0029__coolant_r_0030_0030__circuit(R_0030_0025__A_R_0030_0027__TRAPPED_R_0030_0028__SODIUM_R_0030_0029__COOLANT_R_0030_0030__CIRCUIT)
      & has_attrib(R_0030_0025__A_R_0030_0027__TRAPPED_R_0030_0028__SODIUM_R_0030_0029__COOLANT_R_0030_0030__CIRCUIT,R_0030_0026__HOT)
      & has_prd(R_0030_0016__WILL_R_0030_0017__BE,R_0030_0019__ACCURATE)
      & r_0030_0019__accurate(R_0030_0019__ACCURATE)
      & has_r_0030_0020__as(R_0030_0019__ACCURATE,R_0030_0021__AN_R_0030_0022__OXYGEN_R_0030_0023__MONITOR)
      & has_qual(R_0030_0019__ACCURATE,R_0030_0018__SUFFICIENTLY)
      & has_arg0(R_0030_0016__WILL_R_0030_0017__BE,R_0030_0015__IT)
      & has_arg0(R_0030_0013__SUGGEST,R_0030_0010__THE_R_0030_0012__ARGUMENTS)
      & r_0030_0010__the_r_0030_0012__arguments(R_0030_0010__THE_R_0030_0012__ARGUMENTS)
      & has_qual(R_0030_0010__THE_R_0030_0012__ARGUMENTS,R_0030_0011__ABOVE)
      & has_conj1(R_0030_0001__PROVIDING,R_0030_0008__WORKS)
      & r_0030_0008__works(R_0030_0008__WORKS)
      & has_nim(R_0030_0008__WORKS,R_0030_0009__SATISFACTORILY)
      & has_arg0(R_0030_0008__WORKS,R_0030_0002__A_R_0030_0003__CELL)
      & r_0030_0002__a_r_0030_0003__cell(R_0030_0002__A_R_0030_0003__CELL)
      & has_r_0030_0004__of(R_0030_0002__A_R_0030_0003__CELL,R_0030_0005__THE_R_0030_0007__TYPE)
      & r_0030_0005__the_r_0030_0007__type(R_0030_0005__THE_R_0030_0007__TYPE)
      & has_qual(R_0030_0005__THE_R_0030_0007__TYPE,R_0030_0006__ABOVE) ) ).