1. company және student предикаттары факт болып есептеледі ;
stipendiya предикаты студент атын қабылдап, базадан студентті және оның алған орташа баллын іздейді. Содан кейін орташа балл тұрақтымен салыстырылады:
егер салыстыру сәтті болса, онда предикат сәтті аяқталады және «сыртта» біз стипендия бар студенттің атын аламыз;
егер салыстыру оқушының балы тұрақты деңгейден төмен болатындығын көрсетсе, онда предикат сәтсіз болады. Сонымен бірге, біз «сыртта» ешқандай нәтиже алмаймыз (бұл студент туралы ақпарат), бірақ қайтару әрекеті бар іздеу механизмі іске қосылады (аудармашы біздің өлшемдерге сәйкес келетін басқа студенттерді табуға тырысады);
салыстыру жүргізілгенге дейін предикат сәтсіздікке ұшырауы мүмкін - егер дерекқорда ешқандай ақпарат жоқ студенттің аты-жөні көрсетілсе (біз ол үшін орташа балл ала алмаймыз);