Kleene hierarchy

GPTKB entity