TSPC 75_a_lob

75_a_lob_j01
If other monitoring methods for oxygen in sodium in the concentration range 1-10 p.p.m are found to be inadequate then this galvanic cell may be worth investigating.

arc(r_0075_0001__If, r_0075_0015__are, restriction).
arc(r_0075_0001__If, r_0075_0024__may, scope).
arc(r_0075_0003__monitoring_r_0075_0004__methods, r_0075_0002__other, attrib7).
arc(r_0075_0003__monitoring_r_0075_0004__methods, r_0075_0006__oxygen, r_0075_0005__for).
arc(r_0075_0006__oxygen, r_0075_0008__sodium, r_0075_0007__in).
arc(r_0075_0006__oxygen, r_0075_0010__the_r_0075_0011__concentration_r_0075_0012__range_r_0075_0013__1__hyphen__10_r_0075_0014__p_dot_p_dot_m, r_0075_0009__in).
arc(r_0075_0015__are, r_0075_0016__found, scope).
arc(r_0075_0016__found, r_0075_0003__monitoring_r_0075_0004__methods, arg2).
arc(r_0075_0016__found, r_0075_0017__to_r_0075_0018__be, arg1).
arc(r_0075_0016__found, z_000_75_a_lob_j01_43, arg0).
arc(r_0075_0017__to_r_0075_0018__be, r_0075_0003__monitoring_r_0075_0004__methods, arg0).
arc(r_0075_0017__to_r_0075_0018__be, r_0075_0019__inadequate, prd).
arc(r_0075_0024__may, r_0075_0020__then, nim55).
arc(r_0075_0024__may, r_0075_0025__be, scope).
arc(r_0075_0025__be, r_0075_0021__this_r_0075_0022__galvanic_r_0075_0023__cell, arg0).
arc(r_0075_0025__be, r_0075_0027__investigating, r_0075_0026__worth_clr73).
arc(r_0075_0027__investigating, z_000_75_a_lob_j01_73, arg0).

