h2o(ma,MA) :- ma(o,MAO), ma(h, MAH), MA is ((MAH * 2) + MAO).