Семантика системы R без звезды, с одним отношением достижимоститезисы доклада