37_a_lob_j01
The charge on 0<bsup>=<ast><bsup> ion <ast><quest>183.2 x 10<bsup>-19<ast><bsup> coulombs.
( (FRAG (NP (D The;{the})
(N charge;{charge})
(PP (P-ROLE on;{on})
(NP (FO 0<bsup>=<ast><bsup>)
(N ion;{ion})
(PRN (NP (NUM <ast><quest>183<dot>2)
(SYM x)
(FO 10<bsup>_<hyphen>_19<ast><bsup>)
(NS coulombs;{coulomb}))))))
(PUNC .))
(ID 37_a_lob_j01))
arc(r_0037_0001__The_r_0037_0002__charge,r_0037_0005__ion,r_0037_0003__on).
arc(z_0037_5006,r_0037_0005__ion,arg0).
arc(z_0037_5006,r_0037_0006___ast__quest_183_dot_2_r_0037_0009__coulombs,prd).
arc(z_0037_5008,r_0037_0001__The_r_0037_0002__charge,z_0037_5002).
fof(formula,axiom,
? [R_0037_0005__ION,R_0037_0006___AST__QUEST_183_DOT_2_R_0037_0009__COULOMBS,Z_0037_5006,R_0037_0001__THE_R_0037_0002__CHARGE,Z_0037_5008] :
( r_0037_0005__ion(R_0037_0005__ION)
& r_0037_0006___ast__quest_183_dot_2_r_0037_0009__coulombs(R_0037_0006___AST__QUEST_183_DOT_2_R_0037_0009__COULOMBS)
& z_0037_5008(Z_0037_5008)
& has_z_0037_5002(Z_0037_5008,R_0037_0001__THE_R_0037_0002__CHARGE)
& r_0037_0001__The_r_0037_0002__charge(R_0037_0001__THE_R_0037_0002__CHARGE)
& has_r_0037_0003__on(R_0037_0001__THE_R_0037_0002__CHARGE,R_0037_0005__ION)
& z_0037_5006(Z_0037_5006)
& has_prd(Z_0037_5006,R_0037_0006___AST__QUEST_183_DOT_2_R_0037_0009__COULOMBS)
& has_arg0(Z_0037_5006,R_0037_0005__ION) ) ).