inform((_:search,destination,'cambridge');(_:search,leave_at,'8:00');(_:search,type,'Train'))
user
I 'm looking for a train headed to Cambridge that leaves after 8:00 AM . Can you help ?
request((_:search,day,?);(_:search,departure,?);(_:search,type,'Train')) thank()
system
Yes , I can help with that . What day will you be leaving and where are you departing from ?
inform((_:search,departure,'cambridge');(_:search,destination,'kings lynn');(_:search,type,'Train'))
user
I will leave from Cambridge to Kings Lynn .
inform((_:result,amount,'earliest');(_:result,day,'Friday');(_:result,leave_at,'08:11');(_:result,type,'Train'))
system
The earliest train on that route leaves Friday at 08:11 is that okay ?
inform((_:search,day,'monday');(_:search,departure,'kings lynn');(_:search,destination,'cambridge');(_:search,leave_at,'08:00');(_:search,type,'Train'))
user
No , sorry , I had that backwards . I need a train from Kings Lynn to Cambridge on Monday after 08:00
inform((_:result,leave_at,'08:11');(_:result,type,'Train'))
system
The earliest train will leave at 08:11 . Is that okay ?
request((_:result,arrive_by,?);(_:result,id,?);(_:result,type,'Train'))
user
Yes can I get the train ID and arrival time please ?
inform((_:result,arrive_by,'08:58');(_:result,id,'TR4758');(_:result,type,'Train'))
system
Sure its TR4758 and it will arrive at 08:58
inform((_:search,food,'european');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I 'd also like to find an expensive restaurant that serves european food .
request((_:search,area,?);(_:search,type,'Restaurant')) inform((_:result,count,'5');(_:result,food,'European');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
I have 5 expensive European restaurants . What area of town would you like to be in ?
inform((_:search,area,'north');(_:search,type,'Restaurant'))
user
In the north .
offer((_:booking,type,'Booking')) inform((_:result,area,'north');(_:result,count,'1');(_:result,food,'European');(_:result,name,'City Stop Restaurant');(_:result,pricerange,'high - end');(_:result,type,'Restaurant'))
system
There is one high - end European restaurant in the north -- City Stop Restaurant . Would you like to make a reservation ?
request((_:result,ref,?);(_:result,type,'Restaurant'))
user
Can you book it for me and get a reference number ?
request((_:booking,day,?);(_:booking,duration,?);(_:booking,people,?);(_:booking,type,'Booking'))
system
I can . What 's the day and time you 'd like to dine . Also , how many people will be dining ?
inform((_:search,day,'monday');(_:search,duration,'14:00');(_:search,people,'2');(_:search,type,'Restaurant'))
user
2 people , on monday at 14:00
reqmore() inform((_:booking,day,'Monday');(_:booking,duration,'14:00');(_:booking,people,'2');(_:booking,ref,'COB3ZU7O');(_:booking,type,'Booking'))
system
Excellent ; your booking for 2 people at 14:00 on Monday was successful . Your reference number is COB3ZU7O . May I help you with anything else ?
bye()
user
Have a nice day .
system
You have a nice day as well and thank you for calling the Cambridge TownInfo centre .
_:search destination cambridge
_:search leave_at 8:00
_:search type Train
_:search leave_at 8:00
_:search day ?
_:search departure cambridge
_:search destination kings lynn
_:search type Train
_:result amount earliest
_:result day Friday
_:result leave_at 08:11
_:result type Train
_:search day monday
_:search departure kings lynn
_:search destination cambridge
_:search leave_at 08:00
_:search type Train
_:result amount earliest
_:result day Friday
_:search day monday
_:search departure kings lynn
_:search destination cambridge
_:search leave_at 08:00
_:search type Train
_:result leave_at 08:11
_:result type Train
_:result arrive_by ?
_:result id ?
_:result amount earliest
_:result day Friday
_:search day monday
_:search departure kings lynn
_:search destination cambridge
_:search leave_at 08:00
_:result leave_at 08:11
_:result arrive_by 08:58
_:result id TR4758
_:result type Train
_:search food european
_:search pricerange expensive
_:search type Restaurant
_:result amount earliest
_:result day Friday
_:search day monday
_:search departure kings lynn
_:search destination cambridge
_:search leave_at 08:00
_:result leave_at 08:11
_:result arrive_by 08:58
_:result id TR4758
_:search food european
_:search pricerange expensive
_:result count 5
_:result food European
_:result pricerange expensive
_:result type Restaurant
_:search area north
_:search type Restaurant
_:result amount earliest
_:result day Friday
_:search day monday
_:search departure kings lynn
_:search destination cambridge
_:search leave_at 08:00
_:result leave_at 08:11
_:result arrive_by 08:58
_:result id TR4758
_:search food european
_:search pricerange expensive
_:search area north
_:search type Restaurant
_:system offered _:booking
_:booking type Booking
_:result area north
_:result count 1
_:result food European
_:result name City Stop Restaurant
_:result pricerange high - end
_:result type Restaurant
_:result ref ?
_:result amount earliest
_:result day Friday
_:search departure kings lynn
_:search destination cambridge
_:search leave_at 08:00
_:result leave_at 08:11
_:result arrive_by 08:58
_:result id TR4758
_:search food european
_:search pricerange expensive
_:search area north
_:system offered _:booking
_:result area north
_:result count 1
_:result food European
_:result name City Stop Restaurant
_:result pricerange high - end
_:result type Restaurant
_:result ref ?
_:booking day ?
_:booking duration ?
_:booking people ?
_:booking type Booking
_:search day monday
_:search duration 14:00
_:search people 2
_:search type Restaurant
_:result amount earliest
_:result day Friday
_:search departure kings lynn
_:search destination cambridge
_:search leave_at 08:00
_:result leave_at 08:11
_:result arrive_by 08:58
_:result id TR4758
_:search food european
_:search pricerange expensive
_:search area north
_:system offered _:booking
_:result area north
_:result count 1
_:result food European
_:result name City Stop Restaurant
_:result pricerange high - end
_:result type Restaurant
_:result ref ?
_:search day monday
_:search duration 14:00
_:search people 2
_:search type Restaurant
_:system inquired _:user
_:booking day Monday
_:booking duration 14:00
_:booking people 2
_:booking ref COB3ZU7O
_:booking type Booking
_:user dismissed _:system