A kutatás tárgya annak a vizsgálata, hogy az egzisztenciális mondatokban (pl. angol there is/are szerkezetek) milyen univerzális tulajdonságok fedezhetők fel és ezek hogyan modellezhetők elegánsan valamilyen logikai rendszer (pl. kombinatorikus logika) eszközeinek segítségével. A kutatás további természetes kiterjesztésében arra a kérdésre keresi a választ, hogy az így felfedezett univerzális tulajdonságok hogyan manifesztálódnak ill. lépnek interakcióba különböző konkrét nyelvek(pl. angol, magyar, német stb.) nyelvspecifikus tulajdonságaival. A kutatás nemzetközi szempontból is érdekes eredményekkel szolgálhat a különböző nyelvtípusokra vonatkozó hasonló kutatások eredményeinek az összevetése által.