TeX source:
\exists a({\text{Phil}}(a))