Assertion list
water molecule (subgroup of atom ) → HasA

Results from Ascent++: 3
water moleculeHasA two hydrogen atoms 0.68
water moleculeHasA one atom of oxygen 0.54
water moleculeHasA three atoms 0.25