In the first-order sentence "Socrates is the teacher of Plato", the predicate "is the teacher of" takes two variables.
Στην έκφραση πρώτου βαθμού "Ο Σωκράτης είναι ο δάσκαλος του Πλάτωνα", το κατηγόρημα "είναι δάσκαλος του" παίρνει δύο μεταβλητές.