inform((_:search,day,'friday');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I 'd like a train to Cambridge on Friday
inform((_:result,departure,'london kings cross');(_:result,leave_at,'05:17');(_:result,type,'Train')) request((_:search,leave_at,?);(_:search,type,'Train'))
system
I can get you a ticket that leaves london kings cross at 05:17 or do you need a later time than that ?
inform((_:search,leave_at,'08:00');(_:search,type,'Train'))
user
Yes , I would need to leave after 08:00 please .
request((_:search,departure,?);(_:search,type,'Train'))
system
Can I just confirm your departure station please ?
inform((_:search,departure,'norwich');(_:search,type,'Train'))
user
Sorry , I will be leaving from Norwich .
inform((_:result,arrive_by,'9:35');(_:result,departure,'norwich');(_:result,destination,'cambridge');(_:result,id,'TR3292');(_:result,leave_at,'8:16');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have train TR3292 leaving norwich at 8:16 and arriving in cambridge at 9:35 . Would you like to make a reservation for this train ?
inform((_:search,people,'7');(_:search,type,'Train'))
user
That sounds good . Can you book it for 7 people ?
offer((_:booking,category,'Train');(_:booking,people,'7');(_:booking,type,'Booking'))
system
Yes I will book it for 7 people , and give you the reference number .
thank()
user
Okay , well , let me know when you have that .
inform((_:booking,category,'Train');(_:booking,ref,'9F6CEFRF');(_:booking,ticket,'123.2 GBP');(_:booking,type,'Booking'))
system
Booking was successful , the total fee is 123.2 GBP payable at the station . Reference number is : 9F6CEFRF .
inform((_:search,name,'kohinoor');(_:search,type,'Restaurant'))
user
Perfect , thank you !   I 'm also looking for a restaurant called Kohinoor .   Can you help me with that as well ?
inform((_:result,address,'74 Mill Road City Centre');(_:result,type,'Restaurant'))
system
74 Mill Road City Centre is its address
request((_:result,postcode,?);(_:result,type,'Restaurant'))
user
What is the post code please ?
reqmore() inform((_:result,name,'Kohinoor');(_:result,postcode,'cb12as');(_:result,type,'Restaurant'))
system
Kohinoor is in postcode cb12as . Can I help you with anything else ?
thank()
user
No . That 's all I need for now . Thank you so much .
system
Your welcome . Please contact us again .
_:search day friday
_:search destination cambridge
_:search type Train
_:search day friday
_:search destination cambridge
_:result departure london kings cross
_:result leave_at 05:17
_:result type Train
_:search leave_at 08:00
_:search type Train
_:search day friday
_:search destination cambridge
_:result departure london kings cross
_:result leave_at 05:17
_:result type Train
_:search leave_at 08:00
_:search departure norwich
_:search type Train
_:search day friday
_:search destination cambridge
_:search leave_at 08:00
_:search departure norwich
_:result arrive_by 9:35
_:result departure norwich
_:result destination cambridge
_:result id TR3292
_:result leave_at 8:16
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 7
_:search type Train
_:search day friday
_:search destination cambridge
_:search leave_at 08:00
_:search departure norwich
_:result arrive_by 9:35
_:result departure norwich
_:result destination cambridge
_:result id TR3292
_:result leave_at 8:16
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 7
_:search type Train
_:booking people 7
_:search day friday
_:search destination cambridge
_:search leave_at 08:00
_:search departure norwich
_:result arrive_by 9:35
_:result departure norwich
_:result destination cambridge
_:result id TR3292
_:result leave_at 8:16
_:result type Train
_:system offered _:booking
_:search people 7
_:booking people 7
_:booking category Train
_:booking ref 9F6CEFRF
_:booking ticket 123.2 GBP
_:booking type Booking
_:search name kohinoor
_:search type Restaurant
_:search day friday
_:search destination cambridge
_:search leave_at 08:00
_:search departure norwich
_:result arrive_by 9:35
_:result departure norwich
_:result destination cambridge
_:result id TR3292
_:result leave_at 8:16
_:system offered _:booking
_:search people 7
_:booking people 7
_:booking category Train
_:booking ref 9F6CEFRF
_:booking ticket 123.2 GBP
_:booking type Booking
_:search name kohinoor
_:search type Restaurant
_:result address 74 Mill Road City Centre
_:result type Restaurant
_:result postcode ?
_:search day friday
_:search destination cambridge
_:search leave_at 08:00
_:search departure norwich
_:result arrive_by 9:35
_:result departure norwich
_:result destination cambridge
_:result id TR3292
_:result leave_at 8:16
_:system offered _:booking
_:search people 7
_:booking people 7
_:booking category Train
_:booking ref 9F6CEFRF
_:booking ticket 123.2 GBP
_:booking type Booking
_:search name kohinoor
_:search type Restaurant
_:result address 74 Mill Road City Centre
_:system inquired _:user
_:result name Kohinoor
_:result postcode cb12as
_:result type Restaurant