Description
Preserve an explicit argument concession annotation.
Formal annotations separate declared truth values, domain assumptions, variable lists and source interpretations. A direct self-reference differs from an indirect cycle, and one self-loop differs from a globally reflexive relation. Local token operations do not parse a complete argument, derive its assumptions or establish truth or validity.
Preserve an explicit argument concession annotation.
When to use this tool
Use Argument Concession Marker when you already have argumentId, suppliedConcessionText, source and need to preserve an explicit argument concession annotation.
How to use the tool and how it works
- Enter argumentId, suppliedConcessionText, source. Use the units and conventions below.
- Run the tool. Correct any format, range, or cross-field input error before interpreting the output.
- Read token. Use the output convention below.
Enter argumentId, suppliedConcessionText, source using the field constraints below. Encode these values, in exactly that order, as a JSON array and return the serialized array as text in token. String values are preserved without trimming or external terminology lookup.1
| Input field | Meaning and units | Accepted input |
|---|---|---|
| argumentId | Argument Id | Required. Text; minimum UTF-16 length 1; maximum UTF-16 length 8192. |
| suppliedConcessionText | Supplied Concession Text | Required. Text; minimum UTF-16 length 1; maximum UTF-16 length 8192. |
| source | Source | Required. Text; minimum UTF-16 length 1; maximum UTF-16 length 8192. |
| Output field | Interpretation | Returned shape |
|---|---|---|
| token | Token | Required. Text; maximum UTF-16 length 8192. |
{
"input": {
"argumentId": "ARG17",
"suppliedConcessionText": "Granted premise A",
"source": "Source A"
},
"output": {
"token": "[\"ARG17\",\"Granted premise A\",\"Source A\"]"
}
}Limitations and assumptions
- The result records supplied values without assessing validity or agreement. Sources and asserted relationships are not independently authenticated.
- Inputs must satisfy both the field types and the cross-field conditions above. Invalid input causes an error; a successful false flag or documented placeholder is a different result.
Alternative or Complementary methods
Parse or formalize the complete expression and declared semantics when validity is the question. Inspect the full reference or accessibility relation for cycles and global properties; a supplied annotation, self-loop or variable list establishes only its local predicate.
References
Similar or alternative tools
- Premise Relevance Source Annotation
Preserve an explicit premise-relevance annotation and source.
- Concept Definition Circular Self Reference Flag
Flag direct self-reference in a supplied concept-reference list.