I don't know enough about answer set programming to give much of an answer. Sorry.