Comment by gampleman

I think a great use case for this is to build legal validators. For instance if you make products that are heavily regulated and you want to distribute them in many jurisdictions, than having software that can take a description of your product and tell you in which jurisdictions it passes and in which it fails (and why and how to fix it) can drastically cut your iteration times.