4289
We describe both the syntax and semantics of a general propositional language of context , and give a Hilbert style proof system for this language .
 syntax, semantics; syntax, propositional language of context; semantics, propositional language of context; Hilbert style proof system, language
Please list all entity pairs containing a certain relationship in the given options.Output format is "word1, word2; word3, word4". 
Option: conjunction, feature of, hyponym of, used for, part of, compare, evaluate for 
Text: {0} 
Answer:
 syntax, semantics; syntax, propositional language of context; semantics, propositional language of context; Hilbert style proof system, language