Non-terminal symbol `UntaggedPsiTerm`

Defining rules for nonterminal symbol UntaggedPsiTerm:

UntaggedPsiTerm SortExpression Body_opt

Occurrences of symbol UntaggedPsiTerm in body of other rules:

`PsiTerm`		`UntaggedPsiTerm`
`PsiTerm`		`TAG` '`:`' `UntaggedPsiTerm`

Non-terminal symbol UntaggedPsiTerm