Description
Compare a supplied premise token with an inference-rule slot token.
Evidence records distinguish claims, source origins, confidence labels, logical scope and access status. Repeated citations may share an origin rather than provide independent support; an unknown origin is not proof of independence. A recorded support or witness link does not establish entailment, truth or a valid inference.
Compare a supplied premise token with an inference-rule slot token.
When to use this tool
Use Inference Rule Premise Slot Match when checking the stated evidence, source, confidence or logical-label convention.
How to use the tool and how it works
- Enter suppliedPremiseId, expectedPremiseId. Use the units and conventions below.
- Run the tool. Correct any format, range, or cross-field input error before interpreting the output.
- Read matchesSlot. Inspect matchesSlot before interpreting the associated values.
Require nonempty supplied/expected premise IDs. Return literal equality as matchesSlot.1
| Input field | Meaning and units | Accepted input |
|---|---|---|
| suppliedPremiseId | Supplied Premise Id | Required. Text; minimum UTF-16 length 1; maximum UTF-16 length 8192. |
| expectedPremiseId | Expected Premise Id | Required. Text; minimum UTF-16 length 1; maximum UTF-16 length 8192. |
| Output field | Interpretation | Returned shape |
|---|---|---|
| matchesSlot | Matches Slot | Required. Boolean. |
{
"input": {
"suppliedPremiseId": "P17",
"expectedPremiseId": "P17"
},
"output": {
"matchesSlot": true
}
}Limitations and assumptions
- This compares identifiers rather than logical formulas; no inference rule, substitution, valid argument or premise truth is checked.
- 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
Inspect original evidence and use appropriate complete logical/statistical analysis, preserving uncertainty, provenance and applicable access/reuse permissions.
References
Similar or alternative tools
- Premise Support Single Link Tag
Record one asserted support link for a premise.
- Evidence Quote Entailment Caller Label
Record a caller's entailment label for an evidence quotation.