has arrived
Es extraño que no haya llegado todavía si salió de casa hace más de dos horas.
It's strange that he hasn't arrived yet if he left home more than two hours ago.
I don't think he/she arrived.
Me sorprende que haya llegado tan lejos, pero estoy feliz por ella.
I'm surprised she's made it so far, but I'm happy for her.
— Dangal (2016)
Es bueno que haya llegado a casa a tiempo.
It's good that you got home on time.
Es una suerte que haya llegado a casa a tiempo.
It's lucky that I got home on time.
— Chicago (2002)