Context                Previous, Next                Top


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.

%3 r_0075_0001__If If r_0075_0015__are are r_0075_0001__If->r_0075_0015__are [restriction] r_0075_0024__may may r_0075_0001__If->r_0075_0024__may [scope] r_0075_0016__found found r_0075_0015__are->r_0075_0016__found [scope] r_0075_0020__then then r_0075_0024__may->r_0075_0020__then [nim] r_0075_0025__be be r_0075_0024__may->r_0075_0025__be [scope] r_0075_0003__monitoring_r_0075_0004__methods monitoring methods r_0075_0002__other other r_0075_0003__monitoring_r_0075_0004__methods->r_0075_0002__other [attrib] r_0075_0006__oxygen oxygen r_0075_0003__monitoring_r_0075_0004__methods->r_0075_0006__oxygen for r_0075_0008__sodium sodium r_0075_0006__oxygen->r_0075_0008__sodium in 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 the concentration range 1-10 p.p.m 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 in r_0075_0016__found->r_0075_0003__monitoring_r_0075_0004__methods [arg2] r_0075_0017__to_r_0075_0018__be to be r_0075_0016__found->r_0075_0017__to_r_0075_0018__be [arg1] z_000_75_a_lob_j01_43 r_0075_0016__found->z_000_75_a_lob_j01_43 [arg0] r_0075_0017__to_r_0075_0018__be->r_0075_0003__monitoring_r_0075_0004__methods [arg0] r_0075_0019__inadequate inadequate r_0075_0017__to_r_0075_0018__be->r_0075_0019__inadequate [prd] r_0075_0021__this_r_0075_0022__galvanic_r_0075_0023__cell this galvanic cell r_0075_0025__be->r_0075_0021__this_r_0075_0022__galvanic_r_0075_0023__cell [arg0] r_0075_0027__investigating investigating r_0075_0025__be->r_0075_0027__investigating worth [clr] z_000_75_a_lob_j01_73 r_0075_0027__investigating->z_000_75_a_lob_j01_73 [arg0] 
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).


%3 r_0075_0001__If If r_0075_0015__are_r_0075_0016__found are found r_0075_0001__If->r_0075_0015__are_r_0075_0016__found [restriction] r_0075_0024__may_r_0075_0025__be may be r_0075_0001__If->r_0075_0024__may_r_0075_0025__be [scope] r_0075_0003__monitoring_r_0075_0004__methods monitoring methods r_0075_0015__are_r_0075_0016__found->r_0075_0003__monitoring_r_0075_0004__methods [arg2] r_0075_0017__to_r_0075_0018__be to be r_0075_0015__are_r_0075_0016__found->r_0075_0017__to_r_0075_0018__be [arg1] z_000_75_a_lob_j01_43 r_0075_0015__are_r_0075_0016__found->z_000_75_a_lob_j01_43 [arg0] r_0075_0020__then then r_0075_0024__may_r_0075_0025__be->r_0075_0020__then [nim] r_0075_0021__this_r_0075_0022__galvanic_r_0075_0023__cell this galvanic cell r_0075_0024__may_r_0075_0025__be->r_0075_0021__this_r_0075_0022__galvanic_r_0075_0023__cell [arg0] r_0075_0027__investigating investigating r_0075_0024__may_r_0075_0025__be->r_0075_0027__investigating worth [clr] r_0075_0002__other other r_0075_0003__monitoring_r_0075_0004__methods->r_0075_0002__other [attrib] r_0075_0006__oxygen oxygen r_0075_0003__monitoring_r_0075_0004__methods->r_0075_0006__oxygen for r_0075_0008__sodium sodium r_0075_0006__oxygen->r_0075_0008__sodium in 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 the concentration range 1-10 p.p.m 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 in r_0075_0017__to_r_0075_0018__be->r_0075_0003__monitoring_r_0075_0004__methods [arg0] r_0075_0019__inadequate inadequate r_0075_0017__to_r_0075_0018__be->r_0075_0019__inadequate [prd] z_000_75_a_lob_j01_73 r_0075_0027__investigating->z_000_75_a_lob_j01_73 [arg0] 
fof(formula,axiom,
    ! [R_75_15_ARE_FOUND,Z_75_A_LOB_J01_43,R_75_17_TO_BE,R_75_19_INADEQUATE,R_75_3_MONITORING_METHODS,R_75_2_OTHER,R_75_6_OXYGEN,R_75_8_SODIUM,R_75_10_THE_CONCENTRATION_RANGE_1_HYPHEN_10_P_DOT_P_DOT_M] :
      ( ( inadequate(R_75_19_INADEQUATE)
        & other(R_75_2_OTHER)
        & sodium(R_75_8_SODIUM)
        & the_concentration_range_1_hyphen_10_p_dot_p_dot_m(R_75_10_THE_CONCENTRATION_RANGE_1_HYPHEN_10_P_DOT_P_DOT_M)
        & are_found(R_75_15_ARE_FOUND,Z_75_A_LOB_J01_43,R_75_17_TO_BE,R_75_3_MONITORING_METHODS)
        & to_be(R_75_17_TO_BE,R_75_3_MONITORING_METHODS,R_75_19_INADEQUATE)
        & monitoring_methods(R_75_3_MONITORING_METHODS)
        & attrib7(R_75_3_MONITORING_METHODS,R_75_2_OTHER)
        & for(R_75_3_MONITORING_METHODS,R_75_6_OXYGEN)
        & oxygen(R_75_6_OXYGEN)
        & in(R_75_6_OXYGEN,R_75_8_SODIUM)
        & in(R_75_6_OXYGEN,R_75_10_THE_CONCENTRATION_RANGE_1_HYPHEN_10_P_DOT_P_DOT_M) )
     => ? [R_75_24_MAY_BE,R_75_21_THIS_GALVANIC_CELL,R_75_20_THEN,R_75_27_INVESTIGATING,Z_75_A_LOB_J01_73] :
          ( this_galvanic_cell(R_75_21_THIS_GALVANIC_CELL)
          & then(R_75_20_THEN)
          & may_be(R_75_24_MAY_BE,R_75_21_THIS_GALVANIC_CELL)
          & nim55(R_75_24_MAY_BE,R_75_20_THEN)
          & worth_clr73(R_75_24_MAY_BE,R_75_27_INVESTIGATING)
          & investigating(R_75_27_INVESTIGATING,Z_75_A_LOB_J01_73) ) ) ).


