Borel hierarchy

GPTKB entity