Formal approaches and natural language in… · Super Livre