8986
We describe both the syntax and semantics of a general propositional language of context , and give a Hilbert style proof system for this language .
 conjunction: syntax, semantics; feature of: syntax, propositional language of context; feature of: semantics, propositional language of context; used for: Hilbert style proof system, language
Given options, please tell me the relationships of all the listed entity pairs.Output format is "relation1: word1, word2; relation2: word3, word4". 
Option: conjunction, feature of, hyponym of, used for, part of, compare, evaluate for 
Text: {0} 
 Entity Pairs:  syntax, semantics; syntax, propositional language of context; semantics, propositional language of context; Hilbert style proof system, language 
Answer:
 conjunction: syntax, semantics; feature of: syntax, propositional language of context; feature of: semantics, propositional language of context; used for: Hilbert style proof system, language