Mizar system

GPTKB entity