inform((_:search,arrive_by,'9:15');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
I need to find a train that departs from Cambridge and arrives by 9:15 . Can you help ?
request((_:search,destination,?);(_:search,type,'Train'))
system
What is your destination ?
inform((_:search,destination,'ely');(_:search,type,'Train'))
user
I 'm traveling to Ely .
request((_:search,day,?);(_:search,type,'Train'))
system
We can definitely help you with that , I just need to know the day you will be traveling .
inform((_:search,arrive_by,'21:15');(_:search,type,'Train'))
user
For today , arriving by 21:15 .
request((_:search,day,?);(_:search,type,'Train'))
system
I 'm sorry , I need to know the day you will be traveling .
inform((_:search,day,'sunday');(_:search,type,'Train'))
user
I am departing on Sunday .
inform((_:result,arrive_by,'20:07');(_:result,day,'Sunday');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have a train on Sunday that arrives at 20:07 . Would that do ?
inform((_:search,people,'8');(_:search,type,'Train'))
user
That 's perfect .   Could you book it for 8 people ?
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'LZLSJZ1K');(_:booking,ticket,'28.16 GBP');(_:booking,type,'Booking'))
system
Booking was successful , the total fee is 28.16 GBP payable at the station . Reference number is : LZLSJZ1K . Anything else I can help with ?
inform((_:search,area,'centre');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Thank you ! Will you please find me an expensive restaurant in the Centre part of town ?
offer((_:booking,type,'Booking'))
system
Would you like me to book it for you ?
inform((_:search,food,'thai');(_:search,type,'Restaurant'))
user
no booking yet for the restaurant .   I want to eat at a restaurant that serves thai food .   Do you have any ?
offer((_:booking,type,'Booking')) inform((_:result,area,'centre');(_:result,food,'Thai');(_:result,name,'Bangkok City');(_:result,type,'Restaurant'))
system
Bangkok City serves Thai food , and is in the centre part of town . Would you like me to book it for you ?
inform((_:search,day,'sunday');(_:search,duration,'11:00');(_:search,people,'8');(_:search,type,'Restaurant'))
user
Yes please , for 8 people at 11:00 on Sunday .
request((_:booking,day,?);(_:booking,type,'Booking'))
system
What day would you like to book the table for ?
request((_:result,ref,?);(_:result,type,'Restaurant')) inform((_:search,day,'sunday');(_:search,type,'Restaurant'))
user
I just told you ! sunday ! Now please go on and book and send me the reference number
canthelp((_:booking,type,'Booking'))
system
It seems that I can not reserve that at the moment . Would you like me to try a different restaurant ?
inform((_:search,duration,'10:00');(_:search,type,'Restaurant'))
user
How about at 10:00 instead ?
inform((_:booking,day,'Sunday');(_:booking,duration,'10:00');(_:booking,type,'Booking'))
system
I will book your reservation for 10:00 on Sunday .
request((_:result,ref,?);(_:result,type,'Restaurant'))
user
OK , please do that and get me the reference number .
inform((_:booking,ref,'SDY23J83');(_:booking,type,'Booking'))
system
Booked ! The table will be reserved for 15 minutes . 
 Reference number : SDY23J83 .
thank()
user
That 's all I need . Thanks for your help tonight .
system
Have a great night .
_:search arrive_by 9:15
_:search departure cambridge
_:search type Train
_:search arrive_by 9:15
_:search departure cambridge
_:search destination ely
_:search type Train
_:search departure cambridge
_:search destination ely
_:search day ?
_:search arrive_by 21:15
_:search type Train
_:search departure cambridge
_:search destination ely
_:search arrive_by 21:15
_:search day sunday
_:search type Train
_:search departure cambridge
_:search destination ely
_:search arrive_by 21:15
_:search day sunday
_:result arrive_by 20:07
_:result day Sunday
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 8
_:search type Train
_:search departure cambridge
_:search destination ely
_:search arrive_by 21:15
_:search day sunday
_:result arrive_by 20:07
_:result day Sunday
_:result type Train
_:system offered _:booking
_:search people 8
_:system inquired _:user
_:booking category Train
_:booking ref LZLSJZ1K
_:booking ticket 28.16 GBP
_:booking type Booking
_:search area centre
_:search pricerange expensive
_:search type Restaurant
_:search departure cambridge
_:search destination ely
_:search arrive_by 21:15
_:search day sunday
_:result arrive_by 20:07
_:result day Sunday
_:result type Train
_:system offered _:booking
_:search people 8
_:system inquired _:user
_:booking category Train
_:booking ref LZLSJZ1K
_:booking ticket 28.16 GBP
_:booking type Booking
_:search area centre
_:search pricerange expensive
_:search food thai
_:search type Restaurant
_:search departure cambridge
_:search destination ely
_:search arrive_by 21:15
_:result arrive_by 20:07
_:result day Sunday
_:system offered _:booking
_:system inquired _:user
_:booking category Train
_:booking ref LZLSJZ1K
_:booking ticket 28.16 GBP
_:booking type Booking
_:search area centre
_:search pricerange expensive
_:search food thai
_:result area centre
_:result food Thai
_:result name Bangkok City
_:result type Restaurant
_:search day sunday
_:search duration 11:00
_:search people 8
_:search type Restaurant
_:search departure cambridge
_:search destination ely
_:search arrive_by 21:15
_:result arrive_by 20:07
_:result day Sunday
_:system offered _:booking
_:system inquired _:user
_:booking category Train
_:booking ref LZLSJZ1K
_:booking ticket 28.16 GBP
_:search area centre
_:search pricerange expensive
_:search food thai
_:result area centre
_:result food Thai
_:result name Bangkok City
_:result type Restaurant
_:search duration 11:00
_:search people 8
_:booking day ?
_:booking type Booking
_:result ref ?
_:search day sunday
_:search type Restaurant
_:search departure cambridge
_:search destination ely
_:search arrive_by 21:15
_:result arrive_by 20:07
_:result day Sunday
_:system offered _:booking
_:system inquired _:user
_:booking category Train
_:booking ref LZLSJZ1K
_:booking ticket 28.16 GBP
_:search area centre
_:search pricerange expensive
_:search food thai
_:result area centre
_:result food Thai
_:result name Bangkok City
_:result type Restaurant
_:search people 8
_:booking day ?
_:booking type Booking
_:result ref ?
_:search day sunday
_:system canthelp _:booking/b55d82b1
_:booking/b55d82b1 type Booking
_:search duration 10:00
_:search type Restaurant
_:search departure cambridge
_:search destination ely
_:search arrive_by 21:15
_:result arrive_by 20:07
_:result day Sunday
_:system offered _:booking
_:system inquired _:user
_:booking category Train
_:booking ref LZLSJZ1K
_:booking ticket 28.16 GBP
_:search area centre
_:search pricerange expensive
_:search food thai
_:result area centre
_:result food Thai
_:result name Bangkok City
_:result type Restaurant
_:search people 8
_:result ref ?
_:search day sunday
_:system canthelp _:booking/b55d82b1
_:booking/b55d82b1 type Booking
_:search duration 10:00
_:search type Restaurant
_:booking day Sunday
_:booking duration 10:00
_:booking type Booking
_:search departure cambridge
_:search destination ely
_:search arrive_by 21:15
_:result arrive_by 20:07
_:result day Sunday
_:system offered _:booking
_:system inquired _:user
_:booking category Train
_:booking ticket 28.16 GBP
_:search area centre
_:search pricerange expensive
_:search food thai
_:result area centre
_:result food Thai
_:result name Bangkok City
_:result type Restaurant
_:search people 8
_:result ref ?
_:search day sunday
_:system canthelp _:booking/b55d82b1
_:booking/b55d82b1 type Booking
_:search duration 10:00
_:search type Restaurant
_:booking day Sunday
_:booking duration 10:00
_:booking ref SDY23J83
_:booking type Booking