Church booleans

GPTKB entity