I believe the activefacts project is within a year or two of having this ability (the hard research is done, but not the legwork to connect it to everything el

I believe the activefacts project is within a year or two of having this ability (the hard research is done, but not the legwork to connect it to everything else). Specifically, it should be able to automatically convert between any representation of any subset of the facts in a model.