Socratic logic

GPTKB entity