11_a_lob_j01
If the activity of oxygen dissolved in sodium is proportional to its concentration as is required by Henry's law then the free energy change per mole 0<bsup>=<ast><bsup> ion may be written <ast><bcomment>formula<ast><ecomment>.

%3 0011_0001__If If 0011_0009__is is 0011_0001__If->0011_0009__is [restriction] 0011_0030__may may 0011_0001__If->0011_0030__may [scope] 0011_0002__the_3__activity the_activity 0011_0009__is->0011_0002__the_3__activity [arg0] 0011_0010__proportional proportional 0011_0009__is->0011_0010__proportional [prd] 0011_0021__then then 0011_0030__may->0011_0021__then [nim] 0011_0031__be be 0011_0030__may->0011_0031__be [scope] 0011_0005__oxygen oxygen 0011_0002__the_3__activity->0011_0005__oxygen of 0011_0006__dissolved_7__in dissolved_in 0011_0006__dissolved_7__in->0011_0005__oxygen [inv][arg1] 0011_0008__sodium sodium 0011_0006__dissolved_7__in->0011_0008__sodium [arg2] 0011_5005___star_ * 0011_0006__dissolved_7__in->0011_5005___star_ [arg0] 0011_0013__concentration concentration 0011_0010__proportional->0011_0013__concentration to 0011_0012__its its 0011_0013__concentration->0011_0012__its [gen] 0011_0015__is is 0011_0016__required required 0011_0015__is->0011_0016__required [scope] 0011_0016__required->0011_0013__concentration [arg1] 0011_0020__law law 0011_0016__required->0011_0020__law by[arg0] 0011_0018__Henry Henry 0011_0020__law->0011_0018__Henry [gen] 0011_0022__the_24__energy_25__change the_energy_change 0011_0023__free free 0011_0022__the_24__energy_25__change->0011_0023__free [attrib] 0011_0027__mole_28__0_bsup_=_ast__bsup__0011_0029__ion mole_0_bsup_=_ast__bsup__ion 0011_0022__the_24__energy_25__change->0011_0027__mole_28__0_bsup_=_ast__bsup__0011_0029__ion per 0011_0032__written written 0011_0031__be->0011_0032__written [scope] 0011_0032__written->0011_0022__the_24__energy_25__change [arg1] 0011_5021 0011_0032__written->0011_5021 [prd] 0011_5022___star_ * 0011_0032__written->0011_5022___star_ [arg0]
arc(r_0011_0001__If,r_0011_0009__is,restriction).
arc(r_0011_0001__If,r_0011_0030__may,scope).
arc(r_0011_0002__the_r_0011_0003__activity,r_0011_0005__oxygen,r_0011_0004__of).
arc(r_0011_0006__dissolved_r_0011_0007__in,r_0011_0005__oxygen,inv_arg1).
arc(r_0011_0006__dissolved_r_0011_0007__in,r_0011_0008__sodium,arg2).
arc(r_0011_0006__dissolved_r_0011_0007__in,z_0011_5005___star_,arg0).
arc(r_0011_0009__is,r_0011_0002__the_r_0011_0003__activity,arg0).
arc(r_0011_0009__is,r_0011_0010__proportional,prd).
arc(r_0011_0010__proportional,r_0011_0013__concentration,r_0011_0011__to).
arc(r_0011_0013__concentration,r_0011_0012__its,gen).
arc(r_0011_0015__is,r_0011_0016__required,scope).
arc(r_0011_0016__required,r_0011_0013__concentration,arg1).
arc(r_0011_0016__required,r_0011_0020__law,r_0011_0017__by_arg0).
arc(r_0011_0020__law,r_0011_0018__Henry,gen).
arc(r_0011_0022__the_r_0011_0024__energy_r_0011_0025__change,r_0011_0023__free,attrib).
arc(r_0011_0022__the_r_0011_0024__energy_r_0011_0025__change,r_0011_0027__mole_r_0011_0028__0_bsup_=_ast__bsup__r_0011_0029__ion,r_0011_0026__per).
arc(r_0011_0030__may,r_0011_0021__then,nim).
arc(r_0011_0030__may,r_0011_0031__be,scope).
arc(r_0011_0031__be,r_0011_0032__written,scope).
arc(r_0011_0032__written,r_0011_0022__the_r_0011_0024__energy_r_0011_0025__change,arg1).
arc(r_0011_0032__written,z_0011_5021,prd).
arc(r_0011_0032__written,z_0011_5022___star_,arg0).

