Description
Test whether occurrenceScopeIds contains the binding scope.
Logical notation distinguishes terms, argument structure, scope, and inference rules. A string formatter or local structural check can organize a supplied expression without proving an argument or determining its truth.
Test whether occurrenceScopeIds contains the binding scope.
When to use this tool
Use Bound Variable Occurrence Scope Tag when you need one bounded logical-notation component or explicit term comparison.
How to use the tool and how it works
- Enter variable, bindingScopeId, occurrenceScopeIds. Use the units and conventions below.
- Run the tool. Correct any format, range, or cross-field input error before interpreting the output.
- Read boundInRecordedScope. Inspect boundInRecordedScope before interpreting the associated values.
Require nonempty variable and bindingScopeId. Test whether occurrenceScopeIds contains the binding scope.1
| Input field | Meaning and units | Accepted input |
|---|---|---|
| variable | Variable | Required. Text; maximum UTF-16 length 8192. |
| bindingScopeId | Binding Scope Id | Required. Text; maximum UTF-16 length 8192. |
| occurrenceScopeIds | Occurrence Scope Ids | Required. Array of text; maximum UTF-16 length 8192; maximum items 256. |
| Output field | Interpretation | Returned shape |
|---|---|---|
| boundInRecordedScope | Bound In Recorded Scope | Required. Boolean. |
{
"input": {
"variable": "x",
"bindingScopeId": "S1",
"occurrenceScopeIds": [
"S0",
"S1"
]
},
"output": {
"boundInRecordedScope": true
}
}Limitations and assumptions
- The variable text is required but not analyzed; scope metadata is supplied and no lexical or syntactic binding analysis is performed.
- 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
Use a parser or proof system for the complete formal language when validity or derivability matters.
References
Similar or alternative tools
- Predicate Application Arity
Return exact equality and supplied minus expected as difference.
- Identity Substitution Position
Replace just that token and report replaced when replacement differs.