TSPC 43_a_lob

43_a_lob_j01
Unless it is known at what oxygen potential a given material in the sodium coolant circuit will start to oxidise the cell can only be used as has been suggested above, as an oxygen concentration monitor.

arc(r_0043_0001__Unless, r_0043_0003__is, restriction).
arc(r_0043_0001__Unless, r_0043_0023__can, scope).
arc(r_0043_0003__is, r_0043_0004__known, scope).
arc(r_0043_0004__known, r_0043_0017__will, arg1).
arc(r_0043_0004__known, z_000_43_a_lob_j01_12, arg0).
arc(r_0043_0009__a_r_0043_0011__material, r_0043_0010__given, attrib31).
arc(r_0043_0009__a_r_0043_0011__material, r_0043_0013__the_r_0043_0014__sodium_r_0043_0015__coolant_r_0043_0016__circuit, r_0043_0012__in).
arc(r_0043_0017__will, r_0043_0018__start, scope).
arc(r_0043_0018__start, r_0043_0019__to_r_0043_0020__oxidise, scope).
arc(r_0043_0019__to_r_0043_0020__oxidise, r_0043_0006__what_r_0043_0007__oxygen_r_0043_0008__potential, r_0043_0005__at_nim21).
arc(r_0043_0019__to_r_0043_0020__oxidise, r_0043_0009__a_r_0043_0011__material, arg0).
arc(r_0043_0023__can, r_0043_0025__be, scope).
arc(r_0043_0025__be, r_0043_0024__only, nim68).
arc(r_0043_0025__be, r_0043_0027__as, scope).
arc(r_0043_0026__used, r_0043_0021__the_r_0043_0022__cell, arg1).
arc(r_0043_0026__used, r_0043_0034__an_r_0043_0035__oxygen_r_0043_0036__concentration_r_0043_0037__monitor, prd).
arc(r_0043_0026__used, z_000_43_a_lob_j01_74, arg0).
arc(r_0043_0027__as, r_0043_0026__used, scope).
arc(r_0043_0027__as, r_0043_0028__has, restriction).
arc(r_0043_0028__has, r_0043_0029__been, scope).
arc(r_0043_0029__been, r_0043_0030__suggested, scope).
arc(r_0043_0030__suggested, r_0043_0031__above, nim95).
arc(r_0043_0030__suggested, z_000_43_a_lob_j01_82, arg1).
arc(r_0043_0030__suggested, z_000_43_a_lob_j01_91, arg0).

