Reply on: 810zssk #232900:
Tu nejde o formálnu platnosť výrokovej logiky, tu ide o jej obsah, ktorý si formuloval takým spôsobom, aby vyznel, že v roku 2019 niekto spiatočnícky nahráva natvrdo oznamy. Informácia o prestupe je samostatný audio súbor a môže sa použiť k hociktorej zastávke, v budúcnosti ho môže vyvolať aj vodič. Systém je obmedzujúci, ale v rámci neho je snaha o najväčšiu flexibilitu.
Ike
Čo sa týka Karlovky tak to boli dve vylučovacie možnosti. Buď žiadne hlásenia, alebo súčasný stav.