Add the reverse translation (from structured to surface-level form)

[Sintrastes]

I'm not entirely sure what the applications of this would be, but this would be interesting to implement to allow for some experimentation.

One idea might be to respond to queries like "What can you tell me about X?", and if we have an approach to generating "interesting" facts (in logical form), then we'd be able to respond to the user in natural language form.

It would be interesting to see if there are any interesting approaches to posing questions back to the user with this approach that would be easier to do in structured form.