Sentences 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
Syntax 
Sentence = Pattern [ Rest ].