Synthesise Domain Model ()