Nicod's criterion

GPTKB entity