| http://www.w3.org/ns/prov#value | - If the computer can somehow realise that the key is to get the finite sets nested, and individually injecting into a countable set in a compatible manner, then the rest is a follow-your-nose sort of thing which one could imagine a computer to be capable of, but I???m not sure how to be naturally led to that setup.
|
