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>.

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_0011_0003__activity the_activity 0011_0009__is->0011_0002__the_0011_0003__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_0011_0003__activity->0011_0005__oxygen of 0011_0006__dissolved dissolved 0011_0006__dissolved->0011_0005__oxygen [arg0] 0011_0008__sodium sodium 0011_0006__dissolved->0011_0008__sodium in[nim] 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_0011_0024__energy_0011_0025__change the_energy_change 0011_0023__free free 0011_0022__the_0011_0024__energy_0011_0025__change->0011_0023__free [attrib] 0011_0027__mole_0011_0028__0_bsup_=_84 mole_r_0011_0028__0_bsup_=_84 0011_0022__the_0011_0024__energy_0011_0025__change->0011_0027__mole_0011_0028__0_bsup_=_84 per 0011_0032__written written 0011_0031__be->0011_0032__written [scope] 0011_0032__written->0011_0022__the_0011_0024__energy_0011_0025__change [arg1] staz_0011_5021 * 0011_0032__written->staz_0011_5021 [arg0] z_0011_5020 _ 0011_0032__written->z_0011_5020 [prd]
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_0005__oxygen,arg0).
arc(r_0011_0006__dissolved,r_0011_0008__sodium,r_0011_0007__in__nim).
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,keep_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_=_84,r_0011_0026__per).
arc(r_0011_0030__may,r_0011_0021__then,nim).
arc(r_0011_0030__may,r_0011_0031__be,keep_scope).
arc(r_0011_0031__be,r_0011_0032__written,keep_scope).
arc(r_0011_0032__written,r_0011_0022__the_r_0011_0024__energy_r_0011_0025__change,arg1).
arc(r_0011_0032__written,star_z_0011_5021,arg0).
arc(r_0011_0032__written,z_0011_5020,prd).


IP-MAT PP-SCON P-CONN If IP-ADV NP-SBJ D the N activity PP P-ROLE of NP N oxygen IP-PPL VVN dissolved PP-NIM P-ROLE in NP N sodium BEP;~La is ADJP-PRD ADJ proportional PP P-ROLE to NP NP-GEN PRO;_genm_ its N concentration IP-REL NP-SBJ RPRO as BEP;~cat_Ve_passive_ is IP-PPL-CAT VVN required PP-LGS P-ROLE;_lgs_ by NP NP-GEN NPR Henry GENM 's N law ADVP-NIM ADV then NP-SBJ D the ADJP ADJ free N energy N change PP P-ROLE per NP N mole NUM 0<bsup>=<ast><bsup> N ion MD;~cat_Vi may IP-INF-CAT BE;~cat_Ve_passive_ be IP-PPL-CAT NP-LGS * VVN written NP-PRD FO <ast><bcomment>formula<ast><ecomment> PUNC .
( (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 (VVN dissolved;{dissolve})
                                                   (PP-NIM (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 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 written;{write})
                                  (NP-PRD (FO <ast><bcomment>formula<ast><ecomment>))))
          (PUNC .))
  (ID 11_a_lob_j01))