ulkb.TheorySettings.generated_id_prefix# TheorySettings.generated_id_prefix = '_'# Prefix of generated ids.