| http://www.w3.org/ns/prov#value | - In particular, the kinds of families are declared by their signature and we do not have to compute any recursiveness information, as we never know whether we reached a fixed point for open types. (Hence, we conservatively assume families and their instances to be always `Recursive`.
|
