Non-terminal symbol Term

Defining rules for nonterminal symbol Term:

Term VARIABLE  FUNCTOR  FUNCTOR  '('  Body  ')'  '('  Term  ')'

Occurrences of symbol Term in body of other rules:

Clause Term  '.'  Body Term  Body Body  ','  Term