W części głównej sympozjum przedstawię pewien problem szczegółowy. Rozpocznę od analizy zdania elementarnego (np. Jan mieszka w Lublinie) i pokażę, że zdanie to niekoniecznie musi być rozumiane jako elementarne. Oznacza to, że zdania proste języka naturalnego „nie trafiają” w atomowe sytuacje. Stąd propozycja, by – na przekór teorii Wolniewicza – rozważyć kraty sytuacji, w których nie ma sytuacji elementarnych atomowych. Prowadzi nas to do krat, które złożone są z przestrzeni topologicznych, krat, które pozwalają ująć teorię Wolniewicza, ale też teorię ogólniejszą, w której nie musimy zakładać istnienia sytuacji atomowej.