论文将忠实性评估重新定义为一个上下文感知的「对齐-再标注」问题：先识别非形式语句与形式语句之间的短语级对应关系，再在明确给定的上下文解释与假设下，为每一对对应赋予忠实性标签。