对用逻辑语言标注的英语语句进行训练，以找到两者之间的对应关系-Marked with the logic language of English statements trained to find the corresponding relationship between