Context                Previous, Next                Top


76_a_lob_j01
However, it will require development of a suitable electrolyte and even then it will only be useful if the activity of the dissolved oxygen varies sufficiently with changes in its concentration.

%3 r_0076_0004__will will r_0076_0001__However However r_0076_0004__will->r_0076_0001__However [nim] r_0076_0005__require require r_0076_0004__will->r_0076_0005__require [scope] r_0076_0003__it it r_0076_0005__require->r_0076_0003__it [arg0] r_0076_0006__development development r_0076_0005__require->r_0076_0006__development [arg1] r_0076_0008__a_r_0076_0010__electrolyte a electrolyte r_0076_0006__development->r_0076_0008__a_r_0076_0010__electrolyte of r_0076_0009__suitable suitable r_0076_0008__a_r_0076_0010__electrolyte->r_0076_0009__suitable [attrib] r_0076_0011__and and r_0076_0011__and->r_0076_0004__will [conj1] r_0076_0018__if if r_0076_0011__and->r_0076_0018__if [conj2] r_0076_0014__will will r_0076_0018__if->r_0076_0014__will [scope] r_0076_0025__varies varies r_0076_0018__if->r_0076_0025__varies [restriction] r_0076_0012__even_then even then r_0076_0014__will->r_0076_0012__even_then [nim] r_0076_0016__be be r_0076_0014__will->r_0076_0016__be [scope] r_0076_0016__be->r_0076_0008__a_r_0076_0010__electrolyte [arg0] r_0076_0015__only only r_0076_0016__be->r_0076_0015__only [nim] r_0076_0017__useful useful r_0076_0016__be->r_0076_0017__useful [prd] r_0076_0019__the_r_0076_0020__activity the activity r_0076_0025__varies->r_0076_0019__the_r_0076_0020__activity [arg0] r_0076_0026__sufficiently sufficiently r_0076_0025__varies->r_0076_0026__sufficiently [nim] r_0076_0028__changes changes r_0076_0025__varies->r_0076_0028__changes with [nim] r_0076_0022__the_r_0076_0024__oxygen the oxygen r_0076_0019__the_r_0076_0020__activity->r_0076_0022__the_r_0076_0024__oxygen of r_0076_0023__dissolved dissolved r_0076_0022__the_r_0076_0024__oxygen->r_0076_0023__dissolved [attrib] r_0076_0031__concentration concentration r_0076_0028__changes->r_0076_0031__concentration in r_0076_0031__concentration->r_0076_0022__the_r_0076_0024__oxygen [gen] 
arc(r_0076_0004__will, r_0076_0001__However, nim4).
arc(r_0076_0004__will, r_0076_0005__require, scope).
arc(r_0076_0005__require, r_0076_0003__it, arg0).
arc(r_0076_0005__require, r_0076_0006__development, arg1).
arc(r_0076_0006__development, r_0076_0008__a_r_0076_0010__electrolyte, r_0076_0007__of).
arc(r_0076_0008__a_r_0076_0010__electrolyte, r_0076_0009__suitable, attrib26).
arc(r_0076_0011__and, r_0076_0004__will, conj1).
arc(r_0076_0011__and, r_0076_0018__if, conj2).
arc(r_0076_0014__will, r_0076_0012__even_then, nim35).
arc(r_0076_0014__will, r_0076_0016__be, scope).
arc(r_0076_0016__be, r_0076_0008__a_r_0076_0010__electrolyte, arg0).
arc(r_0076_0016__be, r_0076_0015__only, nim44).
arc(r_0076_0016__be, r_0076_0017__useful, prd).
arc(r_0076_0018__if, r_0076_0014__will, scope).
arc(r_0076_0018__if, r_0076_0025__varies, restriction).
arc(r_0076_0019__the_r_0076_0020__activity, r_0076_0022__the_r_0076_0024__oxygen, r_0076_0021__of).
arc(r_0076_0022__the_r_0076_0024__oxygen, r_0076_0023__dissolved, attrib67).
arc(r_0076_0025__varies, r_0076_0019__the_r_0076_0020__activity, arg0).
arc(r_0076_0025__varies, r_0076_0026__sufficiently, nim74).
arc(r_0076_0025__varies, r_0076_0028__changes, r_0076_0027__with_nim80).
arc(r_0076_0028__changes, r_0076_0031__concentration, r_0076_0029__in).
arc(r_0076_0031__concentration, r_0076_0022__the_r_0076_0024__oxygen, gen).


