system Witamy w systemie sprzedaży biletów kinowych. welcomemsg
user Jakie gracie filmy 31 marca? (inform(date=31-03)&request(list[movie name]))
system Jakie gatunki najbardziej Cię interesują? Dostępne gatunki: komedia, dramat, thriller, horror. ((request=genre)&(select=komedia;dramat;thriller;horror))
user dramat inform(genre=dramat)
system z gatunku dramat 31 marca gramy Skazani na Shawshank ((expl-conf(date=31-03)&(offer(movie=skazani na shawshank))
user A jakiś inny film? (deny(movie=skazani na shawshank)&requalts(movie name)
system Może film Glenn’a Ficarra i John’a Requa “Kocha, lubi, szanuje”. W rolach główny Emma Stone i Ryan Gosling. Na pewno ten film poprawi Ci humor! offer(movie=Kocha, lubi, szanuje; starring = glenn, john)
user To jest komedia? confirm(genre=comedy)
system tak (affirm)
user a jakiś thriller? ((deny(genre=comedy))&requalts(genre=thriller))
system 31 marca gramy film Incepcja z gatunku: thriller (expl-conf(genre=thriller; date=31-03)&offer(movie-name=Incepcja))
user To chciałbym zarezerwować dwa bilety ((confirm(genre=thriller; date=31-03,movie-name=Incepcja))&(inform(ticket-quantity =2)))
system 31 marca film grany jest o: 13.40 (napisy polskie) i 16.00 (napisy polskie). Proszę wybrać godzinę ((expl-conf(date=31-03;ticket-quantity =2))&select(time=13.40, langopt=subtitles, polish;time=16.00, langopt=subtitles, polish))
user o 16 (confirm(time=13.40))
system Proszę wybrać rząd od A do G. (impl-conf(time))&(select(row=A..G))
user Najwyżej jak się da request(row=max)
system Najwyżej jest rząd G expl-conf(row=G)&inform(row=G)
system W tym rzędzie wolne miejsca: [1,2,3,4,5,6,x,x,x,x,11,12,13,14] - znak x oznacza miejsce zajęte select (select(seat-nr=[list])
user rezerwuje miejsce G3 i G4 inform(seat-nr=parse(G3,G4))
system Rezerwacja została przyjęta. Uprzejmie proszę o odebranie biletów w kasie kina przynajmniej 30 minut przed rozpoczęciem seansu. ((impl-conf(seat-nr; reservation=true))&(goodbyeMsg))
user Dziękuję to by było wszystko ack&bye
system Dziękujemy za skorzystanie z naszych usług! bye
