inform((_:search,day,'wednesday');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
Do you happen to know of any trains leaving for Cambridge this wednesday ?
inform((_:result,count,'202');(_:result,day,'Wednesday');(_:result,destination,'Cambridge');(_:result,type,'Train')) request((_:search,departure,?);(_:search,type,'Train'))
system
Yes . There are a total of 202 trains leaving for Cambridge on Wednesday . Where will you be departing from ?
inform((_:search,arrive_by,'8:15');(_:search,departure,'norwich');(_:search,type,'Train'))
user
I will be leaving from norwich and I need to arrive by 8:15 .
inform((_:result,departure,'Norwich');(_:result,destination,'Cambridge');(_:result,id,'TR4203');(_:result,leave_at,'05:16');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The TR4203 is leaving from Norwich to Cambridge at 05:16 . Would you like to book a ticket ?
inform((_:search,people,'2');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
Sure , can you book that for 2 people and provide my reference number ?
inform((_:booking,category,'Train');(_:booking,ref,'FH111ZQU');(_:booking,type,'Booking'))
system
Your booking has been completed , the reference number is FH111ZQU .
inform((_:search,area,'centre');(_:search,type,'Restaurant'))
user
Thanks , I 'm also looking for a restaurant in the city centre .
request((_:search,food,?);(_:search,pricerange,?);(_:search,type,'Restaurant')) inform((_:result,area,'centre');(_:result,count,'69');(_:result,type,'Restaurant'))
system
There are 69 results for restaurants in the city centre area . What type of food are you looking for , and what price range ?
inform((_:search,food,'dontcare');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
I do n't really care what kind of food , but I am on a budget so cheap would be great .
inform((_:result,name,'dojo noodle bar');(_:result,type,'Restaurant'))
system
How about dojo noodle bar ? It meets your requirements .
inform((_:search,day,'wednesday');(_:search,duration,'18:15');(_:search,people,'2');(_:search,type,'Restaurant'))
user
That sounds great . Can I get a table for 2 there on Wednesday at 18:15 ?
canthelp((_:booking,type,'Booking')) request((_:booking,day,?);(_:booking,duration,?);(_:booking,type,'Booking'))
system
I 'm very sorry I was not able to book for that time , would you like to try for a different time or day ?
inform((_:search,duration,'17:15');(_:search,type,'Restaurant'))
user
How about 17:15 ?
reqmore() inform((_:booking,duration,'17:15');(_:booking,ref,'GXKQHW3C');(_:booking,type,'Booking'))
system
Great , I have you booked at 17:15 with reference number GXKQHW3C . The table will be reserved for 15 minutes . May I help you with anything else ?
thank()
user
No , thanks . I have all I need . Enjoy your day .
system
Thank you for using our system !
_:search day wednesday
_:search destination cambridge
_:search type Train
_:search day wednesday
_:search destination cambridge
_:result count 202
_:result day Wednesday
_:result destination Cambridge
_:result type Train
_:search arrive_by 8:15
_:search departure norwich
_:search type Train
_:search day wednesday
_:search destination cambridge
_:result count 202
_:result day Wednesday
_:search arrive_by 8:15
_:search departure norwich
_:result departure Norwich
_:result destination Cambridge
_:result id TR4203
_:result leave_at 05:16
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 2
_:search type Train
_:result ref ?
_:search day wednesday
_:search destination cambridge
_:result count 202
_:result day Wednesday
_:search arrive_by 8:15
_:search departure norwich
_:result departure Norwich
_:result destination Cambridge
_:result id TR4203
_:result leave_at 05:16
_:result type Train
_:system offered _:booking
_:search people 2
_:result ref ?
_:booking category Train
_:booking ref FH111ZQU
_:booking type Booking
_:search area centre
_:search type Restaurant
_:search day wednesday
_:search destination cambridge
_:result day Wednesday
_:search arrive_by 8:15
_:search departure norwich
_:result departure Norwich
_:result destination Cambridge
_:result id TR4203
_:result leave_at 05:16
_:system offered _:booking
_:search people 2
_:result ref ?
_:booking category Train
_:booking ref FH111ZQU
_:booking type Booking
_:search area centre
_:result area centre
_:result count 69
_:result type Restaurant
_:search food dontcare
_:search pricerange cheap
_:search type Restaurant
_:search destination cambridge
_:result day Wednesday
_:search arrive_by 8:15
_:search departure norwich
_:result departure Norwich
_:result destination Cambridge
_:result id TR4203
_:result leave_at 05:16
_:system offered _:booking
_:result ref ?
_:booking category Train
_:booking ref FH111ZQU
_:booking type Booking
_:search area centre
_:result area centre
_:result count 69
_:search food dontcare
_:search pricerange cheap
_:result name dojo noodle bar
_:result type Restaurant
_:search day wednesday
_:search duration 18:15
_:search people 2
_:search type Restaurant
_:search destination cambridge
_:result day Wednesday
_:search arrive_by 8:15
_:search departure norwich
_:result departure Norwich
_:result destination Cambridge
_:result id TR4203
_:result leave_at 05:16
_:system offered _:booking
_:result ref ?
_:booking category Train
_:booking ref FH111ZQU
_:search area centre
_:result area centre
_:result count 69
_:search food dontcare
_:search pricerange cheap
_:result name dojo noodle bar
_:result type Restaurant
_:search day wednesday
_:search people 2
_:system canthelp _:booking/63205a67
_:booking/63205a67 type Booking
_:booking day ?
_:booking duration ?
_:booking type Booking
_:search duration 17:15
_:search type Restaurant
_:search destination cambridge
_:result day Wednesday
_:search arrive_by 8:15
_:search departure norwich
_:result departure Norwich
_:result destination Cambridge
_:result id TR4203
_:result leave_at 05:16
_:system offered _:booking
_:result ref ?
_:booking category Train
_:search area centre
_:result area centre
_:result count 69
_:search food dontcare
_:search pricerange cheap
_:result name dojo noodle bar
_:result type Restaurant
_:search day wednesday
_:search people 2
_:system canthelp _:booking/63205a67
_:booking/63205a67 type Booking
_:booking day ?
_:search duration 17:15
_:search type Restaurant
_:system inquired _:user
_:booking duration 17:15
_:booking ref GXKQHW3C
_:booking type Booking