%3 r_0076_0004__will_r_0076_0005__require will require r_0076_0001__However However r_0076_0004__will_r_0076_0005__require->r_0076_0001__However [nim] r_0076_0003__it it r_0076_0004__will_r_0076_0005__require->r_0076_0003__it [arg0] r_0076_0006__development development r_0076_0004__will_r_0076_0005__require->r_0076_0006__development [arg1] r_0076_0008__a_r_0076_0010__electrolyte a electrolyte r_0076_0006__development->r_0076_0008__a_r_0076_0010__electrolyte of r_0076_0009__suitable suitable r_0076_0008__a_r_0076_0010__electrolyte->r_0076_0009__suitable [attrib] r_0076_0011__and and r_0076_0011__and->r_0076_0004__will_r_0076_0005__require [conj1] r_0076_0018__if if r_0076_0011__and->r_0076_0018__if [conj2] r_0076_0014__will_r_0076_0016__be will be r_0076_0018__if->r_0076_0014__will_r_0076_0016__be [scope] r_0076_0025__varies varies r_0076_0018__if->r_0076_0025__varies [restriction] r_0076_0014__will_r_0076_0016__be->r_0076_0008__a_r_0076_0010__electrolyte [arg0] r_0076_0012__even_then even then r_0076_0014__will_r_0076_0016__be->r_0076_0012__even_then [nim] r_0076_0015__only only r_0076_0014__will_r_0076_0016__be->r_0076_0015__only [nim] r_0076_0017__useful useful r_0076_0014__will_r_0076_0016__be->r_0076_0017__useful [prd] r_0076_0019__the_r_0076_0020__activity the activity r_0076_0025__varies->r_0076_0019__the_r_0076_0020__activity [arg0] r_0076_0026__sufficiently sufficiently r_0076_0025__varies->r_0076_0026__sufficiently [nim] r_0076_0028__changes changes r_0076_0025__varies->r_0076_0028__changes with [nim] r_0076_0022__the_r_0076_0024__oxygen the oxygen r_0076_0019__the_r_0076_0020__activity->r_0076_0022__the_r_0076_0024__oxygen of r_0076_0023__dissolved dissolved r_0076_0022__the_r_0076_0024__oxygen->r_0076_0023__dissolved [attrib] r_0076_0031__concentration concentration r_0076_0028__changes->r_0076_0031__concentration in r_0076_0031__concentration->r_0076_0022__the_r_0076_0024__oxygen [gen] 
fof(formula,axiom,
    ? [R_76_11_AND,R_76_4_WILL_REQUIRE,R_76_3_IT,R_76_6_DEVELOPMENT,R_76_8_A_ELECTROLYTE,R_76_9_SUITABLE,R_76_1_HOWEVER] :
      ( it(R_76_3_IT)
      & suitable(R_76_9_SUITABLE)
      & however(R_76_1_HOWEVER)
      & ! [R_76_25_VARIES,R_76_19_THE_ACTIVITY,R_76_26_SUFFICIENTLY,R_76_28_CHANGES,R_76_31_CONCENTRATION,R_76_22_THE_OXYGEN,R_76_23_DISSOLVED] :
          ( ( sufficiently(R_76_26_SUFFICIENTLY)
            & dissolved(R_76_23_DISSOLVED)
            & varies(R_76_25_VARIES,R_76_19_THE_ACTIVITY)
            & the_activity(R_76_19_THE_ACTIVITY)
            & of(R_76_19_THE_ACTIVITY,R_76_22_THE_OXYGEN)
            & the_oxygen(R_76_22_THE_OXYGEN)
            & attrib67(R_76_22_THE_OXYGEN,R_76_23_DISSOLVED)
            & nim74(R_76_25_VARIES,R_76_26_SUFFICIENTLY)
            & with_nim80(R_76_25_VARIES,R_76_28_CHANGES)
            & changes(R_76_28_CHANGES)
            & in(R_76_28_CHANGES,R_76_31_CONCENTRATION)
            & concentration(R_76_31_CONCENTRATION)
            & gen(R_76_31_CONCENTRATION,R_76_22_THE_OXYGEN) )
         => ? [R_76_14_WILL_BE,R_76_12_EVEN_THEN,R_76_15_ONLY,R_76_17_USEFUL] :
              ( even_then(R_76_12_EVEN_THEN)
              & only(R_76_15_ONLY)
              & useful(R_76_17_USEFUL)
              & will_be(R_76_14_WILL_BE,R_76_8_A_ELECTROLYTE,R_76_17_USEFUL)
              & nim35(R_76_14_WILL_BE,R_76_12_EVEN_THEN)
              & nim44(R_76_14_WILL_BE,R_76_15_ONLY) ) )
      & conj2(CONJ2)
      & and(R_76_11_AND)
      & conj1(R_76_11_AND,R_76_4_WILL_REQUIRE)
      & will_require(R_76_4_WILL_REQUIRE,R_76_3_IT,R_76_6_DEVELOPMENT)
      & development(R_76_6_DEVELOPMENT)
      & of(R_76_6_DEVELOPMENT,R_76_8_A_ELECTROLYTE)
      & a_electrolyte(R_76_8_A_ELECTROLYTE)
      & attrib26(R_76_8_A_ELECTROLYTE,R_76_9_SUITABLE)
      & nim4(R_76_4_WILL_REQUIRE,R_76_1_HOWEVER) ) ).


