Code for generationg dimensions and facts for testing theories about data models