```clafer
abstract Device
  electronic ?
  smart ?
    [electronic]
```

```{.clafer .links}
```