inform((_:search,destination,'cambridge');(_:search,type,'Train'))
user
I am looking for information in Cambridge , looking for a train
request((_:search,day,?);(_:search,departure,?);(_:search,destination,?);(_:search,leave_at,?);(_:search,type,'Train')) thank()
system
OK , I can set you up .   Will you be coming to or from cambridge ?   I could also use a date and time .
inform((_:search,departure,'leicester');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I am headed into Cambridge from Leicester .
request((_:search,day,?);(_:search,type,'Train'))
system
Ok , and what day do you want to travel ?
inform((_:search,arrive_by,'10:15');(_:search,day,'sunday');(_:search,people,'2');(_:search,type,'Train'))
user
arrive by 10:15 and should leave on sunday and book it for 2 people thank you
inform((_:result,arrive_by,'09:54');(_:result,destination,'Cambridge');(_:result,id,'TR0440');(_:result,ref,'1YRU0L1Z');(_:result,ticket,'60.48 GBP');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Train TR0440 will get you to Cambridge by 09:54 . I will book it for you . Your total fee is 60.48 GBP payable at the station . Reference number is : 1YRU0L1Z .
inform((_:search,area,'center');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I also need the name and number for an expensive restaurant in the city center .
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,count,'33');(_:result,type,'Restaurant')) thank()
system
Ok .   There are 33 options to choose from .   Are you interested in a particular type of food ?
inform((_:search,food,'korean');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Yes expensive Korean food .
offer((_:booking,type,'Booking')) inform((_:result,area,'centre');(_:result,food,'Korean');(_:result,name,'Little Seoul');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
Little Seoul is an expensive Korean restaurant located in the centre . Would you like me to book a table ?
user
Yes , please book a table .
request((_:booking,duration,?);(_:booking,people,?);(_:booking,type,'Booking'))
system
Okay , for how many people and what time ?
inform((_:search,day,'sunday');(_:search,duration,'18:15');(_:search,people,'2');(_:search,type,'Restaurant'))
user
for 2 peopl   at 18:15 on sunday
reqmore() inform((_:booking,ref,'XSMICBEN');(_:booking,type,'Booking'))
system
Okay perfect . Booking was successful . The table will be reserved for 15 minutes . 
 Reference number is : XSMICBEN . Anything else ?
thank()
user
No . That is all for today . Thank you .
thank()
system
OKay great it was a pleasure working with you today .
thank()
user
I 've got to run so I 'm not late for work . Thanks . Goodbye .
system
Thank you for using the Cambridge TownInfo centre . Have a great day .
_:search destination cambridge
_:search type Train
_:search day ?
_:search leave_at ?
_:search departure leicester
_:search destination cambridge
_:search type Train
_:search leave_at ?
_:search departure leicester
_:search destination cambridge
_:search arrive_by 10:15
_:search day sunday
_:search people 2
_:search type Train
_:search leave_at ?
_:search departure leicester
_:search destination cambridge
_:search arrive_by 10:15
_:search day sunday
_:search people 2
_:result arrive_by 09:54
_:result destination Cambridge
_:result id TR0440
_:result ref 1YRU0L1Z
_:result ticket 60.48 GBP
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search area center
_:search pricerange expensive
_:search type Restaurant
_:search leave_at ?
_:search departure leicester
_:search destination cambridge
_:search arrive_by 10:15
_:search day sunday
_:search people 2
_:result arrive_by 09:54
_:result destination Cambridge
_:result id TR0440
_:result ref 1YRU0L1Z
_:result ticket 60.48 GBP
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search area center
_:result count 33
_:result type Restaurant
_:search food korean
_:search pricerange expensive
_:search type Restaurant
_:search leave_at ?
_:search departure leicester
_:search destination cambridge
_:search arrive_by 10:15
_:search day sunday
_:search people 2
_:result arrive_by 09:54
_:result destination Cambridge
_:result id TR0440
_:result ref 1YRU0L1Z
_:result ticket 60.48 GBP
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search area center
_:result count 33
_:search food korean
_:search pricerange expensive
_:search type Restaurant
_:result area centre
_:result food Korean
_:result name Little Seoul
_:result pricerange expensive
_:result type Restaurant
_:search leave_at ?
_:search departure leicester
_:search destination cambridge
_:search arrive_by 10:15
_:result arrive_by 09:54
_:result destination Cambridge
_:result id TR0440
_:result ref 1YRU0L1Z
_:result ticket 60.48 GBP
_:system offered _:booking
_:booking category Train
_:search area center
_:result count 33
_:search food korean
_:search pricerange expensive
_:result area centre
_:result food Korean
_:result name Little Seoul
_:result pricerange expensive
_:result type Restaurant
_:booking duration ?
_:booking people ?
_:booking type Booking
_:search day sunday
_:search duration 18:15
_:search people 2
_:search type Restaurant
_:search leave_at ?
_:search departure leicester
_:search destination cambridge
_:search arrive_by 10:15
_:result arrive_by 09:54
_:result destination Cambridge
_:result id TR0440
_:result ref 1YRU0L1Z
_:result ticket 60.48 GBP
_:system offered _:booking
_:booking category Train
_:search area center
_:result count 33
_:search food korean
_:search pricerange expensive
_:result area centre
_:result food Korean
_:result name Little Seoul
_:result pricerange expensive
_:result type Restaurant
_:booking duration ?
_:booking people ?
_:search day sunday
_:search duration 18:15
_:search people 2
_:search type Restaurant
_:system inquired _:user
_:booking ref XSMICBEN
_:booking type Booking
_:search leave_at ?
_:search departure leicester
_:search destination cambridge
_:search arrive_by 10:15
_:result arrive_by 09:54
_:result destination Cambridge
_:result id TR0440
_:result ref 1YRU0L1Z
_:result ticket 60.48 GBP
_:system offered _:booking
_:booking category Train
_:search area center
_:result count 33
_:search food korean
_:search pricerange expensive
_:result area centre
_:result food Korean
_:result name Little Seoul
_:result pricerange expensive
_:result type Restaurant
_:booking duration ?
_:booking people ?
_:search day sunday
_:search duration 18:15
_:search people 2
_:search type Restaurant
_:system inquired _:user
_:booking ref XSMICBEN
_:booking type Booking