Reasoning Tools for Understanding Water Systems