Place attributes
- run Sicstus command
- assert for the place of attributes
- definition of domains in knowledge