Non-terminal symbol `SubTerms`

Defining rules for nonterminal symbol SubTerms:

`SubTerms`		`SubTerm`
		`SubTerm` '`,`' `SubTerms`

Occurrences of symbol SubTerms in body of other rules:

Body_opt '(' SubTerms ')'

Non-terminal symbol SubTerms