This tool was created as part of a publication at the International Conference on Principles of Knowledge Representation and Reasoning (KR 2014).
The tool is based on Clingo and features Graphviz output.
The detailed description of the tool and the approach can be found on the project homepage: Tackling Winograd Schemas by Formalizing Relevance Theory in Knowledge Graphs.