Re: Overlapping, undecidable, incoherent -- or worse?

That's not the notion of priority I was referring to.

Any type of priority would not help. As I said then the instance heads are identical (PO a) and (PO a) - no kind of priority will help differenciate the, Keean.