Mizar D

GPTKB entity