This is currently a question in my mind, but can a programming language be designed that enforces certain structure or content in a natural language file? The idea is to enforce certain objects, structures and statements are present, without being strict with the statement grammar.