A laptopos bemutatásra szánt eALIS1.1 program elssorban nyelvészek (mint „bels felhasználók”) számára hivatott eszköztárat adni olyan nyelvfragmentumok építésére, amelyek jól ragadják meg a természetes nyelvek sajátosságait, elssorban a kompozicionális jelentésösszegzdést. A definiálható jelentések olyan pragmatikai-szemantikai leírások, amelyek megfelelnek a (reprezentacionalista dinamikus diskurzusszemantikák családjába tartozó) eALIS releváns definícióinak. A felépített nyelvet alkalmazókat küls felhasználóként határozhatjuk meg. Lényegében egy sajátosan megsokszorozott adatbázist kapnak, ami a való világ modellje mellett annak alternatíváit is felkínálja. A eALIS alapállása szerint ezek a formális szemantikából ismerhet „lehetséges világok” mindig odaköthetek a világmodellben jelen lév humán ágensekhez mint azok (tév-) hiedelmei, vágyai, szándékai, álmai. A küls felhasználó a program használata során (lépésrl lépésre) lexikai egységeket kap választásra, ezekbl mondatokat építhet, a felépített mondatoknak pedig megkapja az igazságértékelését egy általa kiválasztott vagy feltöltött világmodell alapján. Az igazságértékelést olyan „konstruktivista” módon kib- vítve értjük, hogy a program az „igaz” válaszon túl megadja mindazt az információt, ami alátámasztja e választ. Nemcsak a nyelvleírás „próbára tételét” szolgálhatja tehát a program, hanem adatgyjtésre és -rendszerezésre is használható
