Thanks; that's a straightforward and insightful way of thinking about it. It makes me wonder whether some/all of this can be encoded into an actual search engi

Thanks; that's a straightforward and insightful way of thinking about it. It makes me wonder whether some/all of this can be encoded into an actual search engine or constraint satisfier. Arguably it's the dream of the Expert System[1] all over again. [1] - https://en.wikipedia.org/wiki/Expert_system https://en.wikipedia.org/wiki/Expert_system