{"subcategory": "Set", "supercategory": "Pfn", "kind": "total restriction"}
{"subcategory": "Top", "supercategory": "AdmRep", "kind": "total restriction"}