Re: Issue-31: Disjoint sorts - sketch of test case

Sandro Hawke wrote:
> An example I thought of this morning, that's simpler but probably too
> simple (it's not a real test case like yours):
>  
>    in DS, the atom a(a) is not well-formed
>    in ONDS, the atom a(a) makes reference to two different things
>            (the predicate called 'a', and something else called 'a')
>    in OS, the atom a(a) is self-referential
>            (the predicate called 'a' is applied to itself)
>   
I think this is fully accurate. Am I wrong?

François