I'd like here to try and define the Iceberg Model, with the aim of making assumptions explicit, and in doing so start defining a grammar of sort.