CS650 Progress in Artificial Intelligence (AI) and Legal Reasoning