Thus once the domain of the first-order variables is established, the meaning of the remaining quantifiers is fixed.
Έτσι με το που η περιοχή των μεταβλητών της πρώτης τάξης καθοριστεί, το νόημα των υπολοίπων ποσοδεικτών είναι δεδομένο.