n76_a_lob_j01 n76_a_lob_j01_6 However n76_a_lob_j01_8 , n76_a_lob_j01_11 it n76_a_lob_j01_13 will n76_a_lob_j01_16 require n76_a_lob_j01_19 development n76_a_lob_j01_22 of n76_a_lob_j01_25 a n76_a_lob_j01_28 suitable n76_a_lob_j01_30 electrolyte n76_a_lob_j01_33 and n76_a_lob_j01_37 even_then n76_a_lob_j01_40 it n76_a_lob_j01_42 will n76_a_lob_j01_46 only n76_a_lob_j01_48 be n76_a_lob_j01_51 useful n76_a_lob_j01_54 if n76_a_lob_j01_58 the n76_a_lob_j01_60 activity n76_a_lob_j01_63 of n76_a_lob_j01_66 the n76_a_lob_j01_69 dissolved n76_a_lob_j01_71 oxygen n76_a_lob_j01_73 varies n76_a_lob_j01_76 sufficiently n76_a_lob_j01_79 with n76_a_lob_j01_82 changes n76_a_lob_j01_85 in n76_a_lob_j01_89 its n76_a_lob_j01_91 concentration n76_a_lob_j01_93 . n76_a_lob_j01_1 IP-MAT n76_a_lob_j01_2 ILYR n76_a_lob_j01_1->n76_a_lob_j01_2 n76_a_lob_j01_92 PUNC n76_a_lob_j01_1->n76_a_lob_j01_92 n76_a_lob_j01_3 ILYR n76_a_lob_j01_2->n76_a_lob_j01_3 n76_a_lob_j01_31 CONJP n76_a_lob_j01_2->n76_a_lob_j01_31 n76_a_lob_j01_4 ADVP-NIM n76_a_lob_j01_3->n76_a_lob_j01_4 n76_a_lob_j01_7 PUNC n76_a_lob_j01_3->n76_a_lob_j01_7 n76_a_lob_j01_9 NP-SBJ n76_a_lob_j01_3->n76_a_lob_j01_9 n76_a_lob_j01_12 MD;_cat_Vi_ n76_a_lob_j01_3->n76_a_lob_j01_12 n76_a_lob_j01_14 IP-INF-CAT n76_a_lob_j01_3->n76_a_lob_j01_14 n76_a_lob_j01_5 ADV n76_a_lob_j01_4->n76_a_lob_j01_5 n76_a_lob_j01_5->n76_a_lob_j01_6 n76_a_lob_j01_7->n76_a_lob_j01_8 n76_a_lob_j01_10 PRO n76_a_lob_j01_9->n76_a_lob_j01_10 n76_a_lob_j01_10->n76_a_lob_j01_11 n76_a_lob_j01_12->n76_a_lob_j01_13 n76_a_lob_j01_15 VB;__ n76_a_lob_j01_14->n76_a_lob_j01_15 n76_a_lob_j01_17 NP-OB1 n76_a_lob_j01_14->n76_a_lob_j01_17 n76_a_lob_j01_15->n76_a_lob_j01_16 n76_a_lob_j01_18 N n76_a_lob_j01_17->n76_a_lob_j01_18 n76_a_lob_j01_20 PP n76_a_lob_j01_17->n76_a_lob_j01_20 n76_a_lob_j01_18->n76_a_lob_j01_19 n76_a_lob_j01_21 P-ROLE n76_a_lob_j01_20->n76_a_lob_j01_21 n76_a_lob_j01_23 NP n76_a_lob_j01_20->n76_a_lob_j01_23 n76_a_lob_j01_21->n76_a_lob_j01_22 n76_a_lob_j01_24 D n76_a_lob_j01_23->n76_a_lob_j01_24 n76_a_lob_j01_26 ADJP n76_a_lob_j01_23->n76_a_lob_j01_26 n76_a_lob_j01_29 N n76_a_lob_j01_23->n76_a_lob_j01_29 n76_a_lob_j01_24->n76_a_lob_j01_25 n76_a_lob_j01_27 ADJ n76_a_lob_j01_26->n76_a_lob_j01_27 n76_a_lob_j01_27->n76_a_lob_j01_28 n76_a_lob_j01_29->n76_a_lob_j01_30 n76_a_lob_j01_32 CONJ n76_a_lob_j01_31->n76_a_lob_j01_32 n76_a_lob_j01_34 ILYR n76_a_lob_j01_31->n76_a_lob_j01_34 n76_a_lob_j01_32->n76_a_lob_j01_33 n76_a_lob_j01_35 ADVP-NIM n76_a_lob_j01_34->n76_a_lob_j01_35 n76_a_lob_j01_38 NP-SBJ n76_a_lob_j01_34->n76_a_lob_j01_38 n76_a_lob_j01_41 MD;_cat_Vi_ n76_a_lob_j01_34->n76_a_lob_j01_41 n76_a_lob_j01_43 IP-INF-CAT n76_a_lob_j01_34->n76_a_lob_j01_43 n76_a_lob_j01_52 PP-SCON n76_a_lob_j01_34->n76_a_lob_j01_52 n76_a_lob_j01_36 ADV n76_a_lob_j01_35->n76_a_lob_j01_36 n76_a_lob_j01_36->n76_a_lob_j01_37 n76_a_lob_j01_39 PRO n76_a_lob_j01_38->n76_a_lob_j01_39 n76_a_lob_j01_39->n76_a_lob_j01_40 n76_a_lob_j01_41->n76_a_lob_j01_42 n76_a_lob_j01_44 ADVP-NIM n76_a_lob_j01_43->n76_a_lob_j01_44 n76_a_lob_j01_47 BE;_La_ n76_a_lob_j01_43->n76_a_lob_j01_47 n76_a_lob_j01_49 ADJP-PRD n76_a_lob_j01_43->n76_a_lob_j01_49 n76_a_lob_j01_45 ADV n76_a_lob_j01_44->n76_a_lob_j01_45 n76_a_lob_j01_45->n76_a_lob_j01_46 n76_a_lob_j01_47->n76_a_lob_j01_48 n76_a_lob_j01_50 ADJ n76_a_lob_j01_49->n76_a_lob_j01_50 n76_a_lob_j01_50->n76_a_lob_j01_51 n76_a_lob_j01_53 P-CONN n76_a_lob_j01_52->n76_a_lob_j01_53 n76_a_lob_j01_55 IP-ADV n76_a_lob_j01_52->n76_a_lob_j01_55 n76_a_lob_j01_53->n76_a_lob_j01_54 n76_a_lob_j01_56 NP-SBJ n76_a_lob_j01_55->n76_a_lob_j01_56 n76_a_lob_j01_72 VBP;__ n76_a_lob_j01_55->n76_a_lob_j01_72 n76_a_lob_j01_74 ADVP-NIM n76_a_lob_j01_55->n76_a_lob_j01_74 n76_a_lob_j01_77 PP-NIM n76_a_lob_j01_55->n76_a_lob_j01_77 n76_a_lob_j01_57 D n76_a_lob_j01_56->n76_a_lob_j01_57 n76_a_lob_j01_59 N n76_a_lob_j01_56->n76_a_lob_j01_59 n76_a_lob_j01_61 PP n76_a_lob_j01_56->n76_a_lob_j01_61 n76_a_lob_j01_57->n76_a_lob_j01_58 n76_a_lob_j01_59->n76_a_lob_j01_60 n76_a_lob_j01_62 P-ROLE n76_a_lob_j01_61->n76_a_lob_j01_62 n76_a_lob_j01_64 NP n76_a_lob_j01_61->n76_a_lob_j01_64 n76_a_lob_j01_62->n76_a_lob_j01_63 n76_a_lob_j01_65 D n76_a_lob_j01_64->n76_a_lob_j01_65 n76_a_lob_j01_67 ADJP n76_a_lob_j01_64->n76_a_lob_j01_67 n76_a_lob_j01_70 N n76_a_lob_j01_64->n76_a_lob_j01_70 n76_a_lob_j01_65->n76_a_lob_j01_66 n76_a_lob_j01_68 ADJ n76_a_lob_j01_67->n76_a_lob_j01_68 n76_a_lob_j01_68->n76_a_lob_j01_69 n76_a_lob_j01_70->n76_a_lob_j01_71 n76_a_lob_j01_72->n76_a_lob_j01_73 n76_a_lob_j01_75 ADV n76_a_lob_j01_74->n76_a_lob_j01_75 n76_a_lob_j01_75->n76_a_lob_j01_76 n76_a_lob_j01_78 P-ROLE n76_a_lob_j01_77->n76_a_lob_j01_78 n76_a_lob_j01_80 NP n76_a_lob_j01_77->n76_a_lob_j01_80 n76_a_lob_j01_78->n76_a_lob_j01_79 n76_a_lob_j01_81 NS n76_a_lob_j01_80->n76_a_lob_j01_81 n76_a_lob_j01_83 PP n76_a_lob_j01_80->n76_a_lob_j01_83 n76_a_lob_j01_81->n76_a_lob_j01_82 n76_a_lob_j01_84 P-ROLE n76_a_lob_j01_83->n76_a_lob_j01_84 n76_a_lob_j01_86 NP n76_a_lob_j01_83->n76_a_lob_j01_86 n76_a_lob_j01_84->n76_a_lob_j01_85 n76_a_lob_j01_87 NP-GEN n76_a_lob_j01_86->n76_a_lob_j01_87 n76_a_lob_j01_90 N n76_a_lob_j01_86->n76_a_lob_j01_90 n76_a_lob_j01_88 PRO;_genm_ n76_a_lob_j01_87->n76_a_lob_j01_88 n76_a_lob_j01_88->n76_a_lob_j01_89 n76_a_lob_j01_90->n76_a_lob_j01_91 n76_a_lob_j01_92->n76_a_lob_j01_93 
( (IP-MAT (ILYR (ILYR (ADVP-NIM (ADV However;{however}))
                      (PUNC ,)
                      (NP-SBJ (PRO it;{it}))
                      (MD;_cat_Vi_ will;{will})
                      (IP-INF-CAT (VB;__ require;{require})
                                  (NP-OB1 (N development;{development})
                                          (PP (P-ROLE of;{of})
                                              (NP (D a;{a})
                                                  (ADJP (ADJ suitable;{suitable}))
                                                  (N electrolyte;{electrolyte}))))))
                (CONJP (CONJ and;{and})
                       (ILYR (ADVP-NIM (ADV even_then;{even_then}))
                             (NP-SBJ (PRO it;{it}))
                             (MD;_cat_Vi_ will;{will})
                             (IP-INF-CAT (ADVP-NIM (ADV only;{only}))
                                         (BE;_La_ be;{be})
                                         (ADJP-PRD (ADJ useful;{useful})))
                             (PP-SCON (P-CONN if;{if})
                                      (IP-ADV (NP-SBJ (D the;{the})
                                                      (N activity;{activity})
                                                      (PP (P-ROLE of;{of})
                                                          (NP;{OXYGEN} (D the;{the})
                                                                       (ADJP (ADJ dissolved;{dissolved}))
                                                                       (N oxygen;{oxygen}))))
                                              (VBP;__ varies;{vary})
                                              (ADVP-NIM (ADV sufficiently;{sufficiently}))
                                              (PP-NIM (P-ROLE with;{with})
                                                      (NP (NS changes;{change})
                                                          (PP (P-ROLE in;{in})
                                                              (NP (NP-GEN;{OXYGEN} (PRO;_genm_ its;{its}))
                                                                  (N concentration;{concentration}))))))))))
          (PUNC .))
  (ID 76_a_lob_j01))