TSPC 30_a_lob

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.

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

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_0018__SUFFICIENTLY,R_0030_0021__AN_R_0030_0022__OXYGEN_R_0030_0023__MONITOR,R_0030_0019__ACCURATE,R_0030_0026__HOT,R_0030_0027__TRAPPED,R_0030_0025__A_R_0030_0028__SODIUM_R_0030_0029__COOLANT_R_0030_0030__CIRCUIT,R_0030_0014__THAT_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_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_0027__trapped(R_0030_0027__TRAPPED)
      & 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_0014__THAT_R_0030_0016__WILL_R_0030_0017__BE)
      & r_0030_0014__that_r_0030_0016__will_r_0030_0017__be(R_0030_0014__THAT_R_0030_0016__WILL_R_0030_0017__BE)
      & has_r_0030_0024__in_nim68(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)
      & r_0030_0025__a_r_0030_0028__sodium_r_0030_0029__coolant_r_0030_0030__circuit(R_0030_0025__A_R_0030_0028__SODIUM_R_0030_0029__COOLANT_R_0030_0030__CIRCUIT)
      & has_attrib74(R_0030_0025__A_R_0030_0028__SODIUM_R_0030_0029__COOLANT_R_0030_0030__CIRCUIT,R_0030_0027__TRAPPED)
      & has_attrib71(R_0030_0025__A_R_0030_0028__SODIUM_R_0030_0029__COOLANT_R_0030_0030__CIRCUIT,R_0030_0026__HOT)
      & has_prd(R_0030_0014__THAT_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_qual50(R_0030_0019__ACCURATE,R_0030_0018__SUFFICIENTLY)
      & has_arg0(R_0030_0014__THAT_R_0030_0016__WILL_R_0030_0017__BE,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_qual17(R_0030_0005__THE_R_0030_0007__TYPE,R_0030_0006__ABOVE)
      & 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_qual30(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_nim24(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) ) ).

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