Ülesande otsimise kolm võimalust:
1) Fraasiotsing. (Täpsemalt peatükis „Otsingud“)
2) Ülesanded mooduli detailotsing. (Täpsemalt peatükis „Otsingud“)
3) Süsteemi üldotsing ehk mooduliteülene otsing . (Täpsemalt peatükis „Otsingud“)