一、 简单自然语句的形式化