8927
Description of the deductive system The syntax of proof is governed by nine primitive rules : In system L , a proof has a definition with the following conditions : If no premise is given , the sequent is called theorem .
 None
Please list all entity words in the text that fit the category.Output format is "type1: word1; type2: word2". 
Option: location, person, organization 
Text: {0} 
Answer:
 None