inform((_:search,name,'ali baba');(_:search,type,'Restaurant'))
user
I 'm trying to find a restaurant by the name of ali baba . Can you help me out ?
offer((_:booking,type,'Booking')) inform((_:result,address,'59 Hills Road City Centre');(_:result,name,'Ali Baba');(_:result,type,'Restaurant'))
system
Sure !   Ali Baba is at 59 Hills Road City Centre .   Would you like to book a table ?
inform((_:search,day,'monday');(_:search,duration,'14:00');(_:search,people,'six');(_:search,type,'Restaurant'))
user
Yes . Six people at 14:00 on Monday .
reqmore() inform((_:booking,ref,'UXY6QBZY');(_:booking,type,'Booking'))
system
Ok , your reservation is all set .   They will hold the table for 15 minutes . Your reference number is UXY6QBZY .   Is there anything else I can help you with today ?
inform((_:search,arrive_by,'11:15');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
Thank you .   Yeah , I 'm also looking for find a train out of Cambridge that will arrive by 11:15 .
request((_:search,destination,?);(_:search,type,'Train'))
system
great , what is your destination ?
inform((_:search,day,'tuesday');(_:search,destination,'stansted airport');(_:search,type,'Train'))
user
My destination is the Stansted Airport on Tuesday .
inform((_:result,count,'6');(_:result,leave_at,'05:40');(_:result,leave_at,'10:40');(_:result,type,'Train')) request((_:search,leave_at,?);(_:search,type,'Train'))
system
I have 6 trains available departures starting 05:40 to 10:40 .   What time would you like to leave ?
inform((_:search,arrive_by,'11:15');(_:search,type,'Train')) request((_:result,leave_at,?);(_:result,type,'Train'))
user
Can you just give me the departure time of the one that gets me to Stansted a little before 11:15 ?
inform((_:result,arrive_by,'11:08');(_:result,count,'1');(_:result,leave_at,'10:40');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
There is one that arrives by 11:08 and it departs at 10:40 . Would you like to book that ?
thank()
user
No . That 's all I needed to know , thank you .
system
You 're welcome , have a great day !
_:search name ali baba
_:search type Restaurant
_:search name ali baba
_:system offered _:booking
_:booking type Booking
_:result address 59 Hills Road City Centre
_:result name Ali Baba
_:result type Restaurant
_:search day monday
_:search duration 14:00
_:search people six
_:search type Restaurant
_:search name ali baba
_:system offered _:booking
_:result address 59 Hills Road City Centre
_:result name Ali Baba
_:result type Restaurant
_:search day monday
_:search duration 14:00
_:search people six
_:system inquired _:user
_:booking ref UXY6QBZY
_:booking type Booking
_:search arrive_by 11:15
_:search departure cambridge
_:search type Train
_:search name ali baba
_:system offered _:booking
_:result address 59 Hills Road City Centre
_:result name Ali Baba
_:result type Restaurant
_:search duration 14:00
_:search people six
_:system inquired _:user
_:booking ref UXY6QBZY
_:booking type Booking
_:search arrive_by 11:15
_:search departure cambridge
_:search day tuesday
_:search destination stansted airport
_:search type Train
_:search name ali baba
_:system offered _:booking
_:result address 59 Hills Road City Centre
_:result name Ali Baba
_:search duration 14:00
_:search people six
_:system inquired _:user
_:booking ref UXY6QBZY
_:booking type Booking
_:search departure cambridge
_:search day tuesday
_:search destination stansted airport
_:result count 6
_:result leave_at 05:40
_:result leave_at 10:40
_:result type Train
_:search leave_at ?
_:search arrive_by 11:15
_:search type Train
_:result leave_at ?
_:search name ali baba
_:system offered _:booking
_:result address 59 Hills Road City Centre
_:result name Ali Baba
_:search duration 14:00
_:search people six
_:system inquired _:user
_:booking ref UXY6QBZY
_:booking type Booking
_:search departure cambridge
_:search day tuesday
_:search destination stansted airport
_:search leave_at ?
_:search arrive_by 11:15
_:search type Train
_:result arrive_by 11:08
_:result count 1
_:result leave_at 10:40
_:result type Train
_:booking category Train