Evaluating a Legal Argument Program: The BankXX Experiments