Mostowski model

GPTKB entity