Hindley–Milner

GPTKB entity