Question: what does it mean when assumptions can't be made

[rpgoldman]

For one ASP I'm trying to debug, I get this:

No assumptions for MUS computation found, either your program has no convertable facts or your assumption signature filters are too restrictive.

Is there any way to tell if there are no convertable facts, and if so, what makes a fact un-convertable?

Thank you

[hweichelt]

To compute the Minimal Unsatisfiable Subset (MUS) the program facts are converted to choices and the assumed by clingo. By default if no assumption signatures are provided all facts should be converted like this. So if this error occurs the program shouldn't have any facts (since all facts should be convertable).