S (successor function)

GPTKB entity