Reasoning about definitions in statutes