n11_a_lob_j01 n11_a_lob_j01__1_1_1_1 If n11_a_lob_j01__1_1_2_1_1_1 the n11_a_lob_j01__1_1_2_1_2_1 activity n11_a_lob_j01__1_1_2_1_3_1_1 of n11_a_lob_j01__1_1_2_1_3_2_1_1 oxygen n11_a_lob_j01__1_1_2_1_3_2_2_1_1 * n11_a_lob_j01__1_1_2_1_3_2_2_2_1 dissolved n11_a_lob_j01__1_1_2_1_3_2_2_3_1_1 in n11_a_lob_j01__1_1_2_1_3_2_2_3_2_1_1 sodium n11_a_lob_j01__1_1_2_2_1 is n11_a_lob_j01__1_1_2_3_1_1 proportional n11_a_lob_j01__1_1_2_3_2_1_1 to n11_a_lob_j01__1_1_2_3_2_2_1_1_1 its n11_a_lob_j01__1_1_2_3_2_2_2_1 concentration n11_a_lob_j01__1_1_2_3_2_2_3_1_1_1 as n11_a_lob_j01__1_1_2_3_2_2_3_2_1 is n11_a_lob_j01__1_1_2_3_2_2_3_3_1_1 required n11_a_lob_j01__1_1_2_3_2_2_3_3_2_1_1 by n11_a_lob_j01__1_1_2_3_2_2_3_3_2_2_1_1_1 Henry n11_a_lob_j01__1_1_2_3_2_2_3_3_2_2_1_2_1 's n11_a_lob_j01__1_1_2_3_2_2_3_3_2_2_2_1 law n11_a_lob_j01__1_2_1_1 then n11_a_lob_j01__1_3_1_1 the n11_a_lob_j01__1_3_2_1_1 free n11_a_lob_j01__1_3_3_1 energy n11_a_lob_j01__1_3_4_1 change n11_a_lob_j01__1_3_5_1_1 per n11_a_lob_j01__1_3_5_2_1_1 mole n11_a_lob_j01__1_3_5_2_2_1 0<bsup>=<ast><bsup> n11_a_lob_j01__1_3_5_2_3_1 ion n11_a_lob_j01__1_4_1 may n11_a_lob_j01__1_5_1_1 be n11_a_lob_j01__1_5_2_1_1 * n11_a_lob_j01__1_5_2_2_1 written n11_a_lob_j01__1_5_2_3_1_1 <ast><bcomment>formula<ast><ecomment> n11_a_lob_j01__1_6_1 . n11_a_lob_j01__1 IP-MAT n11_a_lob_j01__1_1 PP-SCON n11_a_lob_j01__1->n11_a_lob_j01__1_1 n11_a_lob_j01__1_2 ADVP-NIM n11_a_lob_j01__1->n11_a_lob_j01__1_2 n11_a_lob_j01__1_3 NP-SBJ n11_a_lob_j01__1->n11_a_lob_j01__1_3 n11_a_lob_j01__1_4 MD;~cat_Vi n11_a_lob_j01__1->n11_a_lob_j01__1_4 n11_a_lob_j01__1_5 IP-INF-CAT n11_a_lob_j01__1->n11_a_lob_j01__1_5 n11_a_lob_j01__1_6 PUNC n11_a_lob_j01__1->n11_a_lob_j01__1_6 n11_a_lob_j01__1_1_1 P-CONN n11_a_lob_j01__1_1->n11_a_lob_j01__1_1_1 n11_a_lob_j01__1_1_2 IP-ADV n11_a_lob_j01__1_1->n11_a_lob_j01__1_1_2 n11_a_lob_j01__1_1_1->n11_a_lob_j01__1_1_1_1 n11_a_lob_j01__1_1_2_1 NP-SBJ n11_a_lob_j01__1_1_2->n11_a_lob_j01__1_1_2_1 n11_a_lob_j01__1_1_2_2 BEP;~La n11_a_lob_j01__1_1_2->n11_a_lob_j01__1_1_2_2 n11_a_lob_j01__1_1_2_3 ADJP-PRD n11_a_lob_j01__1_1_2->n11_a_lob_j01__1_1_2_3 n11_a_lob_j01__1_1_2_1_1 D n11_a_lob_j01__1_1_2_1->n11_a_lob_j01__1_1_2_1_1 n11_a_lob_j01__1_1_2_1_2 N n11_a_lob_j01__1_1_2_1->n11_a_lob_j01__1_1_2_1_2 n11_a_lob_j01__1_1_2_1_3 PP n11_a_lob_j01__1_1_2_1->n11_a_lob_j01__1_1_2_1_3 n11_a_lob_j01__1_1_2_1_1->n11_a_lob_j01__1_1_2_1_1_1 n11_a_lob_j01__1_1_2_1_2->n11_a_lob_j01__1_1_2_1_2_1 n11_a_lob_j01__1_1_2_1_3_1 P-ROLE n11_a_lob_j01__1_1_2_1_3->n11_a_lob_j01__1_1_2_1_3_1 n11_a_lob_j01__1_1_2_1_3_2 NP n11_a_lob_j01__1_1_2_1_3->n11_a_lob_j01__1_1_2_1_3_2 n11_a_lob_j01__1_1_2_1_3_1->n11_a_lob_j01__1_1_2_1_3_1_1 n11_a_lob_j01__1_1_2_1_3_2_1 N n11_a_lob_j01__1_1_2_1_3_2->n11_a_lob_j01__1_1_2_1_3_2_1 n11_a_lob_j01__1_1_2_1_3_2_2 IP-PPL n11_a_lob_j01__1_1_2_1_3_2->n11_a_lob_j01__1_1_2_1_3_2_2 n11_a_lob_j01__1_1_2_1_3_2_1->n11_a_lob_j01__1_1_2_1_3_2_1_1 n11_a_lob_j01__1_1_2_1_3_2_2_1 NP-LGS n11_a_lob_j01__1_1_2_1_3_2_2->n11_a_lob_j01__1_1_2_1_3_2_2_1 n11_a_lob_j01__1_1_2_1_3_2_2_2 VVN;~Tn.pr n11_a_lob_j01__1_1_2_1_3_2_2->n11_a_lob_j01__1_1_2_1_3_2_2_2 n11_a_lob_j01__1_1_2_1_3_2_2_3 PP-CLR n11_a_lob_j01__1_1_2_1_3_2_2->n11_a_lob_j01__1_1_2_1_3_2_2_3 n11_a_lob_j01__1_1_2_1_3_2_2_1->n11_a_lob_j01__1_1_2_1_3_2_2_1_1 n11_a_lob_j01__1_1_2_1_3_2_2_2->n11_a_lob_j01__1_1_2_1_3_2_2_2_1 n11_a_lob_j01__1_1_2_1_3_2_2_3_1 P-ROLE n11_a_lob_j01__1_1_2_1_3_2_2_3->n11_a_lob_j01__1_1_2_1_3_2_2_3_1 n11_a_lob_j01__1_1_2_1_3_2_2_3_2 NP n11_a_lob_j01__1_1_2_1_3_2_2_3->n11_a_lob_j01__1_1_2_1_3_2_2_3_2 n11_a_lob_j01__1_1_2_1_3_2_2_3_1->n11_a_lob_j01__1_1_2_1_3_2_2_3_1_1 n11_a_lob_j01__1_1_2_1_3_2_2_3_2_1 N n11_a_lob_j01__1_1_2_1_3_2_2_3_2->n11_a_lob_j01__1_1_2_1_3_2_2_3_2_1 n11_a_lob_j01__1_1_2_1_3_2_2_3_2_1->n11_a_lob_j01__1_1_2_1_3_2_2_3_2_1_1 n11_a_lob_j01__1_1_2_2->n11_a_lob_j01__1_1_2_2_1 n11_a_lob_j01__1_1_2_3_1 ADJ n11_a_lob_j01__1_1_2_3->n11_a_lob_j01__1_1_2_3_1 n11_a_lob_j01__1_1_2_3_2 PP n11_a_lob_j01__1_1_2_3->n11_a_lob_j01__1_1_2_3_2 n11_a_lob_j01__1_1_2_3_1->n11_a_lob_j01__1_1_2_3_1_1 n11_a_lob_j01__1_1_2_3_2_1 P-ROLE n11_a_lob_j01__1_1_2_3_2->n11_a_lob_j01__1_1_2_3_2_1 n11_a_lob_j01__1_1_2_3_2_2 NP n11_a_lob_j01__1_1_2_3_2->n11_a_lob_j01__1_1_2_3_2_2 n11_a_lob_j01__1_1_2_3_2_1->n11_a_lob_j01__1_1_2_3_2_1_1 n11_a_lob_j01__1_1_2_3_2_2_1 NP-GEN n11_a_lob_j01__1_1_2_3_2_2->n11_a_lob_j01__1_1_2_3_2_2_1 n11_a_lob_j01__1_1_2_3_2_2_2 N n11_a_lob_j01__1_1_2_3_2_2->n11_a_lob_j01__1_1_2_3_2_2_2 n11_a_lob_j01__1_1_2_3_2_2_3 IP-REL n11_a_lob_j01__1_1_2_3_2_2->n11_a_lob_j01__1_1_2_3_2_2_3 n11_a_lob_j01__1_1_2_3_2_2_1_1 PRO;_genm_ n11_a_lob_j01__1_1_2_3_2_2_1->n11_a_lob_j01__1_1_2_3_2_2_1_1 n11_a_lob_j01__1_1_2_3_2_2_1_1->n11_a_lob_j01__1_1_2_3_2_2_1_1_1 n11_a_lob_j01__1_1_2_3_2_2_2->n11_a_lob_j01__1_1_2_3_2_2_2_1 n11_a_lob_j01__1_1_2_3_2_2_3_1 NP-SBJ n11_a_lob_j01__1_1_2_3_2_2_3->n11_a_lob_j01__1_1_2_3_2_2_3_1 n11_a_lob_j01__1_1_2_3_2_2_3_2 BEP;~cat_Ve_passive_ n11_a_lob_j01__1_1_2_3_2_2_3->n11_a_lob_j01__1_1_2_3_2_2_3_2 n11_a_lob_j01__1_1_2_3_2_2_3_3 IP-PPL-CAT n11_a_lob_j01__1_1_2_3_2_2_3->n11_a_lob_j01__1_1_2_3_2_2_3_3 n11_a_lob_j01__1_1_2_3_2_2_3_1_1 RPRO n11_a_lob_j01__1_1_2_3_2_2_3_1->n11_a_lob_j01__1_1_2_3_2_2_3_1_1 n11_a_lob_j01__1_1_2_3_2_2_3_1_1->n11_a_lob_j01__1_1_2_3_2_2_3_1_1_1 n11_a_lob_j01__1_1_2_3_2_2_3_2->n11_a_lob_j01__1_1_2_3_2_2_3_2_1 n11_a_lob_j01__1_1_2_3_2_2_3_3_1 VVN;~Tn n11_a_lob_j01__1_1_2_3_2_2_3_3->n11_a_lob_j01__1_1_2_3_2_2_3_3_1 n11_a_lob_j01__1_1_2_3_2_2_3_3_2 PP-LGS n11_a_lob_j01__1_1_2_3_2_2_3_3->n11_a_lob_j01__1_1_2_3_2_2_3_3_2 n11_a_lob_j01__1_1_2_3_2_2_3_3_1->n11_a_lob_j01__1_1_2_3_2_2_3_3_1_1 n11_a_lob_j01__1_1_2_3_2_2_3_3_2_1 P-ROLE;_lgs_ n11_a_lob_j01__1_1_2_3_2_2_3_3_2->n11_a_lob_j01__1_1_2_3_2_2_3_3_2_1 n11_a_lob_j01__1_1_2_3_2_2_3_3_2_2 NP n11_a_lob_j01__1_1_2_3_2_2_3_3_2->n11_a_lob_j01__1_1_2_3_2_2_3_3_2_2 n11_a_lob_j01__1_1_2_3_2_2_3_3_2_1->n11_a_lob_j01__1_1_2_3_2_2_3_3_2_1_1 n11_a_lob_j01__1_1_2_3_2_2_3_3_2_2_1 NP-GEN n11_a_lob_j01__1_1_2_3_2_2_3_3_2_2->n11_a_lob_j01__1_1_2_3_2_2_3_3_2_2_1 n11_a_lob_j01__1_1_2_3_2_2_3_3_2_2_2 N n11_a_lob_j01__1_1_2_3_2_2_3_3_2_2->n11_a_lob_j01__1_1_2_3_2_2_3_3_2_2_2 n11_a_lob_j01__1_1_2_3_2_2_3_3_2_2_1_1 NPR n11_a_lob_j01__1_1_2_3_2_2_3_3_2_2_1->n11_a_lob_j01__1_1_2_3_2_2_3_3_2_2_1_1 n11_a_lob_j01__1_1_2_3_2_2_3_3_2_2_1_2 GENM n11_a_lob_j01__1_1_2_3_2_2_3_3_2_2_1->n11_a_lob_j01__1_1_2_3_2_2_3_3_2_2_1_2 n11_a_lob_j01__1_1_2_3_2_2_3_3_2_2_1_1->n11_a_lob_j01__1_1_2_3_2_2_3_3_2_2_1_1_1 n11_a_lob_j01__1_1_2_3_2_2_3_3_2_2_1_2->n11_a_lob_j01__1_1_2_3_2_2_3_3_2_2_1_2_1 n11_a_lob_j01__1_1_2_3_2_2_3_3_2_2_2->n11_a_lob_j01__1_1_2_3_2_2_3_3_2_2_2_1 n11_a_lob_j01__1_2_1 ADV n11_a_lob_j01__1_2->n11_a_lob_j01__1_2_1 n11_a_lob_j01__1_2_1->n11_a_lob_j01__1_2_1_1 n11_a_lob_j01__1_3_1 D n11_a_lob_j01__1_3->n11_a_lob_j01__1_3_1 n11_a_lob_j01__1_3_2 ADJP n11_a_lob_j01__1_3->n11_a_lob_j01__1_3_2 n11_a_lob_j01__1_3_3 N n11_a_lob_j01__1_3->n11_a_lob_j01__1_3_3 n11_a_lob_j01__1_3_4 N n11_a_lob_j01__1_3->n11_a_lob_j01__1_3_4 n11_a_lob_j01__1_3_5 PP n11_a_lob_j01__1_3->n11_a_lob_j01__1_3_5 n11_a_lob_j01__1_3_1->n11_a_lob_j01__1_3_1_1 n11_a_lob_j01__1_3_2_1 ADJ n11_a_lob_j01__1_3_2->n11_a_lob_j01__1_3_2_1 n11_a_lob_j01__1_3_2_1->n11_a_lob_j01__1_3_2_1_1 n11_a_lob_j01__1_3_3->n11_a_lob_j01__1_3_3_1 n11_a_lob_j01__1_3_4->n11_a_lob_j01__1_3_4_1 n11_a_lob_j01__1_3_5_1 P-ROLE n11_a_lob_j01__1_3_5->n11_a_lob_j01__1_3_5_1 n11_a_lob_j01__1_3_5_2 NP n11_a_lob_j01__1_3_5->n11_a_lob_j01__1_3_5_2 n11_a_lob_j01__1_3_5_1->n11_a_lob_j01__1_3_5_1_1 n11_a_lob_j01__1_3_5_2_1 N n11_a_lob_j01__1_3_5_2->n11_a_lob_j01__1_3_5_2_1 n11_a_lob_j01__1_3_5_2_2 NUM n11_a_lob_j01__1_3_5_2->n11_a_lob_j01__1_3_5_2_2 n11_a_lob_j01__1_3_5_2_3 N n11_a_lob_j01__1_3_5_2->n11_a_lob_j01__1_3_5_2_3 n11_a_lob_j01__1_3_5_2_1->n11_a_lob_j01__1_3_5_2_1_1 n11_a_lob_j01__1_3_5_2_2->n11_a_lob_j01__1_3_5_2_2_1 n11_a_lob_j01__1_3_5_2_3->n11_a_lob_j01__1_3_5_2_3_1 n11_a_lob_j01__1_4->n11_a_lob_j01__1_4_1 n11_a_lob_j01__1_5_1 BE;~cat_Ve_passive_ n11_a_lob_j01__1_5->n11_a_lob_j01__1_5_1 n11_a_lob_j01__1_5_2 IP-PPL-CAT n11_a_lob_j01__1_5->n11_a_lob_j01__1_5_2 n11_a_lob_j01__1_5_1->n11_a_lob_j01__1_5_1_1 n11_a_lob_j01__1_5_2_1 NP-LGS n11_a_lob_j01__1_5_2->n11_a_lob_j01__1_5_2_1 n11_a_lob_j01__1_5_2_2 VVN;~Cn.n n11_a_lob_j01__1_5_2->n11_a_lob_j01__1_5_2_2 n11_a_lob_j01__1_5_2_3 NP-PRD n11_a_lob_j01__1_5_2->n11_a_lob_j01__1_5_2_3 n11_a_lob_j01__1_5_2_1->n11_a_lob_j01__1_5_2_1_1 n11_a_lob_j01__1_5_2_2->n11_a_lob_j01__1_5_2_2_1 n11_a_lob_j01__1_5_2_3_1 FO n11_a_lob_j01__1_5_2_3->n11_a_lob_j01__1_5_2_3_1 n11_a_lob_j01__1_5_2_3_1->n11_a_lob_j01__1_5_2_3_1_1 n11_a_lob_j01__1_6->n11_a_lob_j01__1_6_1
( (IP-MAT (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ (D the;{the})
                                   (N activity;{activity})
                                   (PP (P-ROLE of;{of})
                                       (NP (N oxygen;{oxygen})
                                           (IP-PPL (NP-LGS *)
                                                   (VVN;~Tn.pr dissolved;{dissolve[in]})
                                                   (PP-CLR (P-ROLE in;{in})
                                                           (NP (N sodium;{sodium})))))))
                           (BEP;~La is;{be})
                           (ADJP-PRD (ADJ proportional;{proportional})
                                     (PP (P-ROLE to;{to})
                                         (NP (NP-GEN (PRO;_genm_ its;{its}))
                                             (N concentration;{concentration})
                                             (IP-REL (NP-SBJ (RPRO as;{as}))
                                                     (BEP;~cat_Ve_passive_ is;{be})
                                                     (IP-PPL-CAT (VVN;~Tn required;{require})
                                                                 (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                         (NP (NP-GEN (NPR Henry;{Henry})
                                                                                     (GENM <apos>s))
                                                                             (N law;{law}))))))))))
          (ADVP-NIM (ADV then;{then}))
          (NP-SBJ (D the;{the})
                  (ADJP (ADJ free;{free}))
                  (N energy;{energy})
                  (N change;{change})
                  (PP (P-ROLE per;{per})
                      (NP (N mole;{mole})
                          (NUM 0<bsup>=<ast><bsup>)
                          (N ion;{ion}))))
          (MD;~cat_Vi may;{may})
          (IP-INF-CAT (BE;~cat_Ve_passive_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;~Cn.n written;{write})
                                  (NP-PRD (FO <ast><bcomment>formula<ast><ecomment>))))
          (PUNC .))
  (ID 11_a_lob_j01))