Dealing with overloaded symbols in ambiguous grammars in ANTLR4...

Why DLV finds an answer set rather than another, in this ASP example program?...

Unexpected Result with Graphs in Clingo...