This Guideline presents a systematic and operationalizable annotation framework for representing legal argumentation structures in judicial decisions. Grounded in theories of legal reasoning and argumentation, the framework aims to reveal the logical organization of judicial reasoning and provide a reliable foundation for computational analysis. At the element level, the Guideline distinguishes between the non-propositional layer and the propositional layer. The non-propositional layer consists of two elements: Issue and Non-argumentative Component. At the propositional level, the Guideline defines four proposition types: General Normative Judgment, Particular Normative Judgment, General Factual Judgment, and Particular Factual Judgment. At the relational level, five relation types are defined to represent argumentative structures: Support, Attack, Joint, Match, and Identity. These relations capture positive and negative argumentative connections, conjunctive reasoning structures, correspondences between legal norms and case facts, and identity or semantic equivalence between propositions. The Guideline further specifies formal representation rules and visualization conventions for both basic and nested structures, enabling consistent visualization of complex argumentation patterns. In addition, it establishes a standardized annotation workflow and consistency control mechanisms to ensure the reproducibility and reliability of annotated data. By providing a clear conceptual model, formal representation rules, and practical annotation procedures, this Guideline supports large-scale analysis of judicial reasoning and future research in legal argument mining, computational modeling of legal reasoning, and AI-assisted legal analysis.

翻译：本指南提出了一套系统化且可操作的标注框架，用于呈现司法裁判文书中的法律论证结构。该框架以法律推理与论证理论为基础，旨在揭示司法推理的逻辑组织方式，并为计算分析提供可靠基础。在要素层面，指南区分了非命题层与命题层。非命题层包含两个要素：争议焦点与非论证性成分。在命题层面，指南定义了四种命题类型：一般规范性判断、特殊规范性判断、一般事实判断与特殊事实判断。在关系层面，定义了五种关系类型以呈现论证结构：支持、攻击、联合、匹配与等同。这些关系涵盖了正向与负向的论证关联、合取推理结构、法律规范与案件事实之间的对应关系，以及命题之间的等同或语义等价关系。指南进一步规定了基本结构与嵌套结构的形式化表示规则与可视化约定，从而实现对复杂论证模式的一致性可视化呈现。此外，指南还建立了标准化的标注流程与一致性控制机制，以确保标注数据的可复现性与可靠性。通过提供清晰的概念模型、形式化表示规则以及实用的标注程序，本指南为司法推理的大规模分析、法律论证挖掘、法律推理计算建模及人工智能辅助法律分析等未来研究提供了支持。