Ground expressions are used for representing tree-like structures at run-time.
GroundExpression = { GroundTerm }. GroundTerm = Symbol | "(" GroundExpression ")".
Ground expressions are denoted by Ge, ground terms by Gt, and symbols by Gs.