Iverson notation

GPTKB entity