fof(formula,axiom,
    ! [R_0075_0015__ARE_R_0075_0016__FOUND,R_0075_0002__OTHER,R_0075_0008__SODIUM,R_0075_0010__THE_R_0075_0011__CONCENTRATION_R_0075_0012__RANGE_R_0075_0013__1__HYPHEN__10_R_0075_0014__P_DOT_P_DOT_M,R_0075_0006__OXYGEN,R_0075_0003__MONITORING_R_0075_0004__METHODS,R_0075_0019__INADEQUATE,R_0075_0017__TO_R_0075_0018__BE,Z_000_75_A_LOB_J01_43] :
      ( ( r_0075_0002__other(R_0075_0002__OTHER)
        & r_0075_0008__sodium(R_0075_0008__SODIUM)
        & r_0075_0010__the_r_0075_0011__concentration_r_0075_0012__range_r_0075_0013__1__hyphen__10_r_0075_0014__p_dot_p_dot_m(R_0075_0010__THE_R_0075_0011__CONCENTRATION_R_0075_0012__RANGE_R_0075_0013__1__HYPHEN__10_R_0075_0014__P_DOT_P_DOT_M)
        & r_0075_0019__inadequate(R_0075_0019__INADEQUATE)
        & z_000_75_a_lob_j01_43(Z_000_75_A_LOB_J01_43)
        & r_0075_0015__are_r_0075_0016__found(R_0075_0015__ARE_R_0075_0016__FOUND)
        & has_arg0(R_0075_0015__ARE_R_0075_0016__FOUND,Z_000_75_A_LOB_J01_43)
        & has_arg1(R_0075_0015__ARE_R_0075_0016__FOUND,R_0075_0017__TO_R_0075_0018__BE)
        & r_0075_0017__to_r_0075_0018__be(R_0075_0017__TO_R_0075_0018__BE)
        & has_prd(R_0075_0017__TO_R_0075_0018__BE,R_0075_0019__INADEQUATE)
        & has_arg0(R_0075_0017__TO_R_0075_0018__BE,R_0075_0003__MONITORING_R_0075_0004__METHODS)
        & r_0075_0003__monitoring_r_0075_0004__methods(R_0075_0003__MONITORING_R_0075_0004__METHODS)
        & has_r_0075_0005__for(R_0075_0003__MONITORING_R_0075_0004__METHODS,R_0075_0006__OXYGEN)
        & r_0075_0006__oxygen(R_0075_0006__OXYGEN)
        & has_r_0075_0009__in(R_0075_0006__OXYGEN,R_0075_0010__THE_R_0075_0011__CONCENTRATION_R_0075_0012__RANGE_R_0075_0013__1__HYPHEN__10_R_0075_0014__P_DOT_P_DOT_M)
        & has_r_0075_0007__in(R_0075_0006__OXYGEN,R_0075_0008__SODIUM)
        & has_attrib7(R_0075_0003__MONITORING_R_0075_0004__METHODS,R_0075_0002__OTHER)
        & has_arg2(R_0075_0015__ARE_R_0075_0016__FOUND,R_0075_0003__MONITORING_R_0075_0004__METHODS) )
     => ? [R_0075_0020__THEN,R_0075_0021__THIS_R_0075_0022__GALVANIC_R_0075_0023__CELL,Z_000_75_A_LOB_J01_73,R_0075_0027__INVESTIGATING,R_0075_0024__MAY_R_0075_0025__BE] :
          ( r_0075_0020__then(R_0075_0020__THEN)
          & r_0075_0021__this_r_0075_0022__galvanic_r_0075_0023__cell(R_0075_0021__THIS_R_0075_0022__GALVANIC_R_0075_0023__CELL)
          & z_000_75_a_lob_j01_73(Z_000_75_A_LOB_J01_73)
          & r_0075_0024__may_r_0075_0025__be(R_0075_0024__MAY_R_0075_0025__BE)
          & has_r_0075_0026__worth_clr73(R_0075_0024__MAY_R_0075_0025__BE,R_0075_0027__INVESTIGATING)
          & r_0075_0027__investigating(R_0075_0027__INVESTIGATING)
          & has_arg0(R_0075_0027__INVESTIGATING,Z_000_75_A_LOB_J01_73)
          & has_arg0(R_0075_0024__MAY_R_0075_0025__BE,R_0075_0021__THIS_R_0075_0022__GALVANIC_R_0075_0023__CELL)
          & has_nim55(R_0075_0024__MAY_R_0075_0025__BE,R_0075_0020__THEN) ) ) ).

( (IP-MAT (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ (ADJP (ADJ other;{other}))
                                   (N monitoring;{monitoring})
                                   (NS methods;{method})
                                   (PP (P-ROLE for;{for})
                                       (NP (N oxygen;{oxygen})
                                           (PP (P-ROLE in;{in})
                                               (NP (N sodium;{sodium})))
                                           (PP (P-ROLE in;{in})
                                               (NP (D the;{the})
                                                   (N concentration;{concentration})
                                                   (N range;{range})
                                                   (NUM 1_<hyphen>_10)
                                                   (N p<dot>p<dot>m;{p<dot>p<dot>m}))))))
                           (BEP;_cat_VePASS_ are;{be})
                           (IP-PPL-CAT (NP-LGS *)
                                       (VVN;__ found;{find})
                                       (IP-INF-OB1 (TO to;{to})
                                                   (BE;_La_ be;{be})
                                                   (ADJP-PRD (ADJ inadequate;{inadequate}))))))
          (ADVP-NIM (ADV then;{then}))
          (NP-SBJ (D this;{this})
                  (N galvanic;{galvanic})
                  (N cell;{cell}))
          (MD;_cat_Vi_ may;{may})
          (IP-INF-CAT (BE;_Ipr_ be;{be[worth]})
                      (PP-CLR (P-ROLE worth;{worth})
                              (IP-PPL (VAG;__ investigating;{investigate}))))
          (PUNC .))
  (ID 75_a_lob_j01))