David Ladyman

GPTKB entity