- The JSON file
decided-categories.jsonlists various categories whose properties need to be decided. If a new property is added to the database, make sure to decide it at least for these categories. - The other JSON files specify precisely which properties are satisfied by a small collection of "core categories" (currently:
Set,Top,Ab). If a new property is added to the database, make sure to add the value here.