Re: implied datasets

>
> If one has one dataset (say) and wants to find other datasets that

might be usefully combined with it to do some analysis, it would (I

think) be useful to have something like this to help with the discovery.


OK, but I'm not seeing is how this extra imaginary dataset helps with
discovery, either. Isn't a type-assertion pretty much exactly what you're
saying here: a statement that this entity belongs to a set (which may or may
not be completely enumerated in any one place, or even at all)? So what is
this implied dataset doing that the type assertions are not?