The CAES argument graph constructed when importing LKIF files sometimes produces an argument graph which is incorrectly labelled when evaluated. See, for example, the Pollock-red-light.xml LKIF example, where ¬app(a1) is out, rather than in, even though the only premise of the argument pro ¬app(a1) has been assumed to be true. The (apparently) same argument graph, represented in YAML, in the YAML/pollock-red-light.yml file, is evaluated correctly.
The CAES argument graph constructed when importing LKIF files sometimes produces an argument graph which is incorrectly labelled when evaluated. See, for example, the Pollock-red-light.xml LKIF example, where ¬app(a1) is out, rather than in, even though the only premise of the argument pro ¬app(a1) has been assumed to be true. The (apparently) same argument graph, represented in YAML, in the YAML/pollock-red-light.yml file, is evaluated correctly.