In this paper we describe a new language for statistical data modelling, which offers a general framework for the representation of elementary and summarydata.Thereare threemain characteristicsof the language: 1) the types of modeling primitives of the languageare particularly suited for representing objects from a statistical point of view; 2) the languageincludes a rich setof structuring mechanismsfor both elementary andsummarydata,which aregiven a formal semanticsby means of logic; 3) the language is equipped with specializedinferenceprocedures,allowing for performing differentkinds of checkson therepresentation.