Another typical example is (#$relationAllExists #$biologicalMother #$ChordataPhylum #$FemaleAnimal) which means that for every instance of the collection #$ChordataPhylum (i.e. for every chordate), there exists a female animal (instance of #$FemaleAnimal), which is its mother (described by the predicate #$biologicalMother).
Інший типовий приклад: (#$relationAllExists #$biologicalMother #$ChordataPhylum #$FemaleAnimal) який означає що для кожного екземпляра #$ChordataPhylum (хордових), існує самиця (екземпляр #$FemaleAnimal) яка є матір'ю (описується предикатом #$biologicalMother).