Domain abstraction language definition and example.