Thue system

GPTKB entity