Infitive, like the English form to go = ir, to play = jugar, to find = hallar.
Formation: infinitivo simple of the verb haber + participio pasivo, np. haber hablado, haber vendido, haber vivido.
Its English equivalent : to have spoken, to have sold, to have lived.