semantics:
  - GREETING