Non-terminal symbol `SubTerms`

Defining rules for nonterminal symbol SubTerms:

`SubTerms`		`SubTerm`
		`SubTerms` `SubTerm`

Occurrences of symbol SubTerms in body of other rules:

SubTerms_opt SubTerms

Non-terminal symbol SubTerms