inform((_:search,arrive_by,'13:00');(_:search,departure,'cambrige');(_:search,type,'Train'))
user
What trains will leave from cambrige and arrive by 13:00 ?
request((_:search,day,?);(_:search,destination,?);(_:search,type,'Train'))
system
Well , that depends on where you 're going and the day you 're traveling . Do you have that information ?
inform((_:search,day,'saturday');(_:search,destination,'london kings cross');(_:search,type,'Train'))
user
I need to get your London Kings Cross on Saturday .
inform((_:result,arrive_by,'51 minutes after departure');(_:result,count,'4');(_:result,leave_at,'11');(_:result,leave_at,'5');(_:result,leave_at,'7');(_:result,leave_at,'9');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
There are four trains that meet those criteria . They leave at 5 , 7 , 9 , and 11 and arrive 51 minutes after departure . Would you like me to book one for you ?
inform((_:search,arrive_by,'13:00');(_:search,type,'Train'))
user
What is the train i d of the one arriving closest to 13:00 ?
inform((_:result,arrive_by,'11:51');(_:result,id,'TR5170');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR5170 is arriving by 11:51 , that is the closest time to 13:00 that is showing available . Would you like to book a ticket ?
inform((_:search,area,'centre');(_:search,food,'Vietnamese');(_:search,type,'Restaurant'))
user
Yes .   I am also looking for a Vietnamese restaurant in the centre
request((_:search,people,?);(_:search,type,'Train'))
system
How many will be traveling ?
inform((_:search,people,'one');(_:search,type,'Train'))
user
Only me so so just one
request((_:search,area,?);(_:search,food,?);(_:search,type,'Restaurant')) canthelp((_:search,area,'centre');(_:search,food,'Vietnamese');(_:search,type,'Restaurant')) inform((_:booking,category,'Train');(_:booking,id,'TR5170');(_:booking,ref,'KH6HKQ4X');(_:booking,type,'Booking'))
system
I have you booked on TR5170 with reference number KH6HKQ4X . Unfortunately , I have no Vietnamese restaurants in the centre . Would you like to try another type of food or area ?
inform((_:search,food,'british');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Ok , how about an expensive british restaurant ?
inform((_:result,count,'3');(_:result,food,'British');(_:result,name,'Fitzbillies');(_:result,name,'Midsummer House');(_:result,name,'and the Cambridge Chop House');(_:result,type,'Restaurant'))
system
In British restaurants you have three choices : Fitzbillies , the Midsummer House , and the Cambridge Chop House .
request((_:result,address,?);(_:result,phone,?);(_:result,postcode,?);(_:result,type,'Restaurant'))
user
Could you please send me the address , postcode and phone for the Midsummer House ?
offer((_:booking,type,'Booking')) inform((_:result,address,'Midsummer Common');(_:result,name,'midsummer house restaurant');(_:result,phone,'01223369299');(_:result,postcode,'cb41 ha');(_:result,type,'Restaurant'))
system
The address for the midsummer house restaurant is Midsummer Common , the post code is cb41 ha and their phone number is 01223369299 . Would you like me to book a reservation ?
thank()
user
No , thank you . I can book it later . I think that s all I need for today . Thanks .
system
So happy I could help you today . Thank you for using the Cambridge Towninfo centre . Have a great day !
_:search arrive_by 13:00
_:search departure cambrige
_:search type Train
_:search arrive_by 13:00
_:search departure cambrige
_:search day saturday
_:search destination london kings cross
_:search type Train
_:search departure cambrige
_:search day saturday
_:search destination london kings cross
_:result arrive_by 51 minutes after departure
_:result count 4
_:result leave_at 11
_:result leave_at 5
_:result leave_at 7
_:result leave_at 9
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search arrive_by 13:00
_:search type Train
_:search departure cambrige
_:search day saturday
_:search destination london kings cross
_:result count 4
_:result leave_at 11
_:result leave_at 5
_:result leave_at 7
_:result leave_at 9
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search arrive_by 13:00
_:result arrive_by 11:51
_:result id TR5170
_:result type Train
_:search area centre
_:search food Vietnamese
_:search type Restaurant
_:search departure cambrige
_:search day saturday
_:search destination london kings cross
_:result count 4
_:result leave_at 11
_:result leave_at 5
_:result leave_at 7
_:result leave_at 9
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search arrive_by 13:00
_:result arrive_by 11:51
_:result id TR5170
_:result type Train
_:search area centre
_:search food Vietnamese
_:search people one
_:search type Train
_:search departure cambrige
_:search day saturday
_:search destination london kings cross
_:result count 4
_:result leave_at 11
_:result leave_at 5
_:result leave_at 7
_:result leave_at 9
_:system offered _:booking
_:search arrive_by 13:00
_:result arrive_by 11:51
_:result id TR5170
_:result type Train
_:search people one
_:search area ?
_:system canthelp _:search/cfd423f3
_:search/cfd423f3 area centre
_:search/cfd423f3 food Vietnamese
_:search/cfd423f3 type Restaurant
_:booking category Train
_:booking id TR5170
_:booking ref KH6HKQ4X
_:booking type Booking
_:search food british
_:search pricerange expensive
_:search type Restaurant
_:search departure cambrige
_:search day saturday
_:search destination london kings cross
_:result leave_at 11
_:result leave_at 5
_:result leave_at 7
_:result leave_at 9
_:system offered _:booking
_:search arrive_by 13:00
_:result arrive_by 11:51
_:result id TR5170
_:search people one
_:search area ?
_:system canthelp _:search/cfd423f3
_:search/cfd423f3 area centre
_:search/cfd423f3 food Vietnamese
_:search/cfd423f3 type Restaurant
_:booking category Train
_:booking id TR5170
_:booking ref KH6HKQ4X
_:booking type Booking
_:search food british
_:search pricerange expensive
_:search type Restaurant
_:result count 3
_:result food British
_:result name Fitzbillies
_:result name Midsummer House
_:result name and the Cambridge Chop House
_:result type Restaurant
_:result address ?
_:result phone ?
_:result postcode ?
_:search departure cambrige
_:search day saturday
_:search destination london kings cross
_:result leave_at 11
_:result leave_at 5
_:result leave_at 7
_:result leave_at 9
_:system offered _:booking
_:search arrive_by 13:00
_:result arrive_by 11:51
_:result id TR5170
_:search people one
_:search area ?
_:system canthelp _:search/cfd423f3
_:search/cfd423f3 area centre
_:search/cfd423f3 food Vietnamese
_:search/cfd423f3 type Restaurant
_:booking category Train
_:booking id TR5170
_:booking ref KH6HKQ4X
_:booking type Booking
_:search food british
_:search pricerange expensive
_:search type Restaurant
_:result count 3
_:result food British
_:result address Midsummer Common
_:result name midsummer house restaurant
_:result phone 01223369299
_:result postcode cb41 ha
_:result type Restaurant