which is the best vampire noval

What is mixed source code or software

.Translate the following statement into FOL. “For every a, if a is a philosopher, then a is a scholar”