Logical syntax of language
Keywords: P:3