inform((_:search,arrive_by,'21:00');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
What trains leave cambridge and arrive by 21:00 ?
inform((_:result,amount,'other options');(_:result,arrive_by,'20:58');(_:result,day,'Friday');(_:result,departure,'Cambridge');(_:result,destination,'kings lynn');(_:result,type,'Train'))
system
There is a train leaving Cambridge arriving at kings lynn Friday at 20:58 .   If this does not work I have other options .
inform((_:search,day,'wednesday');(_:search,destination,'norwich');(_:search,type,'Train'))
user
No I need leave in Wednesday and I am going to norwich .
inform((_:result,arrive_by,'21:00');(_:result,count,'15');(_:result,departure,'Cambridge');(_:result,destination,'Norwich');(_:result,type,'Train')) request((_:search,leave_at,?);(_:search,type,'Train'))
system
There are 15 trains that arrive in Norwich by 21:00 that leave from Cambridge , do you have a specific departure time ?
inform((_:search,people,'8');(_:search,type,'Train'))
user
No , I do n't have a specific departure time , but I need to book 8 tickets on the same train .
reqmore() inform((_:booking,arrive_by,'20:55');(_:booking,category,'Train');(_:booking,destination,'Norwich');(_:booking,leave_at,'19:36');(_:booking,people,'8');(_:booking,ref,'48KANS63');(_:booking,ticket,'140.8 GBP');(_:booking,type,'Booking'))
system
I booked 8 tickets for you on the 19:36 train , arriving in norwich at 20:55 . The total fee is 140.8 GBP . Reference number is 48KANS63 . Can I help with anything else ?
inform((_:search,area,'centre');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Great , thanks . Yes , I need to find an expensive restaurant in the centre area as well .
select((_:result,food,'african');(_:result,food,'asian oriental');(_:result,food,'british');(_:result,type,'Restaurant')) inform((_:result,count,'5');(_:result,type,'Restaurant'))
system
Alright , you have five options . Do you have a preference of food types , between african , asian oriental and british ?
inform((_:search,day,'wednesday');(_:search,duration,'16:00');(_:search,people,'8');(_:search,type,'Restaurant'))
user
I do not care , I just need to get the restaurant for 8 people , at 16:00 , on wednesday as well , do any of them fit that ?
inform((_:booking,duration,'16:00');(_:booking,people,'8');(_:booking,type,'Booking');(_:result,name,'bedouin');(_:result,type,'Restaurant'))
system
The bedouin has bookings at that time . Shall I book it for 8 people at 16:00 ?
request((_:result,ref,?);(_:result,type,'Restaurant'))
user
Yes , that sounds good , and I would like the reference number , please .
inform((_:booking,ref,'X5K4K601');(_:booking,type,'Booking'))
system
Booking was successful , table will be reserved for 15 mins . Reference number is : X5K4K601 .
thank()
user
Thank You . That 's all I need .
system
You are welcome . I hope you enjoy your trip and restaurant .
_:search arrive_by 21:00
_:search departure cambridge
_:search type Train
_:search arrive_by 21:00
_:search departure cambridge
_:result amount other options
_:result arrive_by 20:58
_:result day Friday
_:result departure Cambridge
_:result destination kings lynn
_:result type Train
_:search day wednesday
_:search destination norwich
_:search type Train
_:search arrive_by 21:00
_:search departure cambridge
_:result amount other options
_:result day Friday
_:search day wednesday
_:search destination norwich
_:result arrive_by 21:00
_:result count 15
_:result departure Cambridge
_:result destination Norwich
_:result type Train
_:search leave_at ?
_:search people 8
_:search type Train
_:search arrive_by 21:00
_:search departure cambridge
_:result amount other options
_:result day Friday
_:search day wednesday
_:search destination norwich
_:result arrive_by 21:00
_:result count 15
_:result departure Cambridge
_:result destination Norwich
_:result type Train
_:search leave_at ?
_:search people 8
_:system inquired _:user
_:booking arrive_by 20:55
_:booking category Train
_:booking destination Norwich
_:booking leave_at 19:36
_:booking people 8
_:booking ref 48KANS63
_:booking ticket 140.8 GBP
_:booking type Booking
_:search area centre
_:search pricerange expensive
_:search type Restaurant
_:search arrive_by 21:00
_:search departure cambridge
_:result amount other options
_:result day Friday
_:search destination norwich
_:result arrive_by 21:00
_:result departure Cambridge
_:result destination Norwich
_:search leave_at ?
_:system inquired _:user
_:booking arrive_by 20:55
_:booking category Train
_:booking destination Norwich
_:booking leave_at 19:36
_:booking people 8
_:booking ref 48KANS63
_:booking ticket 140.8 GBP
_:booking type Booking
_:search area centre
_:search pricerange expensive
_:result food african
_:result food asian oriental
_:result food british
_:result count 5
_:result type Restaurant
_:search day wednesday
_:search duration 16:00
_:search people 8
_:search type Restaurant
_:search arrive_by 21:00
_:search departure cambridge
_:result amount other options
_:result day Friday
_:search destination norwich
_:result arrive_by 21:00
_:result departure Cambridge
_:result destination Norwich
_:search leave_at ?
_:system inquired _:user
_:booking arrive_by 20:55
_:booking category Train
_:booking destination Norwich
_:booking leave_at 19:36
_:booking ref 48KANS63
_:booking ticket 140.8 GBP
_:search area centre
_:search pricerange expensive
_:result food african
_:result food asian oriental
_:result food british
_:result count 5
_:search day wednesday
_:search duration 16:00
_:search people 8
_:search type Restaurant
_:booking duration 16:00
_:booking people 8
_:booking type Booking
_:result name bedouin
_:result type Restaurant
_:result ref ?
_:search arrive_by 21:00
_:search departure cambridge
_:result amount other options
_:result day Friday
_:search destination norwich
_:result arrive_by 21:00
_:result departure Cambridge
_:result destination Norwich
_:search leave_at ?
_:system inquired _:user
_:booking arrive_by 20:55
_:booking category Train
_:booking destination Norwich
_:booking leave_at 19:36
_:booking ticket 140.8 GBP
_:search area centre
_:search pricerange expensive
_:result food african
_:result food asian oriental
_:result food british
_:result count 5
_:search day wednesday
_:search duration 16:00
_:search people 8
_:search type Restaurant
_:booking duration 16:00
_:booking people 8
_:result name bedouin
_:result type Restaurant
_:result ref ?
_:booking ref X5K4K601
_:booking type Booking