Non-terminal symbol `SortExpression`

Defining rules for nonterminal symbol SortExpression:

`SortExpression`		`Sort`
		'`{`' `SortList` '`}`'
		`NOT` `SortExpression`
		`SortExpression` `AND` `SortExpression`
		`SortExpression` `OR` `SortExpression`
		`SortExpression` `BUTNOT` `SortExpression`
		'`(`' `SortExpression` '`)`'

Occurrences of symbol SortExpression in body of other rules:

`UntaggedPsiTerm`		`SortExpression` `Body_opt`
`PragmaArguments_opt`		`SortExpression`
`PragmaArguments_opt`		`SortExpression` `SortExpression`

Non-terminal symbol SortExpression