Law, Philosophy, Data Science, Functional Programming, Linked Data.
been widely different still, as illustrated by I’’ ⊇ { aaa ↦ 5, RRR = lessThan, bbb ↦ 42 } which is not just true, but necessarily so. Indeed we now may start developing the exact opposite feeling we started with: how can one narrow down the interpretation function to something reasonable, so that