inform((_:search,day,'sunday');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
I 'd like to take a train from Cambridge on Sunday . Can you please show me the times ?
request((_:search,destination,?);(_:search,type,'Train'))
system
What is your destination ?
inform((_:search,arrive_by,'15:15');(_:search,destination,'london kings cross');(_:search,type,'Train'))
user
I am going to london kings cross , and would like to arrive by 15:15 .
inform((_:result,arrive_by,'13:51');(_:result,id,'TR7447');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR7447 will get you there by 13:51 .   Do you need some seats booked ?
inform((_:search,people,'2');(_:search,type,'Train'))
user
Yes .   Can you please book 2 seats ?
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'JVHB4V3C');(_:booking,ticket,'37.76');(_:booking,type,'Booking'))
system
Your booking was successful .   Your total fee is 37.76 payable at the station .   Your reference number is JVHB4V3C .   Is there anything else we can do to assist you ?
inform((_:search,area,'centre');(_:search,pricerange,'moderate');(_:search,type,'Restaurant'))
user
I am also looking for a restaurant in the centre of town . I 'd like it to be moderate price range , please .
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,amount,'many');(_:result,area,'centre');(_:result,type,'Restaurant'))
system
There are many wonderful restaurants in the centre , do you have a cuisine in mind ?
inform((_:search,day,'same day');(_:search,duration,'11:15');(_:search,people,'same group');(_:search,type,'Restaurant'))
user
Not really , pick something tasty for us and book a table , please ! 11:15 on that same day , same group .
inform((_:booking,name,'ali baba');(_:booking,ref,'8V419UNN');(_:booking,type,'Booking')) reqmore() inform((_:result,food,'lebanese');(_:result,type,'Restaurant'))
system
I booked you a table at ali baba , a lebanese restaurant . Your reference number is 8V419UNN . Do you need anything else ?
thank()
user
No , that is all for now . Thank you for your help . goodbye
system
Thank you for using our system .
_:search day sunday
_:search departure cambridge
_:search type Train
_:search day sunday
_:search departure cambridge
_:search arrive_by 15:15
_:search destination london kings cross
_:search type Train
_:search day sunday
_:search departure cambridge
_:search arrive_by 15:15
_:search destination london kings cross
_:result arrive_by 13:51
_:result id TR7447
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 2
_:search type Train
_:search day sunday
_:search departure cambridge
_:search arrive_by 15:15
_:search destination london kings cross
_:result arrive_by 13:51
_:result id TR7447
_:result type Train
_:system offered _:booking
_:search people 2
_:system inquired _:user
_:booking category Train
_:booking ref JVHB4V3C
_:booking ticket 37.76
_:booking type Booking
_:search area centre
_:search pricerange moderate
_:search type Restaurant
_:search departure cambridge
_:search arrive_by 15:15
_:search destination london kings cross
_:result arrive_by 13:51
_:result id TR7447
_:system offered _:booking
_:system inquired _:user
_:booking category Train
_:booking ref JVHB4V3C
_:booking ticket 37.76
_:booking type Booking
_:search area centre
_:search pricerange moderate
_:search food ?
_:result amount many
_:result area centre
_:result type Restaurant
_:search day same day
_:search duration 11:15
_:search people same group
_:search type Restaurant
_:search departure cambridge
_:search arrive_by 15:15
_:search destination london kings cross
_:result arrive_by 13:51
_:result id TR7447
_:system offered _:booking
_:booking category Train
_:booking ticket 37.76
_:search area centre
_:search pricerange moderate
_:search food ?
_:result amount many
_:result area centre
_:search day same day
_:search duration 11:15
_:search people same group
_:search type Restaurant
_:booking name ali baba
_:booking ref 8V419UNN
_:booking type Booking
_:system inquired _:user
_:result food lebanese
_:result type Restaurant