Re: The theoreticians got rid of the OrderedMerge

On 25 Jan 2006, at 19:30, Seaborne, Andy wrote:

>
>
>
> Enrico Franconi wrote:
>>> A minor comment:
>>> "SPARQL defines results for simple entailment where the scoping set
>>> contains the terms from G"
>>>
>>> -->
>>>
>>> "SPARQL defines results for simple entailment where the scoping set
>>> contains only the terms from G"
>> A typo: it should be G' not G.
>> --e.
>
> The next part of the sentence says "and G' is the same G".  Hence  
> (if that is right) the term sets are the same.

OK.
--e.