Closed LyzardKing closed 6 months ago
This adds a predicate to evaluate the result and explanation, returning a nested list with the result instead of the html representation.
Currently the list is used to parse and show the output in the vscode extension (currently available at https://github.com/LyzardKing/LogicalEnglishExtension).
This adds a predicate to evaluate the result and explanation, returning a nested list with the result instead of the html representation.
Currently the list is used to parse and show the output in the vscode extension (currently available at https://github.com/LyzardKing/LogicalEnglishExtension).