syntaxBasedOn
P5327
predicate
Indicates that the syntactic structure or rules of one entity are derived from, influenced by, or constructed according to the syntax of another entity.
All labels observed (13)
| Label | Occurrences |
|---|---|
| hasSyntax | 75 |
| usesSyntax | 13 |
| hasSyntaxStyle | 12 |
| hasSyntaxBasedOn | 5 |
| syntaxBasedOn canonical | 5 |
| syntaxIncludes | 3 |
| syntaxInspiredBy | 2 |
| syntaxSimilarTo | 2 |
| compactSyntaxBasedOn | 1 |
| markerSyntaxBasedOn | 1 |
| syntaxChoiceReason | 1 |
| syntaxLanguage | 1 |
| syntaxOrigin | 1 |
Description generation (PDg)
The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.
Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning. # Instructions Focus on describing the relationship, not the entities themselves. # Response Format Begin the description with \' Indicates...\'
Input
Predicate: syntaxBasedOn
Generated description
Indicates that the syntactic structure or rules of one entity are derived from, influenced by, or constructed according to the syntax of another entity.
Sample triples (122)
| Subject | Object |
|---|---|
| Isabelle/FOL | logical connectives (∧, ∨, ¬, →, ↔) via predicate surface "hasSyntax" ⓘ |
| Isabelle/FOL | universal quantifier ∀ via predicate surface "hasSyntax" ⓘ |
| Isabelle/FOL | existential quantifier ∃ via predicate surface "hasSyntax" ⓘ |
| Isar | keyword-based via predicate surface "hasSyntax" ⓘ |
| Isar | block-structured via predicate surface "hasSyntax" ⓘ |
| Isar proof language | declarative via predicate surface "hasSyntaxStyle" ⓘ |
| Isar proof language | block-structured via predicate surface "hasSyntaxStyle" ⓘ |
|
mu-calculus
surface form:
μ-calculus
|
propositional variables via predicate surface "hasSyntaxBasedOn" ⓘ |
|
mu-calculus
surface form:
μ-calculus
|
boolean connectives via predicate surface "hasSyntaxBasedOn" ⓘ |
|
mu-calculus
surface form:
μ-calculus
|
modalities via predicate surface "hasSyntaxBasedOn" ⓘ |
|
mu-calculus
surface form:
μ-calculus
|
fixpoint operators via predicate surface "hasSyntaxBasedOn" ⓘ |
| LTL | formulas built from atomic propositions and temporal operators via predicate surface "hasSyntax" ⓘ |
| BASIC-PLUS | line numbers for statements via predicate surface "hasSyntax" ⓘ |
| BASIC-PLUS | LET for assignment (optional keyword) via predicate surface "hasSyntax" ⓘ |
| PEP 613 TypeAlias annotation | TypeAlias = ... via predicate surface "usesSyntax" ⓘ |
| TikZ | descriptive drawing commands via predicate surface "usesSyntax" ⓘ |
| TikZ | path-based drawing via predicate surface "usesSyntax" ⓘ |
| TikZ | key–value options via predicate surface "usesSyntax" ⓘ |
| MDL | S-expression-based syntax via predicate surface "hasSyntax" ⓘ |
| Fennel | Lisp-like via predicate surface "hasSyntaxStyle" ⓘ |
| Fennel | minimal via predicate surface "hasSyntax" ⓘ |
| Malvani language | similarToMarathi via predicate surface "hasSyntax" ⓘ |