Reflections on "Taxman": An Experiment in Artificial Intelligence and Legal Reasoning