Semantic bootstrap time