fof(formula,axiom,
    ? [R_0043_0006__WHAT_R_0043_0007__OXYGEN_R_0043_0008__POTENTIAL,R_0043_0010__GIVEN,R_0043_0013__THE_R_0043_0014__SODIUM_R_0043_0015__COOLANT_R_0043_0016__CIRCUIT,R_0043_0009__A_R_0043_0011__MATERIAL,R_0043_0017__WILL_R_0043_0018__START_R_0043_0019__TO_R_0043_0020__OXIDISE,Z_000_43_A_LOB_J01_12,R_0043_0003__IS_R_0043_0004__KNOWN,R_0043_0024__ONLY,R_0043_0021__THE_R_0043_0022__CELL,R_0043_0034__AN_R_0043_0035__OXYGEN_R_0043_0036__CONCENTRATION_R_0043_0037__MONITOR,Z_000_43_A_LOB_J01_74,R_0043_0026__USED,R_0043_0031__ABOVE,Z_000_43_A_LOB_J01_82,Z_000_43_A_LOB_J01_91,R_0043_0028__HAS_R_0043_0029__BEEN_R_0043_0030__SUGGESTED,R_0043_0027__AS,R_0043_0023__CAN_R_0043_0025__BE,R_0043_0001__UNLESS] :
      ( r_0043_0006__what_r_0043_0007__oxygen_r_0043_0008__potential(R_0043_0006__WHAT_R_0043_0007__OXYGEN_R_0043_0008__POTENTIAL)
      & r_0043_0010__given(R_0043_0010__GIVEN)
      & r_0043_0013__the_r_0043_0014__sodium_r_0043_0015__coolant_r_0043_0016__circuit(R_0043_0013__THE_R_0043_0014__SODIUM_R_0043_0015__COOLANT_R_0043_0016__CIRCUIT)
      & r_0043_0021__the_r_0043_0022__cell(R_0043_0021__THE_R_0043_0022__CELL)
      & r_0043_0024__only(R_0043_0024__ONLY)
      & r_0043_0031__above(R_0043_0031__ABOVE)
      & r_0043_0034__an_r_0043_0035__oxygen_r_0043_0036__concentration_r_0043_0037__monitor(R_0043_0034__AN_R_0043_0035__OXYGEN_R_0043_0036__CONCENTRATION_R_0043_0037__MONITOR)
      & z_000_43_a_lob_j01_12(Z_000_43_A_LOB_J01_12)
      & z_000_43_a_lob_j01_74(Z_000_43_A_LOB_J01_74)
      & z_000_43_a_lob_j01_82(Z_000_43_A_LOB_J01_82)
      & z_000_43_a_lob_j01_91(Z_000_43_A_LOB_J01_91)
      & r_0043_0001__Unless(R_0043_0001__UNLESS)
      & has_conj2(R_0043_0001__UNLESS,R_0043_0023__CAN_R_0043_0025__BE)
      & r_0043_0023__can_r_0043_0025__be(R_0043_0023__CAN_R_0043_0025__BE)
      & has_keep_scope(R_0043_0023__CAN_R_0043_0025__BE,R_0043_0027__AS)
      & r_0043_0027__as(R_0043_0027__AS)
      & has_conj1(R_0043_0027__AS,R_0043_0028__HAS_R_0043_0029__BEEN_R_0043_0030__SUGGESTED)
      & r_0043_0028__has_r_0043_0029__been_r_0043_0030__suggested(R_0043_0028__HAS_R_0043_0029__BEEN_R_0043_0030__SUGGESTED)
      & has_arg0(R_0043_0028__HAS_R_0043_0029__BEEN_R_0043_0030__SUGGESTED,Z_000_43_A_LOB_J01_91)
      & has_arg1(R_0043_0028__HAS_R_0043_0029__BEEN_R_0043_0030__SUGGESTED,Z_000_43_A_LOB_J01_82)
      & has_nim95(R_0043_0028__HAS_R_0043_0029__BEEN_R_0043_0030__SUGGESTED,R_0043_0031__ABOVE)
      & has_conj2(R_0043_0027__AS,R_0043_0026__USED)
      & r_0043_0026__used(R_0043_0026__USED)
      & has_arg0(R_0043_0026__USED,Z_000_43_A_LOB_J01_74)
      & has_prd(R_0043_0026__USED,R_0043_0034__AN_R_0043_0035__OXYGEN_R_0043_0036__CONCENTRATION_R_0043_0037__MONITOR)
      & has_arg1(R_0043_0026__USED,R_0043_0021__THE_R_0043_0022__CELL)
      & has_nim68(R_0043_0023__CAN_R_0043_0025__BE,R_0043_0024__ONLY)
      & has_conj1(R_0043_0001__UNLESS,R_0043_0003__IS_R_0043_0004__KNOWN)
      & r_0043_0003__is_r_0043_0004__known(R_0043_0003__IS_R_0043_0004__KNOWN)
      & has_arg0(R_0043_0003__IS_R_0043_0004__KNOWN,Z_000_43_A_LOB_J01_12)
      & has_arg1(R_0043_0003__IS_R_0043_0004__KNOWN,R_0043_0017__WILL_R_0043_0018__START_R_0043_0019__TO_R_0043_0020__OXIDISE)
      & r_0043_0017__will_r_0043_0018__start_r_0043_0019__to_r_0043_0020__oxidise(R_0043_0017__WILL_R_0043_0018__START_R_0043_0019__TO_R_0043_0020__OXIDISE)
      & has_arg0(R_0043_0017__WILL_R_0043_0018__START_R_0043_0019__TO_R_0043_0020__OXIDISE,R_0043_0009__A_R_0043_0011__MATERIAL)
      & r_0043_0009__a_r_0043_0011__material(R_0043_0009__A_R_0043_0011__MATERIAL)
      & has_r_0043_0012__in(R_0043_0009__A_R_0043_0011__MATERIAL,R_0043_0013__THE_R_0043_0014__SODIUM_R_0043_0015__COOLANT_R_0043_0016__CIRCUIT)
      & has_attrib31(R_0043_0009__A_R_0043_0011__MATERIAL,R_0043_0010__GIVEN)
      & has_r_0043_0005__at_nim21(R_0043_0017__WILL_R_0043_0018__START_R_0043_0019__TO_R_0043_0020__OXIDISE,R_0043_0006__WHAT_R_0043_0007__OXYGEN_R_0043_0008__POTENTIAL) ) ).

( (IP-MAT (PP-SCON (P-CONN Unless;{unless})
                   (IP-ADV (NP-SBJ (PRO;_provisional_ it;{it}))
                           (BEP;_cat_VePASS_ is;{be})
                           (IP-PPL-CAT (NP-LGS *)
                                       (VVN;_Tn_ known;{know})
                                       (CP-QUE-NSBJ (IP-SUB (PP-133 (P-ROLE at;{at})
                                                                    (NP (WD what;{what})
                                                                        (N oxygen;{oxygen})
                                                                        (N potential;{potential})))
                                                            (NP-SBJ (D a;{a})
                                                                    (ADJP (ADJ given;{given}))
                                                                    (N material;{material})
                                                                    (PP (P-ROLE in;{in})
                                                                        (NP (D the;{the})
                                                                            (N sodium;{sodium})
                                                                            (N coolant;{coolant})
                                                                            (N circuit;{circuit}))))
                                                            (MD;_cat_Vi_ will;{will})
                                                            (IP-INF-CAT (VB;_cat_Vt_ start;{start})
                                                                        (IP-INF-CAT (TO to;{to})
                                                                                    (VB;_I_ oxidise;{oxidise})
                                                                                    (PP-NIM *ICH*-133))))))))
          (NP-SBJ (D the;{the})
                  (N cell;{cell}))
          (MD;_cat_Vi_ can;{can})
          (IP-INF-CAT (ADVP-NIM (ADV only;{only}))
                      (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Cn.n/a_ used;{use[as]})
                                  (PP-SCON (P-CONN as;{as})
                                           (IP-ADV (NP-SBJ (N *))
                                                   (HVP;_cat_Ve_ has;{have})
                                                   (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                                                               (IP-PPL-CAT (NP-LGS *)
                                                                           (VVN;_Tn_ suggested;{suggest})
                                                                           (ADVP-NIM (ADV above;{above}))))))
                                  (PUNC ,)
                                  (PP-PRD (P-ROLE as;{as})
                                          (NP (D an;{an})
                                              (N oxygen;{oxygen})
                                              (N concentration;{concentration})
                                              (N monitor;{monitor})))))
          (PUNC .))
  (ID 43_a_lob_j01))