Non-terminal symbol `SortExpression`

Defining rules for nonterminal symbol SortExpression:

`SortExpression`		`Constant`
		`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

Non-terminal symbol SortExpression