Helen may have already left by the time you arrive.

may 是情态动词，表示"可能"或"也许"，用于表达不确定的推测。 have 是助动词，在这里与情态动词 may 一起构成现在完成时态，表示动作可能已经完成。 may have 是一个情态动词加助动词的结构，表示对过去可能发生的事情的推测，意思是"可能已经..."。