Borel structure

GPTKB entity