Megarian logic

GPTKB entity