Anyone here have some experience with answer set programming? I'm struggling to understand a negation issue, this week.

I'll answer negatively, just so you know someone has read your message 🙃. Answer set programming is not my preferred semantics for logic programs, and so I don't have much experience with it. I like (and am using) least fixed point semantics with stratified negation & aggregation, because I believe it to be the most appropriate model for general-purpose programming (which is my focus).

I've written the author of the original implementation of the tool I'm using for some advice. Hopefully he comes through. I have one other forum that might work, if that doesn't. Thanks.