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

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, arg1).
arc(r_0011_0006__dissolved, r_0011_0008__sodium, r_0011_0007__in_clr25).
arc(r_0011_0006__dissolved, z_000_11_a_lob_j01_18, 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_0008__sodium, 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, arg0).
arc(r_0011_0020__law, r_0011_0018__Henry_r_0011_0019___apos_s, gen).
arc(r_0011_0022__the_r_0011_0024__energy_r_0011_0025__change, r_0011_0023__free, attrib68).
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, nim62).
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, r_0011_0033___ast__bcomment_formula_ast__ecomment_, prd).
arc(r_0011_0032__written, z_000_11_a_lob_j01_91, arg0).



ERROR: Line 1 Char 7 Token "Syntax" continuing with "error at token 'not" : Wrong token type or value, expected lower_word with value "cnf"



n11_a_lob_j01 n11_a_lob_j01_4 If n11_a_lob_j01_8 the n11_a_lob_j01_10 activity n11_a_lob_j01_13 of n11_a_lob_j01_16 oxygen n11_a_lob_j01_19 * n11_a_lob_j01_21 dissolved n11_a_lob_j01_24 in n11_a_lob_j01_27 sodium n11_a_lob_j01_29 is n11_a_lob_j01_32 proportional n11_a_lob_j01_35 to n11_a_lob_j01_39 its n11_a_lob_j01_41 concentration n11_a_lob_j01_45 as n11_a_lob_j01_47 is n11_a_lob_j01_50 required n11_a_lob_j01_53 by n11_a_lob_j01_57 Henry n11_a_lob_j01_59 's n11_a_lob_j01_61 law n11_a_lob_j01_64 then n11_a_lob_j01_67 the n11_a_lob_j01_70 free n11_a_lob_j01_72 energy n11_a_lob_j01_74 change n11_a_lob_j01_77 per n11_a_lob_j01_80 mole n11_a_lob_j01_82 0<bsup>=<ast><bsup> n11_a_lob_j01_84 ion n11_a_lob_j01_86 may n11_a_lob_j01_89 be n11_a_lob_j01_92 * n11_a_lob_j01_94 written n11_a_lob_j01_97 <ast><bcomment>formula<ast><ecomment> n11_a_lob_j01_99 . n11_a_lob_j01_1 IP-MAT n11_a_lob_j01_2 PP-SCON n11_a_lob_j01_1->n11_a_lob_j01_2 n11_a_lob_j01_62 ADVP-NIM n11_a_lob_j01_1->n11_a_lob_j01_62 n11_a_lob_j01_65 NP-SBJ n11_a_lob_j01_1->n11_a_lob_j01_65 n11_a_lob_j01_85 MD;_cat_Vi_ n11_a_lob_j01_1->n11_a_lob_j01_85 n11_a_lob_j01_87 IP-INF-CAT n11_a_lob_j01_1->n11_a_lob_j01_87 n11_a_lob_j01_98 PUNC n11_a_lob_j01_1->n11_a_lob_j01_98 n11_a_lob_j01_3 P-CONN n11_a_lob_j01_2->n11_a_lob_j01_3 n11_a_lob_j01_5 IP-ADV n11_a_lob_j01_2->n11_a_lob_j01_5 n11_a_lob_j01_3->n11_a_lob_j01_4 n11_a_lob_j01_6 NP-SBJ n11_a_lob_j01_5->n11_a_lob_j01_6 n11_a_lob_j01_28 BEP;_La_ n11_a_lob_j01_5->n11_a_lob_j01_28 n11_a_lob_j01_30 ADJP-PRD n11_a_lob_j01_5->n11_a_lob_j01_30 n11_a_lob_j01_7 D n11_a_lob_j01_6->n11_a_lob_j01_7 n11_a_lob_j01_9 N n11_a_lob_j01_6->n11_a_lob_j01_9 n11_a_lob_j01_11 PP n11_a_lob_j01_6->n11_a_lob_j01_11 n11_a_lob_j01_7->n11_a_lob_j01_8 n11_a_lob_j01_9->n11_a_lob_j01_10 n11_a_lob_j01_12 P-ROLE n11_a_lob_j01_11->n11_a_lob_j01_12 n11_a_lob_j01_14 NP n11_a_lob_j01_11->n11_a_lob_j01_14 n11_a_lob_j01_12->n11_a_lob_j01_13 n11_a_lob_j01_15 N n11_a_lob_j01_14->n11_a_lob_j01_15 n11_a_lob_j01_17 IP-PPL n11_a_lob_j01_14->n11_a_lob_j01_17 n11_a_lob_j01_15->n11_a_lob_j01_16 n11_a_lob_j01_18 NP-LGS n11_a_lob_j01_17->n11_a_lob_j01_18 n11_a_lob_j01_20 VVN;_Tn.pr_ n11_a_lob_j01_17->n11_a_lob_j01_20 n11_a_lob_j01_22 PP-CLR n11_a_lob_j01_17->n11_a_lob_j01_22 n11_a_lob_j01_18->n11_a_lob_j01_19 n11_a_lob_j01_20->n11_a_lob_j01_21 n11_a_lob_j01_23 P-ROLE n11_a_lob_j01_22->n11_a_lob_j01_23 n11_a_lob_j01_25 NP n11_a_lob_j01_22->n11_a_lob_j01_25 n11_a_lob_j01_23->n11_a_lob_j01_24 n11_a_lob_j01_26 N n11_a_lob_j01_25->n11_a_lob_j01_26 n11_a_lob_j01_26->n11_a_lob_j01_27 n11_a_lob_j01_28->n11_a_lob_j01_29 n11_a_lob_j01_31 ADJ n11_a_lob_j01_30->n11_a_lob_j01_31 n11_a_lob_j01_33 PP n11_a_lob_j01_30->n11_a_lob_j01_33 n11_a_lob_j01_31->n11_a_lob_j01_32 n11_a_lob_j01_34 P-ROLE n11_a_lob_j01_33->n11_a_lob_j01_34 n11_a_lob_j01_36 NP n11_a_lob_j01_33->n11_a_lob_j01_36 n11_a_lob_j01_34->n11_a_lob_j01_35 n11_a_lob_j01_37 NP-GEN n11_a_lob_j01_36->n11_a_lob_j01_37 n11_a_lob_j01_40 N n11_a_lob_j01_36->n11_a_lob_j01_40 n11_a_lob_j01_42 IP-REL n11_a_lob_j01_36->n11_a_lob_j01_42 n11_a_lob_j01_38 PRO;_genm_ n11_a_lob_j01_37->n11_a_lob_j01_38 n11_a_lob_j01_38->n11_a_lob_j01_39 n11_a_lob_j01_40->n11_a_lob_j01_41 n11_a_lob_j01_43 NP-SBJ n11_a_lob_j01_42->n11_a_lob_j01_43 n11_a_lob_j01_46 BEP;_cat_VePASS_ n11_a_lob_j01_42->n11_a_lob_j01_46 n11_a_lob_j01_48 IP-PPL-CAT n11_a_lob_j01_42->n11_a_lob_j01_48 n11_a_lob_j01_44 RPRO n11_a_lob_j01_43->n11_a_lob_j01_44 n11_a_lob_j01_44->n11_a_lob_j01_45 n11_a_lob_j01_46->n11_a_lob_j01_47 n11_a_lob_j01_49 VVN;_Tn_ n11_a_lob_j01_48->n11_a_lob_j01_49 n11_a_lob_j01_51 PP-LGS n11_a_lob_j01_48->n11_a_lob_j01_51 n11_a_lob_j01_49->n11_a_lob_j01_50 n11_a_lob_j01_52 P-ROLE;_lgs_ n11_a_lob_j01_51->n11_a_lob_j01_52 n11_a_lob_j01_54 NP n11_a_lob_j01_51->n11_a_lob_j01_54 n11_a_lob_j01_52->n11_a_lob_j01_53 n11_a_lob_j01_55 NP-GEN n11_a_lob_j01_54->n11_a_lob_j01_55 n11_a_lob_j01_60 N n11_a_lob_j01_54->n11_a_lob_j01_60 n11_a_lob_j01_56 NPR n11_a_lob_j01_55->n11_a_lob_j01_56 n11_a_lob_j01_58 GENM n11_a_lob_j01_55->n11_a_lob_j01_58 n11_a_lob_j01_56->n11_a_lob_j01_57 n11_a_lob_j01_58->n11_a_lob_j01_59 n11_a_lob_j01_60->n11_a_lob_j01_61 n11_a_lob_j01_63 ADV n11_a_lob_j01_62->n11_a_lob_j01_63 n11_a_lob_j01_63->n11_a_lob_j01_64 n11_a_lob_j01_66 D n11_a_lob_j01_65->n11_a_lob_j01_66 n11_a_lob_j01_68 ADJP n11_a_lob_j01_65->n11_a_lob_j01_68 n11_a_lob_j01_71 N n11_a_lob_j01_65->n11_a_lob_j01_71 n11_a_lob_j01_73 N n11_a_lob_j01_65->n11_a_lob_j01_73 n11_a_lob_j01_75 PP n11_a_lob_j01_65->n11_a_lob_j01_75 n11_a_lob_j01_66->n11_a_lob_j01_67 n11_a_lob_j01_69 ADJ n11_a_lob_j01_68->n11_a_lob_j01_69 n11_a_lob_j01_69->n11_a_lob_j01_70 n11_a_lob_j01_71->n11_a_lob_j01_72 n11_a_lob_j01_73->n11_a_lob_j01_74 n11_a_lob_j01_76 P-ROLE n11_a_lob_j01_75->n11_a_lob_j01_76 n11_a_lob_j01_78 NP n11_a_lob_j01_75->n11_a_lob_j01_78 n11_a_lob_j01_76->n11_a_lob_j01_77 n11_a_lob_j01_79 N n11_a_lob_j01_78->n11_a_lob_j01_79 n11_a_lob_j01_81 NUM n11_a_lob_j01_78->n11_a_lob_j01_81 n11_a_lob_j01_83 N n11_a_lob_j01_78->n11_a_lob_j01_83 n11_a_lob_j01_79->n11_a_lob_j01_80 n11_a_lob_j01_81->n11_a_lob_j01_82 n11_a_lob_j01_83->n11_a_lob_j01_84 n11_a_lob_j01_85->n11_a_lob_j01_86 n11_a_lob_j01_88 BE;_cat_VePASS_ n11_a_lob_j01_87->n11_a_lob_j01_88 n11_a_lob_j01_90 IP-PPL-CAT n11_a_lob_j01_87->n11_a_lob_j01_90 n11_a_lob_j01_88->n11_a_lob_j01_89 n11_a_lob_j01_91 NP-LGS n11_a_lob_j01_90->n11_a_lob_j01_91 n11_a_lob_j01_93 VVN;_Cn.n_ n11_a_lob_j01_90->n11_a_lob_j01_93 n11_a_lob_j01_95 NP-PRD n11_a_lob_j01_90->n11_a_lob_j01_95 n11_a_lob_j01_91->n11_a_lob_j01_92 n11_a_lob_j01_93->n11_a_lob_j01_94 n11_a_lob_j01_96 FO n11_a_lob_j01_95->n11_a_lob_j01_96 n11_a_lob_j01_96->n11_a_lob_j01_97 n11_a_lob_j01_98->n11_a_lob_j01_99
( (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_VePASS_ 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_VePASS_ 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))