{"category": {"value": "FinOrd", "label": "FinOrd"}, "is_grothendieck": 1, "has_nno": 0, "is_boolean": 1, "is_well_pointed": 1}