inform((_:search,destination,'london kings cross');(_:search,leave_at,'21:45');(_:search,type,'Train'))
user
Hello , I need a train to London Kings Cross after 21:45 , please .
inform((_:result,amount,'several');(_:result,destination,'kings cross');(_:result,type,'Train')) request((_:search,departure,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
There are several going to kings cross , where are you departing from and when do you went to leave ?
inform((_:search,day,'monday');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
I 'm leaving from Cambridge on Monday .
inform((_:result,arrive_by,'21:00');(_:result,id,'TR2634');(_:result,ticket,'23.60 pounds');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR2634 can get you there by 21:00 it is 23.60 pounds per person , would you like me to book you ?
inform((_:search,people,'one');(_:search,type,'Train'))
user
Yes please book it for one person .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'M5L3KBEV');(_:booking,type,'Booking'))
system
Your reference number is M5L3KBEV . Do you need anything else ?
inform((_:search,name,'bedouin');(_:search,type,'Restaurant'))
user
I m also looking for a restaurant by the name of bedouin .
inform((_:result,area,'center');(_:result,food,'African');(_:result,name,'Bedouin');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
Bedouin is a wonderful African restaurant in the center of town . It 's a little expensive , but the food and service is outstanding .
user
can you book that for me .
request((_:booking,people,?);(_:booking,type,'Booking'))
system
Yes , I would be happy to do that for you . How many people would there be for that reservation ?
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
Actually can i just have the phone number instead ?
reqmore() inform((_:result,name,'bedouin');(_:result,phone,'01223367660');(_:result,type,'Restaurant'))
system
The phone umber for bedouin is 01223367660 . Can I help with anything else ?
thank()
user
No , that 's all the information I wanted . Thank you so much for all your help .
reqmore()
system
is there anything else i can help you with ?
thank()
user
That should be it . Thanks .   Goodbye .
system
Thank you for contacting us and have a nice day .
_:search destination london kings cross
_:search leave_at 21:45
_:search type Train
_:search destination london kings cross
_:result amount several
_:result destination kings cross
_:result type Train
_:search leave_at ?
_:search day monday
_:search departure cambridge
_:search type Train
_:search destination london kings cross
_:result amount several
_:result destination kings cross
_:search leave_at ?
_:search day monday
_:search departure cambridge
_:result arrive_by 21:00
_:result id TR2634
_:result ticket 23.60 pounds
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people one
_:search type Train
_:search destination london kings cross
_:result amount several
_:result destination kings cross
_:search leave_at ?
_:search day monday
_:search departure cambridge
_:result arrive_by 21:00
_:result id TR2634
_:result ticket 23.60 pounds
_:result type Train
_:system offered _:booking
_:search people one
_:system inquired _:user
_:booking category Train
_:booking ref M5L3KBEV
_:booking type Booking
_:search name bedouin
_:search type Restaurant
_:search destination london kings cross
_:result amount several
_:result destination kings cross
_:search leave_at ?
_:search day monday
_:search departure cambridge
_:result arrive_by 21:00
_:result id TR2634
_:result ticket 23.60 pounds
_:system offered _:booking
_:search people one
_:system inquired _:user
_:booking category Train
_:booking ref M5L3KBEV
_:booking type Booking
_:search name bedouin
_:search type Restaurant
_:result area center
_:result food African
_:result name Bedouin
_:result pricerange expensive
_:result type Restaurant
_:search destination london kings cross
_:result amount several
_:result destination kings cross
_:search leave_at ?
_:search day monday
_:search departure cambridge
_:result arrive_by 21:00
_:result id TR2634
_:result ticket 23.60 pounds
_:system offered _:booking
_:search people one
_:system inquired _:user
_:booking category Train
_:booking ref M5L3KBEV
_:search name bedouin
_:search type Restaurant
_:result area center
_:result food African
_:result name Bedouin
_:result pricerange expensive
_:result type Restaurant
_:booking people ?
_:booking type Booking
_:result phone ?
_:search destination london kings cross
_:result amount several
_:result destination kings cross
_:search leave_at ?
_:search day monday
_:search departure cambridge
_:result arrive_by 21:00
_:result id TR2634
_:result ticket 23.60 pounds
_:system offered _:booking
_:search people one
_:booking category Train
_:booking ref M5L3KBEV
_:search name bedouin
_:search type Restaurant
_:result area center
_:result food African
_:result pricerange expensive
_:booking people ?
_:booking type Booking
_:system inquired _:user
_:result name bedouin
_:result phone 01223367660
_:result type Restaurant
_:search destination london kings cross
_:result amount several
_:result destination kings cross
_:search leave_at ?
_:search day monday
_:search departure cambridge
_:result arrive_by 21:00
_:result id TR2634
_:result ticket 23.60 pounds
_:system offered _:booking
_:search people one
_:booking category Train
_:booking ref M5L3KBEV
_:search name bedouin
_:search type Restaurant
_:result area center
_:result food African
_:result pricerange expensive
_:booking people ?
_:booking type Booking
_:result name bedouin
_:result phone 01223367660
_:result type Restaurant
_:system inquired _:user