Re: A triple is not unique.

> 
> > - every statement has a unique ID generated using a Skolem function
> >   reify(s, p, o).
>>
> > A triple is unique.
> 
> We should proof that:
>   Forall s,p,o Exists t: t is unique [F]
> Skolem has found that we can eliminate exists 

(Most likely) We should prove ::

  Forall s,p,o Exists a Model M, Exists t: M(t) and t is unique

  We have to apply Skolem function repeatedly 
to eliminate all existential quantifiers.

--ssarkar@ayushnet.com