A sentence accepts a given ground expression and tries to match it against a pattern. If the matching succeeds, the following rest is evaluated.
Sentence = Pattern [ Rest ].