n75_a_lob_j01 n75_a_lob_j01_4 If n75_a_lob_j01_9 other n75_a_lob_j01_11 monitoring n75_a_lob_j01_13 methods n75_a_lob_j01_16 for n75_a_lob_j01_19 oxygen n75_a_lob_j01_22 in n75_a_lob_j01_25 sodium n75_a_lob_j01_28 in n75_a_lob_j01_31 the n75_a_lob_j01_33 concentration n75_a_lob_j01_35 range n75_a_lob_j01_37 1-10 n75_a_lob_j01_39 p.p.m n75_a_lob_j01_41 are n75_a_lob_j01_44 * n75_a_lob_j01_46 found n75_a_lob_j01_49 to n75_a_lob_j01_51 be n75_a_lob_j01_54 inadequate n75_a_lob_j01_57 then n75_a_lob_j01_60 this n75_a_lob_j01_62 galvanic n75_a_lob_j01_64 cell n75_a_lob_j01_66 may n75_a_lob_j01_69 be n75_a_lob_j01_72 worth n75_a_lob_j01_75 investigating n75_a_lob_j01_77 . n75_a_lob_j01_1 IP-MAT n75_a_lob_j01_2 PP-SCON n75_a_lob_j01_1->n75_a_lob_j01_2 n75_a_lob_j01_55 ADVP-NIM n75_a_lob_j01_1->n75_a_lob_j01_55 n75_a_lob_j01_58 NP-SBJ n75_a_lob_j01_1->n75_a_lob_j01_58 n75_a_lob_j01_65 MD;_cat_Vi_ n75_a_lob_j01_1->n75_a_lob_j01_65 n75_a_lob_j01_67 IP-INF-CAT n75_a_lob_j01_1->n75_a_lob_j01_67 n75_a_lob_j01_76 PUNC n75_a_lob_j01_1->n75_a_lob_j01_76 n75_a_lob_j01_3 P-CONN n75_a_lob_j01_2->n75_a_lob_j01_3 n75_a_lob_j01_5 IP-ADV n75_a_lob_j01_2->n75_a_lob_j01_5 n75_a_lob_j01_3->n75_a_lob_j01_4 n75_a_lob_j01_6 NP-SBJ n75_a_lob_j01_5->n75_a_lob_j01_6 n75_a_lob_j01_40 BEP;_cat_VePASS_ n75_a_lob_j01_5->n75_a_lob_j01_40 n75_a_lob_j01_42 IP-PPL-CAT n75_a_lob_j01_5->n75_a_lob_j01_42 n75_a_lob_j01_7 ADJP n75_a_lob_j01_6->n75_a_lob_j01_7 n75_a_lob_j01_10 N n75_a_lob_j01_6->n75_a_lob_j01_10 n75_a_lob_j01_12 NS n75_a_lob_j01_6->n75_a_lob_j01_12 n75_a_lob_j01_14 PP n75_a_lob_j01_6->n75_a_lob_j01_14 n75_a_lob_j01_8 ADJ n75_a_lob_j01_7->n75_a_lob_j01_8 n75_a_lob_j01_8->n75_a_lob_j01_9 n75_a_lob_j01_10->n75_a_lob_j01_11 n75_a_lob_j01_12->n75_a_lob_j01_13 n75_a_lob_j01_15 P-ROLE n75_a_lob_j01_14->n75_a_lob_j01_15 n75_a_lob_j01_17 NP n75_a_lob_j01_14->n75_a_lob_j01_17 n75_a_lob_j01_15->n75_a_lob_j01_16 n75_a_lob_j01_18 N n75_a_lob_j01_17->n75_a_lob_j01_18 n75_a_lob_j01_20 PP n75_a_lob_j01_17->n75_a_lob_j01_20 n75_a_lob_j01_26 PP n75_a_lob_j01_17->n75_a_lob_j01_26 n75_a_lob_j01_18->n75_a_lob_j01_19 n75_a_lob_j01_21 P-ROLE n75_a_lob_j01_20->n75_a_lob_j01_21 n75_a_lob_j01_23 NP n75_a_lob_j01_20->n75_a_lob_j01_23 n75_a_lob_j01_21->n75_a_lob_j01_22 n75_a_lob_j01_24 N n75_a_lob_j01_23->n75_a_lob_j01_24 n75_a_lob_j01_24->n75_a_lob_j01_25 n75_a_lob_j01_27 P-ROLE n75_a_lob_j01_26->n75_a_lob_j01_27 n75_a_lob_j01_29 NP n75_a_lob_j01_26->n75_a_lob_j01_29 n75_a_lob_j01_27->n75_a_lob_j01_28 n75_a_lob_j01_30 D n75_a_lob_j01_29->n75_a_lob_j01_30 n75_a_lob_j01_32 N n75_a_lob_j01_29->n75_a_lob_j01_32 n75_a_lob_j01_34 N n75_a_lob_j01_29->n75_a_lob_j01_34 n75_a_lob_j01_36 NUM n75_a_lob_j01_29->n75_a_lob_j01_36 n75_a_lob_j01_38 N n75_a_lob_j01_29->n75_a_lob_j01_38 n75_a_lob_j01_30->n75_a_lob_j01_31 n75_a_lob_j01_32->n75_a_lob_j01_33 n75_a_lob_j01_34->n75_a_lob_j01_35 n75_a_lob_j01_36->n75_a_lob_j01_37 n75_a_lob_j01_38->n75_a_lob_j01_39 n75_a_lob_j01_40->n75_a_lob_j01_41 n75_a_lob_j01_43 NP-LGS n75_a_lob_j01_42->n75_a_lob_j01_43 n75_a_lob_j01_45 VVN;__ n75_a_lob_j01_42->n75_a_lob_j01_45 n75_a_lob_j01_47 IP-INF-OB1 n75_a_lob_j01_42->n75_a_lob_j01_47 n75_a_lob_j01_43->n75_a_lob_j01_44 n75_a_lob_j01_45->n75_a_lob_j01_46 n75_a_lob_j01_48 TO n75_a_lob_j01_47->n75_a_lob_j01_48 n75_a_lob_j01_50 BE;_La_ n75_a_lob_j01_47->n75_a_lob_j01_50 n75_a_lob_j01_52 ADJP-PRD n75_a_lob_j01_47->n75_a_lob_j01_52 n75_a_lob_j01_48->n75_a_lob_j01_49 n75_a_lob_j01_50->n75_a_lob_j01_51 n75_a_lob_j01_53 ADJ n75_a_lob_j01_52->n75_a_lob_j01_53 n75_a_lob_j01_53->n75_a_lob_j01_54 n75_a_lob_j01_56 ADV n75_a_lob_j01_55->n75_a_lob_j01_56 n75_a_lob_j01_56->n75_a_lob_j01_57 n75_a_lob_j01_59 D n75_a_lob_j01_58->n75_a_lob_j01_59 n75_a_lob_j01_61 N n75_a_lob_j01_58->n75_a_lob_j01_61 n75_a_lob_j01_63 N n75_a_lob_j01_58->n75_a_lob_j01_63 n75_a_lob_j01_59->n75_a_lob_j01_60 n75_a_lob_j01_61->n75_a_lob_j01_62 n75_a_lob_j01_63->n75_a_lob_j01_64 n75_a_lob_j01_65->n75_a_lob_j01_66 n75_a_lob_j01_68 BE;_Ipr_ n75_a_lob_j01_67->n75_a_lob_j01_68 n75_a_lob_j01_70 PP-CLR n75_a_lob_j01_67->n75_a_lob_j01_70 n75_a_lob_j01_68->n75_a_lob_j01_69 n75_a_lob_j01_71 P-ROLE n75_a_lob_j01_70->n75_a_lob_j01_71 n75_a_lob_j01_73 IP-PPL n75_a_lob_j01_70->n75_a_lob_j01_73 n75_a_lob_j01_71->n75_a_lob_j01_72 n75_a_lob_j01_74 VAG;__ n75_a_lob_j01_73->n75_a_lob_j01_74 n75_a_lob_j01_74->n75_a_lob_j01_75 n75_a_lob_j01_76->n75_a_lob_j01_77 
( (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))