Title: Steps towards a system of deductive detail generation