Invited Talk 3: Connection Between Formal and Natural Language