[andrewprock]

Actually, it's the opposite. It's a translation of a pure logic puzzle into natural language.