inform((_:search,destination,'kings lynn');(_:search,type,'Train'))
user
Hello , I 'd like some information on a train going to Kings Lynn .
request((_:search,day,?);(_:search,departure,?);(_:search,type,'Train'))
system
Certainly . Where will you be leaving from and on what day ?
inform((_:search,arrive_by,'8 p.m.');(_:search,day,'monday');(_:search,departure,'cambridge');(_:search,destination,'Kings Lynn');(_:search,type,'Train'))
user
I 'm coming from Cambridge and would like to arrive at Kings Lynn by 8 p.m. Monday .
inform((_:result,arrive_by,'18:58');(_:result,duration,'47 minutes');(_:result,id,'TR7803');(_:result,leave_at,'18:11');(_:result,ticket,'9.80 pounds');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR7803 will leave at 18:11 and arrive 47 minutes later at 18:58 . The trip will cost 9.80 pounds . Would you like to book this train ?
thank()
user
Yes , please . Thank you so much !
request((_:search,people,?);(_:search,type,'Train'))
system
How many seats will you need ?
request((_:result,duration,?);(_:result,id,?);(_:result,ticket,?);(_:result,type,'Train'))
user
None right now but could you just tell me the price , train ID , and travel time ?
inform((_:result,arrive_by,'18:58');(_:result,duration,'47 minutes');(_:result,id,'TR7803');(_:result,leave_at,'18:11');(_:result,ticket,'9.80 pounds');(_:result,type,'Train'))
system
TR7803 will leave at 18:11 and arrive 47 minutes later at 18:58 . The trip will cost 9.80 pounds .
inform((_:search,area,'centre');(_:search,food,'african');(_:search,type,'Restaurant'))
user
Thanks .   I am also looking for a restaurant in the centre that serves African food .
offer((_:booking,type,'Booking')) inform((_:result,name,'Bedouin');(_:result,type,'Restaurant'))
system
I found Bedouin matching your request .   Would you like to book a table there ?
request((_:result,ticket,?);(_:result,type,'Train')) inform((_:search,pricerange,'moderate');(_:search,type,'Restaurant'))
user
Is it in the moderate price range ?
inform((_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
No it is in an expensive price range .
inform((_:search,day,'monday');(_:search,duration,'14:45');(_:search,food,'international');(_:search,people,'8');(_:search,pricerange,'moderately');(_:search,type,'Restaurant')) request((_:result,ticket,?);(_:result,type,'Train'))
user
Okay let 's look for a moderately priced international restaurant , book me a table anywhere for 8 people at 14:45 on Monday .
request((_:search,food,?);(_:search,pricerange,?);(_:search,type,'Restaurant')) canthelp((_:search,food,'international');(_:search,pricerange,'moderate');(_:search,type,'Restaurant'))
system
I am sorry but there are no moderate price international restaurant available .   Would you like to try another food or price range ?
inform((_:search,area,'centre');(_:search,food,'African');(_:search,name,'Bedouin');(_:search,type,'Restaurant'))
user
Okay , then let 's go back to my first choice , African cuisine . You mentioned the Bedouin , earlier . Is it in the city centre ?
inform((_:result,area,'centre');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
It is located in the centre and is expensive .
user
Yes , I would like to book please .
reqmore() inform((_:booking,day,'Monday');(_:booking,duration,'14:45');(_:booking,name,'Bedouin');(_:booking,people,'eight');(_:booking,ref,'LGUNVWOU');(_:booking,type,'Booking'))
system
I reserved a table for eight people at the Bedouin on Monday at 14:45 . Reference number is LGUNVWOU . Hold time will be for 15 minutes . Is there anything else ?
bye()
user
Have a nice day .
system
Thank you . You as well !
_:search destination kings lynn
_:search type Train
_:search arrive_by 8 p.m.
_:search day monday
_:search departure cambridge
_:search destination Kings Lynn
_:search type Train
_:search arrive_by 8 p.m.
_:search day monday
_:search departure cambridge
_:search destination Kings Lynn
_:search type Train
_:result arrive_by 18:58
_:result duration 47 minutes
_:result id TR7803
_:result leave_at 18:11
_:result ticket 9.80 pounds
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search arrive_by 8 p.m.
_:search day monday
_:search departure cambridge
_:search destination Kings Lynn
_:result arrive_by 18:58
_:result duration 47 minutes
_:result id TR7803
_:result leave_at 18:11
_:result ticket 9.80 pounds
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people ?
_:search type Train
_:result duration ?
_:result id ?
_:result ticket ?
_:search arrive_by 8 p.m.
_:search day monday
_:search departure cambridge
_:search destination Kings Lynn
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people ?
_:result arrive_by 18:58
_:result duration 47 minutes
_:result id TR7803
_:result leave_at 18:11
_:result ticket 9.80 pounds
_:result type Train
_:search area centre
_:search food african
_:search type Restaurant
_:search arrive_by 8 p.m.
_:search day monday
_:search departure cambridge
_:search destination Kings Lynn
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people ?
_:result arrive_by 18:58
_:result duration 47 minutes
_:result id TR7803
_:result leave_at 18:11
_:result ticket 9.80 pounds
_:search area centre
_:search food african
_:result name Bedouin
_:result type Restaurant
_:result ticket ?
_:result type Train
_:search pricerange moderate
_:search type Restaurant
_:search arrive_by 8 p.m.
_:search departure cambridge
_:search destination Kings Lynn
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by 18:58
_:result duration 47 minutes
_:result id TR7803
_:result leave_at 18:11
_:result ticket 9.80 pounds
_:search area centre
_:result name Bedouin
_:result ticket ?
_:result pricerange expensive
_:result type Restaurant
_:search day monday
_:search duration 14:45
_:search food international
_:search people 8
_:search pricerange moderately
_:search type Restaurant
_:result type Train
_:search arrive_by 8 p.m.
_:search departure cambridge
_:search destination Kings Lynn
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by 18:58
_:result duration 47 minutes
_:result id TR7803
_:result leave_at 18:11
_:result ticket 9.80 pounds
_:result name Bedouin
_:result ticket ?
_:result pricerange expensive
_:result type Restaurant
_:search day monday
_:search duration 14:45
_:search people 8
_:result type Train
_:search pricerange ?
_:system canthelp _:search/b702d7f7
_:search/b702d7f7 food international
_:search/b702d7f7 pricerange moderate
_:search/b702d7f7 type Restaurant
_:search area centre
_:search food African
_:search name Bedouin
_:search type Restaurant
_:search arrive_by 8 p.m.
_:search departure cambridge
_:search destination Kings Lynn
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by 18:58
_:result duration 47 minutes
_:result id TR7803
_:result leave_at 18:11
_:result ticket 9.80 pounds
_:result name Bedouin
_:result ticket ?
_:search day monday
_:search duration 14:45
_:search people 8
_:search pricerange ?
_:system canthelp _:search/b702d7f7
_:search/b702d7f7 food international
_:search/b702d7f7 pricerange moderate
_:search/b702d7f7 type Restaurant
_:search area centre
_:search food African
_:search name Bedouin
_:search type Restaurant
_:result area centre
_:result pricerange expensive
_:result type Restaurant
_:search arrive_by 8 p.m.
_:search departure cambridge
_:search destination Kings Lynn
_:system offered _:booking
_:booking category Train
_:result arrive_by 18:58
_:result duration 47 minutes
_:result id TR7803
_:result leave_at 18:11
_:result ticket 9.80 pounds
_:result name Bedouin
_:result ticket ?
_:search day monday
_:search duration 14:45
_:search people 8
_:search pricerange ?
_:system canthelp _:search/b702d7f7
_:search/b702d7f7 food international
_:search/b702d7f7 pricerange moderate
_:search/b702d7f7 type Restaurant
_:search area centre
_:search food African
_:search name Bedouin
_:search type Restaurant
_:result area centre
_:result pricerange expensive
_:result type Restaurant
_:system inquired _:user
_:booking day Monday
_:booking duration 14:45
_:booking name Bedouin
_:booking people eight
_:booking ref LGUNVWOU
_:booking type Booking
_:user dismissed _:system